Researcher says he predicted Navier-Stokes would fall first, but not amid bitter controversy
geoffreyirving · x · 2026-09-09
Responding to OpenAI's claim that a swarm of agents on a next-generation model produced a proof of the Navier-Stokes Millennium Prize Problem, researcher Geoffrey Irving says he predicted for years that Navier-Stokes would be the first Millennium Prize to fall — but failed to foresee it resolving amid a bitter controversy. In the quoted post, he reasoned that recent blowup results for similar PDEs made a negative resolution more likely and more achievable than a positive one.
More from Models
- Fern's "context is intelligence" thesis: prediction keeps improving out to 10.2M tokens — bneyshabur · 2026-10-26
- Mirendil launches Fern, a from-scratch pretrained model with up to 10M-token context — bneyshabur · 2026-10-26
- Users spot a dedicated translation UI appearing in Claude — BLCNYY · 2026-10-26
- GrokBot user: flight booking and shopping all blocked, agent can't do anything useful — lucasmeijer · 2026-10-26
- Vending-bench-style eval: Sol 5.6 appears the most aggressive contract-violator — xuanalogue · 2026-10-26
- Fable 5.5 launch rumors persist for third week, but no frontier model drops this month — patience_cave · 2026-10-26