OpenAI's Claimed Navier-Stokes Breakthrough Sparks Debate Over AI's Math Prowess
OpenAI 于 9 月 8 日宣布在纳维-斯托克斯（Navier-Stokes）方程相关的百年难题上取得结果，据称动用了数万个智能体、投入约 1500 万美元算力和数天时间完成。此事在学界与社区引发广泛讨论，情绪从感动到质疑不一。
已确认
- OpenAI 宣布在纳维-斯托克斯方程相关问题（该问题属千禧年大奖难题范畴）上取得进展，时间点为 9 月 8 日。
- 据 WSJ 报道及多位评论者转述，该成果耗资约 1500 万美元算力、耗时数天。
- 康奈尔大学数学系教授、科普作家 Steven Strogatz 在 WIRED 采访中谈及 AI 近期数学突破时当场落泪，随后发帖尝试解释原因。
尚未确认
- Robert Bhargava 提出核心疑问：人类数学家似乎已完成关键突破，AI 只是后续跟进，其独立贡献程度不明。
- danbri 帖子的回帖指出，相关成果其实已有数学家分别做出，只是散落在不同领域、封闭期刊与专业术语之中——此说法仍属社区推断。
为什么重要
- 计算复杂性博客作者 Bill Gasarch 曾放话「只有 AI 解决千禧年大奖难题才值得写文章」，此次事件迫使他撰文反思 AI 做数学的进展，可见其标志性意义。
- Reddit 用户 RaccoonMinimum172 质疑用数学问题当营销素材的倾向：若目标真是造福人类，花费数百万美元算力求解已接近解决的问题是否合理。
- danbri 则给出另一面解读：把分散在封闭文献里的已解知识整合起来，本身可能正是 AI 的独特价值所在。
2026-09-14 ~ 2026-09-15 · 5 related posts
- Episode 1: Rumors claim GPT-6 cracks Navier-Stokes, credibility doubtful(2026-09-05, 2 posts)
- Episode 2: OpenAI Claims 10,000 Agents Solved Navier-Stokes in 88 Hours(2026-09-09, 13 posts)
- Episode 3: Existence Proof Effect: Rumor of Solvability Drove OpenAI's Navier-Stokes Attempt(2026-09-09, 3 posts)
- Episode 4: Mathematicians Accuse OpenAI of Racing to Claim Their Unfinished Proof(2026-09-09, 6 posts)
- Episode 5: Anthropic Faces Ethics Backlash Over Math Proof and Scooped Collaboration(2026-09-09, 2 posts)
- Episode 6: Rumors swirl that OpenAI nears Hodge and BSD conjectures as Millennium Prize problems fall(2026-09-10, 27 posts)
- Episode 7: OpenAI Claims Navier-Stokes Solved, Progress on a Second Millennium Problem(2026-09-10, 21 posts)
- Episode 8: Mathematician accuses OpenAI of training Astra on his unpublished work; OpenAI denies(2026-09-10, 9 posts)
- Episode 9: Navier–Stokes Authorship Dispute Fuels Debate Over AI Labs' Scooping Culture(2026-09-10, 6 posts)
- Episode 10: OpenAI denies Codex prompts influenced training as "stolen chat data" claims unravel(2026-09-11, 8 posts)
- Episode 11: OpenAI's Millennium Prize Claim Mired in Authorship and Scooping Dispute(2026-09-11, 10 posts)
- Episode 12: AI Circles Speculate Millennium Prize Problems May Fall to AI(2026-09-11, 2 posts)
- Episode 13: Math Community Splits Over AI's Role After OpenAI's Millennium Prize Claim(2026-09-11, 8 posts)
- Episode 14: Rumor: OpenAI Aims Internal Model at Riemann Hypothesis and P vs NP(2026-09-11, 7 posts)
- Episode 15: OpenAI's Navier-Stokes Proof Passes Rechecks but Faces Scrutiny(2026-09-11, 2 posts)
- Episode 16: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(2026-09-12, 18 posts)
- Episode 17: Misread as Anti-AI, Terence Tao Sparks Debate Over the Value of Mathematics(2026-09-12, 18 posts)
- Episode 18: Fields Medalists' Open Letter on AI Sparks Cross-Disciplinary Debate(2026-09-12, 6 posts)
- Episode 19: OpenAI Claims AI Agent Solved the Navier–Stokes Blow-up Problem(2026-09-13, 8 posts)
- Episode 20: OpenAI's Claimed Navier-Stokes Breakthrough Sparks Debate Over AI's Math Prowess(2026-09-14, 5 posts)
Primary sources
- OpenAI Claims Navier-Stokes Millennium Prize Solution, Prompting a Mathematician's Rethink on AI Math — fortnow ·
- OpenAI's NS math result reportedly took $15M of compute; efficiency questioned — rbhar90 ·
- Cornell mathematician Steven Strogatz tears up on camera over AI's rapid math breakthroughs — stevenstrogatz ·
- [source] OpenAI's NS math result reportedly took $15M of compute; efficiency questioned — rbhar90 · 2026-09-14
- OpenAI's $15M number theory result: AI's real value may be consolidating scattered human knowledge — danbri · 2026-09-14
- [source] OpenAI Claims Navier-Stokes Millennium Prize Solution, Prompting a Mathematician's Rethink on AI Math — fortnow · 2026-09-14
- WSJ's AI-Doom Coverage Spends Millions in Compute on Math Proofs, and Readers Ask Why — RaccoonMinimum172 · 2026-09-14
- [source] Cornell mathematician Steven Strogatz tears up on camera over AI's rapid math breakthroughs — stevenstrogatz · 2026-09-15