NYU mathematician says LLMs helped crack fluid blowup problems in a month, accuses OpenAI of scoop and authorship pressure

dotey · x · 2026-09-08

NYU mathematician Tristan Buckmaster published a statement saying he and Levent Alpöge used LLMs to prove finite-time blowup (with smooth forcing) for the incompressible porous media, Boussinesq, and 3D Euler equations within a month — a major step toward the Navier–Stokes Millennium Problem, though not a full solution (a claimed NS blowup result awaits Lean formalization). He also accuses OpenAI of trying to rush out the results and demanding his Anthropic-employed collaborator be removed from authorship. Building on Córdoba & Martínez-Zoroa's rough-forcing work, the statement has ignited debate over academic ethics, AI's math capabilities, and lab competition; an unverified "prediction" also claims Anthropic solved Navier–Stokes.

Original post →

More from Companies & People

Companies & People channel →