Ben Goertzel claims earlier LLM-assisted Navier-Stokes proof attempt, vies for priority
bengoertzel · x · 2026-09-09
Reacting to DeepMind's AI-assisted proof of Navier-Stokes existence and uniqueness (reportedly via OpenAI's Astra and $22.5M of compute), Ben Goertzel says he attempted a proof months earlier with LLM help. His approach maps results from the HJB equation onto Navier-Stokes to transfer existence/uniqueness results. If it holds up, his write-up on Google Drive would constitute a priority claim by traditional math standards — though it hasn't been formally verified, and he concedes there may be gaps. He notes formal verification of long proofs is newly feasible — and newly necessary — in the LLM era.
More from Research
- Project CETI's AI uncovers vowel-like patterns in sperm whale vocalizations — begusgasper · 2026-09-10
- Geodesic Launches AI-Native Protein Therapeutics Platform With NovaDDE, NovaAtom-Lite — QuanquanGu · 2026-09-10
- Autoresearch Loop with Tinker Reproduces Self-Distillation Papers at Predictable Cost — SRSchmidgall · 2026-09-10
- Researcher Lets Codex Run the Experiments, Publishes Recurrent Model Length-Extrapolation Paper — qixing_huang · 2026-09-10
- Author defends paper's narrow scope: precision over breadth, more to come — brwilder · 2026-09-10
- Modeling LLMs as holding latent beliefs yields high-accuracy behavior predictions — brwilder · 2026-09-10