4 ms·

You can now add getting gold at IMO [0] to the above list. [0] https://x.com/alexwei_/status/1946477742855532918 https://x.com/alexwei_/status/1946477742855532

• bwfan123 1y ago
  on the surface this is a great achievement - if it holds . alpha-geometry required 1) human formalization of the question and 2) a solver for geometry If the questions were given as-is (without a human formalizing it) and the llm didnt need domain solvers, and the llm was not trained on it already (which happened with frontier math) - I would be impressed. Based on the past history with frontier math [1][2] I remain skeptical. The skeptic in me says that this happens prior to big announcements (GPT-5) to create the hype. Finally, this article shows that LLMs were just bluffing in the usamo 2025 [3]. [1] https://www.reddit.com/r/slatestarcodex/comments/1i53ih7/frontiermath_was_funded_by_openai_and_they_have/ https://www.reddit.com/r/slatestarcodex/comments/1i53ih7/fro... [2] https://x.com/DimitrisPapail/status/1888325914603516214 https://x.com/DimitrisPapail/status/1888325914603516214 [3] https://arxiv.org/pdf/2503.21934 https://arxiv.org/pdf/2503.21934