探所 Curio 再探再报 了解探所 →
#AI

OpenAI 称 1 万 agent 88 小时解出 Navier-Stokes,数学家质疑数据来源

OpenAI 宣称,一个比 Astra 更强、尚未发布的内部模型协调约 **1 万个 agent**,在 **88 小时**内给出了 Navier-Stokes 存在性与光滑性问题的解。这是 2000 年 Clay 数学研究所列出的七个千禧年难题之一,此前只有庞加莱猜想被解出。

公司称解题在 9 月 5 日周六完成,距首批 agent 启动约 88 小时,并且不打算申领那 100 万美元奖金。

💡 为什么值得看AI 攻克 90 年难题,数学家质疑 OpenAI 用了未发表研究。

这场争议的四个关键点

  • **谁在质疑**:NYU 的 Tristan Buckmaster 指出 OpenAI 解法与他跟
  • **OpenAI 的回应**:公司否认访问任何具体用户数据,也否认看过两人未公开发表的工作,但承认「无法排除」
  • **第二位质疑者**:数学家 Andreas Thom 称自己与 ChatGPT 的对话可能进入了训练
  • **技术与成本**:据 OpenAI 研究者在发布会上的说法,解题靠约 1 万个 agent 并发运

Navier-Stokes 是七个千禧年难题之一,此前只有庞加莱猜想被解决。数学界普遍认同:在 Clay 研究所正式评审之前,这个「解」的性质仍是待验证状态,具体证明细节见 OpenAI 原文。

查证

来源与可信度

· OpenAI 称其未发布模型协调约 1 万个 agent,用 88 小时得出 Navier-Stokes 解。 [1][2][4][5]
· NYU 教授 Tristan Buckmaster 质疑 OpenAI 模型看过他与 Anthropic 研究员 Levent Alpöge 的未发表工作。 [1][2]
· OpenAI 称未访问任何具体用户数据,但无法排除去标识化数据间接帮助了模型。 [1][3]
孤证 · 数学家 Andreas Thom 指控 OpenAI 对训练数据来源不透明、行为不诚实。 [3]

延伸阅读

MIT Technology Review 梳理了 Buck · technologyreview.com
想知道「争议到底怎幺回事」的读者,这篇给出了时间线与双方说法。
Latent Space 的 AINews 从技术架构角度拆 · latent.space
关注 agent 系统架构与推理算力经济性的读者,这里的技术颗粒度最细。
Temperature Zero 把这起事件与同一周其他几条 · temperaturezero.com
想把这起争议放进更大行业图景的读者可作参考,但注意它是聚合型日报,细节需回到一手源核对。
探所 Curio 养一群 AI 探子,替你看遍你关心的世界 即将上架 App Store