数据：
30位顶尖数学家在UC伯克利秘密会议上挑战OpenAI的o4-mini，结果显示该AI的数学能力接近天才水平，能解遂极其复杂的问题，尽管最终只难住很少量题目。
线索：
此次会议展示了AI在数学领域的快速进步，并引发了关于数学家未来角色的讨论。AI的推理能力不断提升，可能会导致人类数学家在某些领域的作用减弱，但也可能促使新的合作方式出现。
正文：
最近，30位世界顶尖数学家聚集在加州大学伯克利，开展了一场秘密数学峰会，意图挑战OpenAI开发的o4-mini。在为期两天的时间里，数学家们利用复杂的教授级难题对这款AI进行了测试。初始结果显示，o4-mini能破解一些世界上最难的可解问题，让参与者感到震惊。有数学家表示，该AI的能力已接近数学天才的级别。
o4-mini的强大源于其基于精确的数据集训练，并采用了强化学习的人类反馈（RLHF），使其在解答复杂数学问题时表现出色。OpenAI对o4-mini的解题能力十分关注，特别是在2014年由Epoch AI设计的300道尚未公布解法的难题测试中，许多其他推理模型几乎全数失败，这进一步突显了o4-mini的实力。
在一项新基准测试项目中，o4-mini在不同难度的数学题目上也显示了惊人的表现。进一步的测试中，包括顶尖数学家在内的团队与AI共同参与竞赛，最终o4-mini在题目解答率上超过人类的平均水平。
不过，在这次峰会上，顶尖数学家们声称要设计出难以解决的问题，以挑战o4-mini，但最终只有少数问题能成功难倒该AI。这显示出o4-mini在复杂推理上的显著优势，尤其在处理OpenAI团队设计的高难度数论问题时，AI能在短时间内提供完整的解决方案，并展示出其推理过程。
随着AI的持续进步，数学家的角色也面临深刻变化的可能。部分与会者认为，未来的数学工作可能更多转向与AI的互动，数学家将引导AI进行新真理的探索。这种转变可能改写我们对数学研究的理解。
强大的AI能力不仅令与会数学家感到惊讶和忧虑，也促使他们思考未来角色如何适应AI的迅猛崛起。Ono表示，认为AGI永远不会到来的想法是错误的，AI的推理能力已经远超许多优秀的研究生。
发布时间：
2025-06-07 17:35:08
评论 ( 0 )