o3拿下25%高分震惊数学教授 2025 IMO金牌或被AI收入囊中via cnBeta全文版

AI真的可以做数学了吗？来自帝国理工学院教授Kevin Buzzard在最新博文中深刻探讨了这个问题。甚至，他预测道，2025年AI能够拿下IMO金牌级水平。OpenAI o3发布后，多个高难度基准测试的SOTA被大幅刷新。就数学、代码、软件工程等领域而言，更是完全粉碎了满血版o1。 在这之中最引人瞩目的，便是在今年11月Epoch AI发布的数学基准Frontier Math上，准确率破纪录地达到了25.2%。 那么，这个结果到底意味着什么呢？ 联手60多位数学家出题的陶哲轩，曾认为这项测试能够难住AI好多年…