Buckmaster may crack Navier-Stokes; OpenAI claims 100-page blowup proof
FateOfMuffins · reddit · 2026-09-08
A Reddit thread spotlights a possible breakthrough on Navier-Stokes by mathematicians Tristan Buckmaster and Levent Alpoge, with Terence Tao weighing in.
- Tao: the methods face no obvious obstacle to extending to full Navier-Stokes, with a non-negligible chance of eliminating the forcing term entirely, though huge technical difficulties remain
- Drama: OpenAI's math team claims an internal model produced a 100-page proof of finite-time blowup for the forced Navier-Stokes equations
- If confirmed, this approaches Millennium Prize territory
More from Research
- Open-source decision models sold their own base in Red Alert 2 — then learned until no human could beat them — heathercmiller · 2026-10-27
- DeepMind paper: LLMs can't sample randomly on their own — pass random numbers from code instead — rohanpaul_ai · 2026-10-27
- World Model Assigns Weight and Friction to Objects, Then Simulates with a Physics Engine — jonstephens85 · 2026-10-27
- Token Collapse: Study Finds Graph Soft Prompting Tokens in LLMs Fail to Encode Structure — Sapienza · 2026-10-27
- Mathathon 2.0 launches with Terence Tao's SAIR, $1.5M in compute for teams — _sathvikr · 2026-10-27
- The 'sweet lesson' is real: two kinds of ML problems need opposite strategies — mike64_t · 2026-10-27