NYU mathematician Tristan Buckmaster and Anthropic researcher Levent Alpöge have publicly released three preprints that establish finite-time blowup with smooth forcing for three distinct fluid equations. Alongside the preprints, the researchers have provided Lean formalizations of the proofs. The work covers the incompressible porous medium equation, the two-dimensional Boussinesq system, and the three-dimensional incompressible Euler equations.
In a statement posted with the preprints, Buckmaster also recounts contacts with OpenAI. According to his account, the company told him that an internal…
