This is going around due to rumors and baseless speculation on Twitter [1] right now that Anthropic has solved the Millennium problem related to Navier-Stokes [2]

[1] https://x.com/AndrewCurran_/status/2096062392442724805 for example

[2] https://en.wikipedia.org/wiki/Navier%E2%80%93Stokes_existenc...

relevant: https://mathstodon.xyz/@tao/117219101339291693

Why would they send it out for "expert review"? Every time, they have just made the AI generate a Lean proof. In fact, it seems like the most plausible direction to NS is computationally assisted detection of a blowup solution, which has fantastic automatic validation.

This is a step beyond baseless predictions. Tao also had a "weird" "hypothetical" comment about LLMs solving complex proofs with impossible to human verify Lean.

Lol as far as I know that post was the origin of that claim and it's clearly just a guy predicting something that will happen in the future with no information about it.

For a second I thought they were aiming the scary proof machine at us mortals doing PDE stuff. Fortunately the speculation is just that they happen to be aiming it at a nearby mathematician type problem. Phew.

if there's anything that would convince that LLMS are one of the biggest innovations ever, it would be this :-D

If it is solved what are the applications of that? What changes?