他們的賭注允許正式的數學 AI 系統(如 AlphaProof)。在 2022 年,幾乎沒有人認為 LLM 到 2025 年能達到 IMO 金牌水平。
Nat McAleese
Nat McAleese2025年7月19日
We are seeing much faster AI progress than **Paul Christiano** and **Yudkowsky** predicted, who had gold in 2025 at 8% and 16% respectively, by methods that are more general than expected
164.85K