OpenAI 在 2026 年 10 月 6 日星期二发布的题为“分享数学领域的人工智能进展”的博客文章中表示，该公司已发布了 377 个数学研究问题的发现，这是几个月来第二次重大数学下降。
结果涵盖代数、理论计算机科学和数理逻辑，就在 OpenAI 声称找到了纳维-斯托克斯方程的解决方案几周后，纳维-斯托克斯方程是世界上最著名的未解决问题之一，并获得了 100 万美元的奖金。早期的说法已经让数学家们产生了分歧。本周更大规模的发布加剧了争论。对于关注突发人工智能新闻的读者来说，这一事件已成为迄今为止研究界应如何处理人类无法轻易验证的机器生成结果的最清晰测试。
OpenAI 实际发布了什么
据《卫报》报道，OpenAI 发表了“超过 370 项数学成果，涵盖代数、理论计算机科学和数理逻辑等多个主题。” 《纽约时报》统计了 377 个问题，而《新科学家》报道称，在统计辅助结果后，此次发布的内容包括 722 项数学发现。不同的计数反映了将引理、推论和完整解决方案分组为离散“结果”的不同方式。
规模之大令观察者震惊。上个月的 Navier-Stokes 声明涉及一个单一的、经过严格审查的结果，而这次发布的结果是一次性发布的——涵盖多个子领域的数百项发现，由 OpenAI 最先进的内部模型生成。该故事在一天之内就引起了《华盛顿邮报》、《经济学人》、《华尔街日报》和《财富》杂志的报道，而 OpenAI 博客文章以超过 1000 票的支持位居黑客新闻榜首。
高等研究院的反击
新泽西州普林斯顿高等研究院——爱因斯坦和冯·诺依曼等人物的长期故乡——表示，它不赞成针对该领域最困难的开放问题测试前沿模型的做法，特别是当这项工作是闭门进行时。
该组织在一份声明中表示：“现在的情况是，人工智能可以在没有人类帮助的情况下输出数学论证，使其能够理解论证、验证论证或对论证负责。” “我们相信人类对数学的理解仍然至关重要。”
令人担忧的并不是结果一定是错误的。数学作为一门学科依赖于验证，而机器生成的大量未经人类验证的主张与学术规范格格不入。
OpenAI 的回应：占据一席之地
为了解决这种强烈反对，OpenAI 宣布将与高等研究院合作，让“数学家在我们如何前进方面拥有发言权”。 《卫报》指出，该公司没有承诺对基本实践进行任何改变：OpenAI 没有表示将停止在专有内部模型上测试高级问题。
该研究所的顾问委员会还要求人工智能实验室授予对其前沿系统的“公平访问权”。该组织写道：“人工智能实验室使用专有的内部模型进行数学研究，可能会产生一个两层系统的风险，实验室的运行速度会超过该领域的其他部分，从而有效地疏远数学界与其本身学科的关系。”
##“接受某人的工作并完成它”
接近受影响问题的数学家提出了一个更微妙的问题：信用。纽约大学数学家特里斯坦·巴克马斯特（Tristan Buckmaster）正在研究纳维-斯托克斯问题，他告诉《纽约时报》，推动人工智能模型的研究人员可能会为模型最终完成的部分进展提供帮助。
巴克马斯特说：“他们接受某人的工作，然后将其完成，可能会产生一堆结果。”
如果准确的话，这种动态会使归因和评估变得复杂。看起来像是独立机器突破的结果实际上可能是人类建造的脚手架上的最后一步——人类从未同意移交的脚手架。
这对人工智能研究意味着什么
数学版本正在成为前沿实验室能力的反复展示，以及科学如何吸收机器输出的反复压力测试。 《华尔街日报》的框架抓住了这一点：人工智能解决了一个数学问题，每个人都吓坏了——现在它已经解决了数百个问题。
三个问题将决定接下来会发生什么。首先，验证：独立数学家需要数月时间来检查 377 个结果中的一小部分，即使是其中的一小部分，如果发现错误，将严重影响 OpenAI 的可信度。其次，访问：实验室是否按照研究所的要求向外部研究人员开放最强大的模型，或者保持闭环。第三，优先级：正如巴克马斯特的担忧所表明的那样，该领域可能需要新的规范来信任人类与人工智能的协作证明。
据《卫报》报道，OpenAI 没有回应对这些批评发表评论的请求。与高等研究院的合作是否产生了可行的规范——或者只是记录了分歧——很可能决定数学是否仍然是前沿人工智能进展的领先基准，或者成为第一个正式反对它的领域。
保持人工智能领先地位 在 AI Buzz Wire 上阅读更多人工智能新闻
