Did OpenAI just crack Navier–Stokes? AI agents produced a Lean-formalized singularity proof
erdematar · reddit · 2026-09-13
A Reddit post unpacks OpenAI's recent Navier–Stokes claim: the open Millennium Problem part asks whether smooth 3D fluid solutions can develop singularities. OpenAI says teams of AI agents tried approaches, shared discoveries, and produced a proof that singularities can form in finite time, formalized in Lean.
- No independent verification yet; mathematicians remain cautious
- The bigger story may be AI producing genuinely novel proofs — in 5-10 years mathematicians might mainly choose problems, guide models, and verify outputs
- Comments debate whether it's a breakthrough or overhyped
Related event: OpenAI's 10,000-Agent Navier-Stokes Claim Sparks Math Community Credit War(18 posts)→
More from AGI Musings
- Nina Schick: who builds intelligence and how it's distributed is the defining question of our lives — NinaDSchick · 2026-10-31
- Cheap intelligence is like cheap bread — an ingredient list satire of mass-produced AI — jsuarez · 2026-10-31
- Two futures for the young in 2026: 511 job rejections by chatbot vs unlimited AI to rebuild Cisco — PeterDiamandis · 2026-10-31
- Source link for Terence Tao's warning on AI reaching a dangerous threshold — haider1 · 2026-10-31
- Terence Tao warns AI is nearing a dangerous threshold as models start cheating — haider1 · 2026-10-31
- Reddit stock plunges 42% in 8 trading days as CEO says AI mode no longer drives traffic — SumitGup · 2026-10-31