💬 观点Simon Willison
On the Navier–Stokes Millennium Prize Problem — OpenAI 用未发布模型解决千禧年难题,但被指抢先于使用其产品的团队。
OpenAI 用未发布模型解决千禧年难题,但被指抢先于使用其产品的团队。
2026-09-08原文
本文为要点摘要,完整细节以原文为准。
🧭 一图看懂
由原文自动提炼 · 以原文为准点击任一分支,查看这一点的一句话解读
OpenAI 抢先解 Navier–Stokes 争议
用未发布模型解出千禧年难题 Navier–Stokes 存在性与光滑性
- 9月1日启动,9月5日得出结果,约88小时
- GPT-6 Astra 做 Lean 形式化验证,耗时17小时
- 共发4.9M消息、约3000亿输出token
⚙️ 流程拆解
STEP 1听闻千禧年难题被解传闻
STEP 2启动内部模型评估
STEP 3智能体解题约88小时
STEP 4GPT-6 Astra 做 Lean 验证
STEP 5联系对方提出联合发布
🔗 涉及的概念与玩家
- OpenAI公司
- Anthropic公司
- GPT-6 Astra模型
- Claude模型
- Codex产品
- Tristan Buckmaster人物
- Levent Alpöge人物
- Navier–Stokes 问题概念
- OpenAI—使用→GPT-6 Astra
- Tristan Buckmaster—使用→Claude
- Tristan Buckmaster—使用→Codex
- Levent Alpöge—任职于→Anthropic
- OpenAI—解出→Navier–Stokes 问题
- Tristan Buckmaster—研究→Navier–Stokes 问题
- OpenAI 声称其内部模型在 88 小时内解决了 Navier-Stokes 问题,使用了 1300 亿输出 token,成本可能高达 1500 万美元。
- 与此同时,NYU 教授 Tristan Buckmaster 和 Anthropic 的 Levent Alpöge 在近一年的工作中也取得了突破,但 OpenAI 拒绝让 Levent 作为共同作者,因其雇主是竞争对手。
- 此事件凸显了 AI 训练数据使用的模糊性:用户与模型的交互可能影响未来模型,导致他人抢先解决类似问题,如同安全领域中的“漏洞传闻”引发竞相利用。
原文:On the Navier–Stokes Millennium Prize Problem · 作者 Simon Willison
🕸 顺着图谱继续读
- [AINews] Reality Checks on AI News (Yegge shuts down — Yegge 关停 Gas Town、Databricks 用 Astra 成本涨2026-09-17 · 共同涉及 GPT-6 Astra、OpenAI、Anthropic
- [AINews] GPT-6 Astra: OpenAI’s biggest LLM launch of — OpenAI发布GPT2026-09-04 · 共同涉及 OpenAI、GPT-6 Astra、Codex
- Claude Cowork and chat are now one Claude — Anthropic 把 Claude Cowork 与聊天合并为单一 Claud2026-09-16 · 共同涉及 Anthropic、Claude、OpenAI
- Better Models: Worse Tools — 新模型更聪明,但调用第三方工具时反而更易出错,原因在于训练偏向。2026-07-04 · 共同涉及 Anthropic、Claude、OpenAI