Zulip Chat Archive
Stream: IMO-grand-challenge
Topic: recent advance in AI
Zejian Xie (Nov 06 2022 at 17:13):
https://ai.facebook.com/blog/ai-math-theorem-proving/ Looks like Meta have achieved big advance in this challenge!
Last updated: Dec 20 2023 at 11:08 UTC