alt Hacker NewsThis 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...
Replies
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.
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.
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 it is solved what are the applications of that? What changes?
if there's anything that would convince that LLMS are one of the biggest innovations ever, it would be this :-D
relevant: https://mathstodon.xyz/@tao/117219101339291693