Mathematician says OpenAI told him an internal model had proved finite-time blow-up for forced Navier-Stokes, days after learning of his unpublished work
Tristan Buckmaster and Levent Alpöge published three results on finite-time blow-up under smooth forcing for 3D incompressible Euler, Boussinesq and incompressible porous media, and Terence Tao wrote that nothing in principle prevents the methods extending to Navier-Stokes. Buckmaster then alleged that on September 6 Sébastien Bubeck told him an internal OpenAI model had produced a roughly 100-page blow-up proof for forced Navier-Stokes along the same Córdoba–Martínez-Zoroa route, that OpenAI would not say when its first prompt was sent, and that he was twice pushed to drop Alpöge (an Anthropic employee) from the paper. Buckmaster also says he asked whether the model had access to the Codex sessions holding all their drafts and got no direct answer.
↳ Follow the thread