search
Navier-Stokes
Trends
- 1
OpenAI released a batch of 722 new research papers, among them work claiming progress on a proof related to the Navier-Stokes equations, one of mathematics' most famous unsolved problems. Attention has since focused on an error identified in that proof, prompting debate about the reliability of AI-assisted mathematical discovery and how the results should be verified.
- 2What Are the Remaining Millennium Prize Problems?●What Are the Remaining Millennium Prize Problems? https://www.nytimes.com/2026/10/08/science/millennium-prize-problems-e
The Clay Mathematics Institute's Millennium Prize Problems offer $1 million each for solving seven of mathematics' greatest unsolved questions. Only one, the Poincaré conjecture, has been solved since 2000, leaving six open: P versus NP, the Riemann hypothesis, Navier-Stokes equations, Yang-Mills theory, the Hodge conjecture and the Birch and Swinnerton-Dyer conjecture. A new explainer reviews where each stands, with renewed attention on links to AI research.
- 3Did AI Just Crack the Navier-Stokes Equation?●What is the Navier-Stokes Equation, And Did AI Just Solve It?
Discussion is growing around whether artificial intelligence has made progress on the Navier-Stokes equations, a set of equations describing fluid flow and one of the most famous unsolved problems in mathematics, carrying a million-dollar Millennium Prize. Neil deGrasse Tyson's StarTalk is explaining what the equations are and whether AI has truly solved them.
- 4OpenAI Navier-Stokes Proof Hits Lean Formalization Snag●OpenAI Navier-Stokes Proof Faces Lean Formalization Mismatch
A claimed proof of the Navier-Stokes problem attributed to OpenAI is under scrutiny after the accompanying Lean formalization reportedly did not match the mathematical statement it was supposed to verify. Commenters in the mathematics and AI communities are debating whether the discrepancy undermines the result or merely reflects standard gaps between informal proofs and formal verification.
- 5Interview on the Navier-Stokes problem draws attention●The Buckmaster Interview (Navier-Stokes) [video]
A new video interview titled 'The Buckmaster Interview (Navier-Stokes)' is circulating among technology and mathematics readers online. The interview discusses the Navier-Stokes equations, one of the Millennium Prize Problems whose smooth solutions remain unproven. Commenters are sharing the video and debating the mathematical claims and explanations presented in the conversation.