© 2026 Improve the News Foundation.
All rights reserved.
Version 7.13.0
A question that stumped mathematicians for 90 years was solved in 88 hours, and the proof shows smooth fluid motion can indeed blow up into infinities. It shipped with a Lean formalization, so every logical step can be machine-checked instead of spending years on human verification. No one is even claiming prize money, which makes the achievement itself the point.
Two independent mathematicians did the real work here, and their proof addressed a related Navier-Stokes problem — not the million-dollar Millennium Prize. Suspiciously, a nearly identical approach popped out of OpenAI weeks after one author reached out, with no clear answer about whether those chats fed the training data. Offering credit only if an Anthropic-affiliated coauthor gets erased says everything.