How the Claim Was Presented and Received
OpenAI announced it has made progress on one of mathematics' seven Millennium Prize problems, the Navier-Stokes existence and smoothness question, but the claim has sparked immediate backlash from researchers who say their foundational work was used without acknowledgment. The statement was released this week through the company's official blog, drawing attention from both the AI and mathematical communities. The problem, which concerns the behavior of fluid flow in three dimensions, has remained unsolved for over two decades and carries a $1 million prize from the Clay Mathematics Institute.
Breaking news
London-based CloudNC raises €17.2 million to scale AI-powered precision machining
AI Hardware Weekly: Chip Efficiency, Digital Twins, and Mobile Vision Models Lead September Discussions
Google DeepMind alumni launch startup to build fusion control systems
AI Safety Researcher Quits, Warns Labs Racing Toward Dangerous SuperintelligenceThe controversy centers on allegations that OpenAI's approach relied heavily on unpublished techniques developed by two academic researchers whose contributions were not cited in the announcement. Those researchers, who have worked on related aspects of the problem for years, say they were never contacted or informed about the use of their methods. OpenAI has not yet responded publicly to the specific claims, though it maintains that its internal team developed the solution independently. Experts in partial differential equations have urged caution, noting that verifying such a claim requires rigorous peer review, which has not yet occurred.
What Does This Mean for AI in Mathematics?
OpenAI framed its announcement as a significant step forward in applying artificial intelligence to deep mathematical challenges, suggesting that its models could guide The company shared technical details about its methodology, including the use of neural networks to explore potential solutions to the equations governing fluid dynamics. However, several mathematicians quickly pointed out similarities between OpenAI's described approach and recent work shared in academic workshops and preprint servers. The lack of transparency around data sources and model training has intensified concerns about reproducibility and ethical standards in AI-driven research.
The incident highlights growing tensions as AI labs venture into formal mathematical While AI tools have shown promise in assisting with proofs and conjecture generation, this case raises questions about how credit is assigned when machine learning systems build on human insights. It also underscores the need for clearer guidelines when private companies engage with open mathematical problems. The Clay Mathematics Institute has not commented on whether it will consider OpenAI's submission for the Millennium Prize, pending further scrutiny.
Is the Navier-Stokes problem now solved? No, the claim has not been verified by the mathematical community, and experts emphasize that formal proof and peer review are required before any solution can be accepted.
Frequently Asked Questions
Why are researchers accusing OpenAI of not giving credit? Two researchers allege that key techniques used in OpenAI's approach were derived from their unpublished work, which was not referenced in the company's announcement despite their prior contributions to related aspects of the problem.
What happens next in this dispute? OpenAI has not issued a detailed response to the specific allegations, and the mathematical community awaits further clarification or potential publication of the work in a peer-reviewed forum for independent evaluation.
