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.
More from Models
- OpenAI hits automated research intern goal, agents solve Navier-Stokes in 88 hours — btibor91 · 2026-09-13
- GPT-6 Astra beats human drone baseline and earns 3x Claude on Vending-Bench — The Decoder · 2026-09-13
- Local LLM model picker: how to choose between Llama, Mistral, Qwen and DeepSeek — anant94 · 2026-09-13
- 2B open-source MiniCPM5 tops small-model index, tested as an offline iPhone iMessage agent — SimplyAnnisa · 2026-09-13
- OpenAI pauses Pro subscriptions, leaving a Codex power user stranded after 10B tokens — andimarafioti · 2026-09-13
- InternLM Releases Intern-S2-397B: Multimodal Model for Scientific AI and Long-Horizon Agents — jacek2023 · 2026-09-13