30位顶尖数学家对决AI竟落败？AI做数学究竟有多强

近期，在加州大学伯克利分校，三十位国际著名的数学学者齐聚一堂，与人工智能系统展开了一场秘密的较量。在这场对峙中，人工智能展现出的能力令人震惊。这一事件迅速引发了公众对人工智能在数学研究领域所扮演角色的广泛关注。

秘密会议背景

在加州大学伯克利分校，有30位享誉世界的数学家齐聚一堂，参加了一场秘密的数学会议。会议旨在为人工智能设计出具有挑战性的复杂问题。这一行动的意义十分重大，它直接关联到人类在数学领域的领先地位是否能够持续保持。在此阶段，Epoch AI被委以重任，负责跟踪OpenAI的o4-mini项目的进展情况，同时，他们还设计了一套包含300道未曾公开解答的数学题目，旨在对推理模型进行测试。然而，在测试过程中，大部分模型的表现并不理想。

参赛AI实力

参赛的AI推理机器人基于OpenAI的o4 - mini技术，该技术具备出色的复杂推理能力。OpenAI对其潜力给予了高度认可，并投入了研发资源。Epoch AI的测试结果表明，该技术与常规模型相比，存在明显的差异。o4 - mini技术已成功解决了众多复杂问题，其应用有望对数学研究领域的进展产生积极推动作用。

特殊测试准备

为确保测试的公正性，Epoch AI推出了第四级别的测试项目。该项目旨在挑选出100道难题，这些难题即便是专业数学家也觉得难以应对。鉴于常规沟通方式可能导致题目内容被误用作训练数据，主办方采用了非常规的工作方法。这些题目与训练数据存在差异，其核心目标是有效评估o4 - mini的真实推理能力。

会议出题比拼

在为期两天的会议期间，数学家们展开了一场激烈的竞赛，他们致力于构思出既能够自行解答、又能够对人工智能进行有效考验的数学题目。这一任务对他们来说是一项重大挑战，不仅检验了他们的专业知识，还考验了他们的创新能力。周六深夜，数学家们目睹了o4 - mini所展示的非凡数学才能，这让他们不禁感到失落。他们意识到，自己的辛勤付出似乎变得毫无价值。

题目难住AI

尽管o4 - mini在表现上相当卓越，但团队最终依然成功攻克了10道对其构成挑战的难题。在这些题目中，Ono提出的数论开放性问题之复杂，甚至超出了博士研究生的研究范畴，让人惊讶AI的推理能力竟达到如此高度。这10道题目的出现，不仅凸显了人类在数学领域的独特优势，同时也彰显了AI发展的显著进步，不容小觑。

AI影响展望

杨辉和，伦敦数学科学研究所的研究员，提出人工智能已达到顶尖优秀研究生的水平，甚至在某些领域超越了专业数学家。这种技术能在极短的时间内完成人类数周甚至数月的工作。伴随AI技术的不断进步，数学家的职能或许将经历重大变化，他们或许将主要致力于提出问题，并引导AI探索新的真理。Ono预测，在高等教育中培养创造力对于数学的传承至关重要。

对于人工智能未来是否将完全取代数学家的角色，各界意见不一。敬请于评论区分享您的看法，并且，期待您对本文给予点赞并广泛传播。