AI 摘要
Paul Christiano 与 Yudkowsky 2022 年赌 LLM 2025 年获 IMO 金牌概率仅 8% 和 16%,当时几乎无人相信可能实现。如今 AlphaProof 等形式化系统让 AI 数学进展远超他们预期。
Their bet allowed for formal math AI systems (like AlphaProof). In 2022, almost nobody thought an LLM could be IMO gold level by 2025.
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...