OpenAI 声称利用未公开的超强 AI 模型解决了深奥的数学问题,在学术界引起了轰动。
想象一下:有一个困扰全球顶级数学家数十年的难题。如果有一天,一个不知名的“数字存在”在短短几天内就解决了这个困扰人类 90 年的谜题,你会作何感想?
最近在人工智能领域,恰恰发生了这样的事。OpenAI 宣布,他们利用一个没有名称、没有价格、也没有公开 API 的神秘 AI 模型,解决了深奥的数学难题。数学界目前议论纷纷。这究竟是人类数学史上的一座里程碑,还是技术垄断背后的又一争议?
为什么这很重要?
数学是所有科学技术的“根基”。此次 OpenAI 挑战的“纳维-斯托克斯(Navier-Stokes)方程”问题,是一个解释流体流动(即空气如何运动、水如何流动)的高难度物理公式。完全理解并解决这一方程,将为人类实现巨大的技术跨越提供基础,从航空器设计优化到精确的气象预测,都将因此得到根本性的改善。
然而,此次发布会之所以引起学术界和公众的关注,真正原因不在于技术成果本身,而在于其“方式”。这个在短短 88 小时内解决人类数十年难题的 AI 模型,是 OpenAI 从未向外界透露过的“秘密武器”。由于成果并非源于任何人都能透明验证的结果,而是由企业内部的“黑箱”生成,因此关于其影响力和证明有效性的争论正愈演愈烈。
轻松理解:一万个“AI 分身”制造的“意大利面”
这一惊人的成就究竟是如何实现的?为了解决这个问题,OpenAI 同时启用了约 10,000 个“AI 智能体(AI systems that carry out tasks autonomously,自主执行任务的人工智能系统)”。 参考资料 1
简单类比一下:假设有一个单凭一人之力绝对无法解开的巨大拼图。OpenAI 创造了 1 万个“AI 分身”,让每个人负责拼图的一块碎片,从而实现了并行解决。 参考资料 3 它们在 88 小时内通力合作,不断堆砌逻辑。OpenAI 将此过程中构建的方程结构,描述为如同旋转着向内卷入的“意大利面”。 参考资料 6
当然,这种方法也伴随着质疑。科学期刊质疑 OpenAI 在解决纳维-斯托克斯问题的过程中,可能通过任意应用外部条件,从而对问题本身进行了微小的改动。 参考资料 10 也就是说,人们怀疑 AI 可能解决的是一种与数学家原本定义的问题略有不同的形式。
当前现状:“数学的终结”还是“未竟的事业”?
10 月 6 日,OpenAI 向世人公开了以这种方式撰写的 722 篇数学论文。 参考资料 4 一位计算机科学家将其评价为“数学史上最重要的日子之一”。 参考资料 7
然而,现实并不那么简单。虽然有人声称这些证明已经通过“Lean(一种验证数学证明的编程语言)”得到了确认,但 OpenAI 的官方记录中,这些论文仍被分类为“未验证(unchecked)”状态。 参考资料 2 最终,学术界仍处于仔细核实的阶段,以确定这些结果究竟是数学上完美的“真理”,还是 AI 创造出的精致幻象。 参考资料 11
未来会怎样?
此次事件是一个强烈的信号,表明 AI 已经深入渗透到数学思维领域。尽管纳维-斯托克斯问题的解决可能不会立即改变飞机制造或天气预报,但 AI 挖掘数学基础的能力现已超越了人类的想象。 参考资料 5
我们未来需要关注的是 AI 技术的“垄断”问题。无论模型多么强大,如果技术被严密地保留为企业内部机密,全球学者的共同验证就会变得困难。我们需要观察 OpenAI 未来是否会向世界揭开这个“秘密模型”的真实身份并开始真正的学术交流,还是会选择在独占“数学圣域”的同时继续发展。
AI 的观点
AI 解决人类难题是重大的进步。然而,数学是一门结果固然重要,但过程更为关键的学科。无论 AI 再怎么天才,如果无法通过学术界的透明验证,那么该答案就只能被视为“企业的声明”,而非“真理”。
参考资料
-
[OpenAI claims to have solved maths problem that stumped humans for decades The Guardian](https://www.theguardian.com/science/2026/sep/08/openai-claims-to-have-solved-maths-problem-that-stumped-humans-for-decades) - OpenAI’s 722 math papers: what Lean actually verified
-
[AI solves 90-year-old math problem in 88 hours The Token… LinkedIn](https://www.linkedin.com/posts/the-token-times_ai-openai-mathematics-activity-7505935983473909761-ujIR) - OpenAI’s 722 Math Manuscripts: The Model Has No Name
- Google News - News about OpenAI • math - Overview
- Mathematicians still checking the Navier-Stokes proof that OpenAI claims to have solved
-
[AI is causing a ‘mathocalypse’ that could break the… The Independent](https://www.independent.co.uk/tech/ai-mathematics-openai-cryptography-internet-b3063456.html) - OpenAI’s Math Provenance Problem: Access vs. Influence. - YouTube
- OpenAI Has Found A Far Faster Way To Multiply Matrices, The Math…
-
[Did OpenAI solve the wrong Navier-Stokes… Scientific American](https://www.scientificamerican.com/article/did-openai-solve-the-wrong-navier-stokes-problem/) - Google News - OpenAI claims its artificial intelligence model solved…
- AI News: Anthropic Tops OpenAI, Math Falls to Machines, and the…
- 24小时
- 88小时
- 一个月
- 100篇
- 500篇
- 722篇
- 全部验证完成
- 部分验证完成
- 官方目录显示未验证