Claude and the Navier-Stokes rumor: Terence Tao says he did not signal a breakthrough
A social-media rumor claiming Anthropic's Claude had solved the Navier-Stokes existence and smoothness problem spread quickly over the past day, drawing millions of views and pulling one of mathematics' most famous open questions into the center of the AI debate. The claim gained traction after blogger Andrew Curran posted a prediction that Anthropic had already solved the Millennium Prize problem and that the result was under expert review, possibly to be announced before an Anthropic IPO. Yet no paper, proof text, or review materials have surfaced publicly, and the Clay Mathematics Institute still lists the Navier-Stokes problem as unsolved. Part of the speculation came from a recent series of posts by mathematician Terence Tao, who used Navier-Stokes as a hypothetical case study to discuss how autonomous AI systems might one day attack major open problems with heavy compute, iterative search, and formal verification tools such as Lean. Tao later clarified that he was not pointing to any new development and said he was unaware of any major progress on the problem. At the same time, he argued that the scenario itself is no longer far-fetched, given how quickly AI systems are moving into research-grade mathematics, formal proof generation, and work on long-standing open questions.








