彼らの賭けは、正式な数学 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.87K