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

Tristan Buckmaster's post https://mastodon.social/@tristanbuckmaster/117233413705701198 Terence Tao's post https://mathstodon.xyz/@tao/117233527638291447 There does not seem to be anything in principle preventing the methods from extending all the way to Navier-Stokes, and there is even a non-negligible chance that the forcing term could be eliminated entirely, although there are an enormous number of technical difficulties that would ensue in implementing that program. Also some drama with OpenAI math team, who claim that an internal OpenAI model had produced a proof of finite time blowup for the forced Navier-Stokes equations, about 100 page long proof Edit: Drama forcing Sebastien Bubeck to make a statement tomorrow https://x.com/SebastienBubeck/status/2097214122471432349