发布日期：2026-10-09 浏览：12
OpenAI发布了377项AI生成的数学成果，包括针对研究前沿未解问题的工作。这些发现横跨代数、数论、理论计算机科学、数学逻辑和拓扑学。这些结果于周二发布，来自一个尚未向公众开放的先进模型。OpenAI表示，平均每项结果消耗约三小时计算，并用Lean这一验证底层逻辑的计算机语言检查了许多证明。
此次发布紧随该公司上月的声明，即它已解决Navier-Stokes问题。这些主张共同加剧了一场争论：AI是在产生原创数学洞见，还是在完成建立在人类研究者想法之上的证明。
OpenAI的数学测试已超越既定基准，例如为参加国际数学奥林匹克竞赛的高中生设置的问题。在其模型能够解决这些问题后，公司开发了涉及数学研究前沿未解问题的新基准。这些问题构成了周二发布的部分结果。OpenAI研究负责人Dan Roberts表示，测试内部模型对开发更好的工具很重要。他将数学证明描述为这种测试的副产品。对于其中10项解答，OpenAI还提供了摘要，解释其模型如何得出答案。
此前的Navier-Stokes声明涉及克莱数学研究所七大千禧年大奖难题之一，每项解答悬赏100万美元。该主张已经引发了关于AI生成证明与现有数学工作之间关系的疑问。
由新泽西州普林斯顿高等研究院主办的一个独立顾问委员会，已就AI公司应如何传达数学结果提出建议。其建议包括公开提供给AI智能体的提示词以及智能体的思维链。在周二晚的一份声明中，该委员会将公开发布描述为“人类理解和将成果纳入数学知识过程的开始，而非完成”。委员会成员、哈佛数学家Melanie Wood表示：“我们希望创建标准和实践，使AI实验室发布的结果能够被数学家理解，并推动领域发展。”OpenAI称，在准备此次发布时参考了该委员会的建议和公开推荐。然而，该委员会也反对使用高级数学问题来测试专有模型。
纽约大学数学家Tristan Buckmaster一直在研究Navier-Stokes问题，他质疑使用AI的研究人员是否无意中提供了帮助模型率先得出答案的信息。Buckmaster说：“很可能有大量结果，他们拿走了某人的工作，然后将其完成。”顾问委员会还要求AI实验室向全球数学界提供对其AI模型的“公平获取”。更广泛的担忧是，当人类对所得证明的理解难以跟上时，更快的问题解决是否真的推动了数学进步。
粤公网安备44190002007368号
