# 2022 年的赌注允许形式化数学 AI 系统（如 AlphaProof）参与，当时几乎无人相信 LLM 能在 2025 年达到 IMO 金牌水平

- 来源：Noam Brown (@polynoamial)
- 发布时间：2025-07-19 18:28
- AIHOT 链接：https://aihot.virxact.com/items/cmnw1yur801cqslc34m5e3863
- 原文链接：https://x.com/polynoamial/status/1946517375060500651

## 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.

### 引用推文

> Nat McAleese：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...