Mathematician Buckmaster announces PDE blowup results aided by LLMs, details OpenAI communication

数学家巴克马斯特宣布多项方程 blowup 结果并公开与 OpenAI 沟通经过

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.