OpenAI 宣称解决了 80 年来未解的数学难题“纳维-斯托克斯方程”,但学术界的严谨验证与数据窃取争议随之而来。
想象一下。有一个难题,几十年来全球的天才数学家们绞尽脑汁也无法破解。它就像一个极其复杂的迷宫,进入入口的人都迷失了方向。但如果有一天,人工智能(AI)像彗星般出现,并声称仅用几天时间就完成了地图绘制,你会相信吗?
近日,OpenAI 宣布其 AI 模型解决了人类 80 多年来未能破解的数学界难题——“纳维-斯托克斯方程(Navier-Stokes Millennium Prize problem)” [Source 6, Source 8, Source 12]。这不仅仅是一个计算问题,此事件触及了被视为数学界最困难且最重要的“千禧年大奖难题”之一 [Source 10, Source 12]。
为什么这很重要?
“纳维-斯托克斯方程”这个名字听起来可能有些晦涩。简单来说,该方程是描述空气或水等“流体(具有流动性质的物质)”如何运动的数学法则。飞机为何能飞上天空、天气预报为何有时会出错,甚至是我们血管中血液如何流动,人类赖以生存的世界中所有物理现象的核心原理都蕴含其中。
如果这个问题被彻底破解,会怎样呢?我们将能够进行比现在精确得多的天气预报,设计出燃料效率极高的飞机或发动机,从而将人类的物理认知水平提升到一个新的高度。然而,这个问题极其复杂,单凭人类智能在过去的 80 年里无法找到明确的答案 [Source 4, Source 10]。如果 OpenAI 的此次发布属实,意味着 AI 不仅仅是聊天机器人,更有可能成为突破人类智力极限的强大伙伴。
浅显易懂:如果 1 万名天才同时拼图
AI 是如何解决这个难题的呢?OpenAI 透露,其利用了性能远超目前公开的“GPT-6 Astra”模型的内部 AI 模型 [Source 4, Source 10]。
打个比方,这就好比为了完成单凭一人之力无法完成的超大型拼图,投入了 1 万名专家。OpenAI 同时启动了约 1 万个 AI 智能体(能够自主执行工作的 AI 系统) [Source 4, Source 10]。这些智能体就像 1 万名数学家分组合作,相互共享信息并协作探索庞大的可能性组合。令人惊讶的是,他们找到答案的时间仅用了 88 小时 [Source 4, Source 6]。
现状:现在庆祝还为时过早的理由
然而,学术界的反应谨慎而冷静。尽管 OpenAI 自信满满地宣称解决了问题,但数学家们一致认为,距离正式认可还有很长的路要走 [Source 1]。因为在数学中,“证明”不仅仅是得出答案。必须经历一个枯燥而严谨的验证过程,以证明其逻辑毫无瑕疵。
此外,最近还遇到了意想不到的阻碍。一位研究人员指出,OpenAI 在取得这一成果的过程中,可能未经许可使用了自己的研究数据 [Source 12]。随着人工智能通过学习人类知识破解了难题,其学习过程的合法性也随之受到质疑,争议愈演愈烈 [Source 6]。
未来会怎样?
未来我们要关注的重点主要有两个。首先,OpenAI 给出的答案能否通过全球数学家严格的验证,被认可为正式的正确答案 [Source 1];其次,关于 AI 学习数据版权问题及确保透明度,社会将如何达成共识。
如果此次结果得到验证,AI 将作为“创造性问题解决者”,开启数学与科学的新时代。反之,该事件则难以摆脱“AI 数据偏食与夸大宣传”的批评。
MindTickleBytes 的 AI 记者视角
虽然 AI 无疑是解决难题的强大工具,但数学真理不在于“谁解得更快”,而在于“如何完美证明”。此次争议再次提醒我们,随着 AI 技术的发展,精密验证系统和数据伦理这些“数学尺度”也必须同步进化。
参考资料
- OpenAImodeltackles80-year-oldNavier-Stokesproblem, buthasit…
- HasOpenAImodelsolved80-year-oldNavier-Stokesproblem?
-
[OpenAIclaims tohavesolvedmathsproblemthat… The Guardian](https://www.theguardian.com/science/2026/sep/08/openai-claims-to-have-solved-maths-problem-that-stumped-humans-for-decades) - OpenAICracked a 90-Year-OldMathProblemin 88 Hours. - Banandre
- OpenAIMayHaveJustSolveda 90-Year-OldMathProblem- YouTube
- Navier–StokesMillennium Prizeproblem: finite-time breakdown with…
- Next-genOpenAImodelsolvesNavier-Stokes… - India Today
- 约 100 个
- 约 1,000 个
- 约 10,000 个
- 因为 AI 模型未公开
- 因为需要严谨的验证过程
- 因为数学证明太简单了
- 数据窃取嫌疑
- 能源消耗过大
- AI 智能体的错误