OpenAI claims its model found a Navier-Stokes blowup counterexample, cracking a Millennium Problem
victor_explore · x · 2026-09-13
- OpenAI president Greg Brockman says an OpenAI model solved the Navier-Stokes problem—one of the seven Millennium Problems—by constructing a counterexample where the equations blow up.
- He frames it as genuinely new knowledge generated by the model, not retrieved from training data.
- The poster argues this challenges the common assumption that models merely remix what they've seen, marking a milestone for AI-assisted mathematics.
- Note: vendor claim only, not yet peer-reviewed or independently verified.
Related event: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(18 posts)→
More from Models
- ARC Prize 2026 closes in 3 days as Yi-Chia Chen tops ARC-AGI-3 at 75.56% — GregKamradt · 2026-10-31
- Fable 5.5 Max stuns with gorgeous SVG of a pelican riding a bicycle, headed to Claude Code — ChrisGPT · 2026-10-31
- OpenAI reportedly to train on users' Daybreak sessions with no opt-out — dyn___ · 2026-10-31
- NVIDIA Nemotron 3.5 scales LLM self-verification, +9-10 points on agentic benchmarks — sarahcat21 · 2026-10-31
- Mistral Large 4 scores 94% on 1,273 USMLE-style questions but flips 44 at temp 0 — MaziyarPanahi · 2026-10-31
- Researchers find 5 personality structures in LLM weight space, Big Five-like — luke_drago_ · 2026-10-31