o3拿下25%高分震惊数学教授，2025 IMO金牌或被AI收入囊中！

文章预览

   新智元报道   编辑：编辑部 JHY 【新智元导读】 AI真的可以做数学了吗？来自帝国理工学院教授Kevin Buzzard在最新博文中深刻探讨了这个问题。甚至，他预测道，2025年AI能够拿下IMO金牌级水平。 OpenAI o3发布后，多个高难度基准测试的SOTA被大幅刷新。 就数学、代码、软件工程等领域而言，更是完全粉碎了满血版o1。 在这之中最引人瞩目的，便是在今年11月Epoch AI发布的数学基准Frontier Math上，准确率破纪录地达到了25.2%。 那么，这个结果到底意味着什么呢？ 联手60多位数学家出题的陶哲轩，曾认为这项测试能够难住AI好多年 最近，帝国理工学院教授、数学家、IMO金牌得主Kevin Buzzard发表了一篇深度长文——AI现在能做数学了吗？ 文中，他探讨了AI在数学研究中的潜力，特别是在处理复杂计算和验证方面。不过，Buzzard认为在原创性证明、深刻理解数学 ………………………………