他们的赌注允许正式的数学人工智能系统(如 AlphaProof)。在 2022 年,几乎没有人认为到 2025 年,一个 LLM 能够达到 IMO 金牌水平。
Nat McAleese
Nat McAleese2025年7月19日
我们看到人工智能的进步比 **Paul Christiano** 和 **Yudkowsky** 预测的要快得多,他们在 2025 年的黄金率分别为 8% 和 16%,方法比预期更通用
164.84K