AI cracks fluid blow-up proofs in a month as mathematicians accuse OpenAI of poaching and threats

AI寒武纪 · wechat · 2026-09-08

NYU mathematician Tristan Buckmaster and Anthropic's Levent Alpöge published proofs of finite-time blow-up for the porous medium, Boussinesq, and 3D incompressible Euler equations under smooth forcing — completed in a month with AI models and verified in Lean, with Terence Tao praising the work. Alongside, a four-page statement accuses OpenAI exec Sébastien Bubeck of rushing an internal team to scoop the results, demanding Alpöge be dropped from authorship, and threatening Buckmaster's career when he refused.

Related event: OpenAI Claims Navier-Stokes Breakthrough, Sparking Credit Dispute and Skepticism(152 posts)→

Original post →

More from Companies & People

Companies & People channel →