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: May 02 2025 at 03:31 UTC