数学家 Kontorovich:IMO 金牌已无悬念,明年大厂将不再刷数学题

AlexKontorovich · x · 2026-09-05

Rutgers 数学教授 Alex Kontorovich 回顾:两年前 AlphaProof 在 IMO 距金牌只差一分,去年已有六七个实验室宣称达到金牌水平。他当时预测今年拿到金牌的系统数量会是——零,因为没人再关心 AI 刷 IMO,它会回归为 17 岁孩子的比赛。

他认为自己基本猜对了:今年几乎没听到 IMO 相关的 AI 消息,「太简单了」。并进一步预测:明年实验室解决的「重大数学问题」数量也会是零——不是做不到,而是这些题对他们太容易,将回归为数学教授、博后和研究生做的事。