AI HOT (Curated Pool)· aihot-apiZH07:20 · 09·08
→Mathematician Buckmaster announces PDE blowup results aided by LLMs, details OpenAI communication
NYU mathematician Tristan Buckmaster and collaborator Levent Alpöge announced three finite-time blowup results for incompressible porous media, Boussinesq, and 3D incompressible Euler equations, all with smooth forcing. They relied heavily on LLMs (Claude, Codex, GPT-5.6 Sol, Astra) and verified proofs in Lean. Buckmaster called the Euler writeup "AI slop" and detailed his communication with OpenAI: an internal OpenAI model claimed a forced Navier-Stokes blowup proof, but Buckmaster believes the team used extensive human effort and compute, contrary to claims of "very little human input." The post does not disclose the details or verification status of OpenAI's proof.
#Code#Tristan Buckmaster#Levent Alpöge#OpenAI
editor take
Mathematician Buckmaster used LLMs to prove Euler blowup, calls his own paper 'AI slop,' and details OpenAI communication.
HKR breakdown
hook —knowledge —resonance —