Breakthrough for Navier-Stokes from Tristan Buckmaster + Levent Alpoge?

Tristan Buckmaster and Levent Alpoge are reportedly close to a breakthrough regarding the Navier-Stokes equations. This development follows a claim from OpenAI's math team that an internal model generated a 100-page proof for the finite-time blowup of forced Navier-Stokes equations. The news has generated discussion within the dev_community, with further details available via Tristan Buckmaster's Mastodon post and a related discussion on mathstodon.xyz.

This report uniquely highlights the parallel claim from OpenAI's math team about an internal model generating a 100-page proof for the same problem, unlike other discussions focusing solely on Buckmaster and Alpoge.