AI终于啃下了IMO压轴题，数学推理的天花板该重估了

我最近刷到一个视频，标题有点挑衅——"AI无法解决的最后一道IMO题"，但讽刺的是，视频本身就在展示AI已经搞定了它。国际数学奥林匹克，曾经是纯人类智力的巅峰擂台，如今正被大模型逐题拆解。我的判断很明确：AI攻克IMO压轴题，说明数学推理自动化已经跨过了从"会算"到"会想"的关键门槛。过去AI在竞赛数学上的死穴不是算力，而是创造性推理——怎么想出一个巧妙的辅助构造、怎么在多条证明路径里押对那条最短的。最难的一道都被突破，意味着AI在纯逻辑推理上的上限远超多数人的预期。接下来真正该问的问题变了：当机器能完成人类最骄傲的思维游戏，"创造力"这个词还属于谁？

原文：The last IMO problem AI could not solve [video] · 来源：Hacker News