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