AI Just Claimed to Crack the Navier-Stokes Problem. It's Part of a Much Bigger Pattern

OpenAI recently announced that an internal AI model has proposed a solution to the Navier-Stokes existence-and-smoothness problem, one of the seven prestigious Millennium Prize challenges. The model suggests that fluid velocity can become unbounded, creating a singularity. While the claim has generated significant media attention, researchers emphasize that the result is currently undergoing formal verification and mathematician review. This development is part of a broader trend in 2026, where AI agents are increasingly contributing to solving complex mathematical problems, including Erdős conjectures and Ramsey theory. While the mathematical community remains cautious regarding verification bottlenecks and authorship, these breakthroughs signal a shift in how AI is utilized as a tool for autonomous discovery. The incident highlights the growing gap between rapid AI-generated claims and the rigorous, time-intensive process required for human validation in the scientific community.