|
|
|
|
|
|
by bwfan123
337 days 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/fro... [2] https://x.com/DimitrisPapail/status/1888325914603516214 [3] https://arxiv.org/pdf/2503.21934 |
|
|