他们的赌注允许正式的数学人工智能系统(如 AlphaProof)。在 2022 年,几乎没有人认为到 2025 年,一个 LLM 能够达到 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.86K