OpenAI 宣布攻克千年难题：Navier–Stokes 方程，附 Lean 证明
AlexKontorovich · x · 2026-09-09
据《纽约时报》报道，OpenAI 宣布其尚未公开的新模型解决了数学七大「千年难题」之一的 Navier–Stokes 存在性与光滑性问题（流体力学相关方程），并随论文附上了 Lean 形式化证明，代码库已公开。
据报道，该模型仅用 88 小时就完成了求解。这是过去一年 AI 求解长期悬而未决数学问题的最重磅进展——此前 AI 解决的难题在复杂度和关注度上都不及此次。OpenAI 研究员 Sébastien Bubeck 称这是「过去十二个月发展弧线的壮观顶点」。AI 正在根本性地改变高等数学这一人类智识巅峰领域，数学界对此既兴奋也有忧虑。
所属事件:OpenAI 宣称智能体集群攻克纳维-斯托克斯千禧年难题(38 条相关)→
「模型」频道最新
- OpenAI 新模型 Astra 拿下 ARC-AGI-3 满分 99.9%,远超前代 30% — downingARK · 2026-09-09
- OpenAI 宣称 88 小时破解千禧年难题 Navier-Stokes — nordicinst · 2026-09-09
- OpenAI 被曝邀第三方重写证明挂名一作，因听闻 Anthropic 先破难题 — IgorCarron · 2026-09-09
- GPT-6 Astra 登顶 Vending-Bench,无人售货机基准新王诞生 — Outside-Iron-8242 · 2026-09-09
- Gary Marcus 回应质疑：千禧年难题靠的是手工 harness 加 Lean — NinaDSchick · 2026-09-09
- OpenAI 自曝:8 月 28 日起训练新内部模型,数学基准表现空前 — TheZvi · 2026-09-09