OpenAI's Navier-Stokes Proof Passes Rechecks but Faces Scrutiny
OpenAI's 166-page manuscript claiming finite-time blowup for the forced 3D Navier-Stokes equations passed four independent kernel-level Lean builds, yet Reddit users question whether the compact support of the force is assumed rather than proven.
2026-09-11 ~ 2026-09-12 · 2 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 Claim of Navier-Stokes Breakthrough Sparks Debate(2026-09-12, 7 posts)
- Episode 17: Terry Tao "Upset at AI Solving Math" Claim Called Misreading as Debate Over Math's Value Erupts(2026-09-12, 18 posts)
- Independent kernel-level verification of OpenAI's Navier-Stokes Lean proof: all four builds pass — pvaa · 2026-09-11
- Lean formalization of claimed Navier-Stokes blow-up questioned: is compact support of the force assumed or proved? — Illustrious-Bench726 · 2026-09-12