OpenAI Claims AI Solved 90 Year-Old Maths Problem In Just 88 Hours

OpenAI Claims AI Solved 90-Year-Old Maths Problem in Just 88 Hours

OpenAI says a new artificial intelligence system has produced a solution to one of mathematics’ most difficult longstanding problems after working with thousands of AI agents for just 88 hours. The company said its internal AI system tackled the Navier–Stokes existence and smoothness problem, a mathematical challenge that has remained unresolved for nearly 90 years. The problem concerns equations that describe the movement of fluids such as water and air. Mathematicians have long sought to establish whether smooth solutions to the equations can always remain smooth or whether they can develop singularities under certain conditions. Navier–Stokes is one of the seven Millennium Prize Problems, a group of major mathematical challenges identified by the Clay Mathematics Institute. A correct solution to each problem carries a potential $1 million prize. According to reports, OpenAI deployed as many as 10,000 AI agents to work on the problem simultaneously. The system reportedly generated a mathematical argument in about 88 hours, while another AI model was used to help verify the result. OpenAI’s claim represents a potentially significant moment for AI-assisted mathematical research because the problem has challenged generations of mathematicians and requires advanced reasoning rather than simply retrieving existing information. The company says its AI-generated work includes formal verification using Lean, a computer language designed to help mathematicians check whether proofs are logically valid. However, the claim still requires scrutiny from independent mathematicians before it can be regarded as an accepted solution to the Millennium Prize problem. The announcement has already generated controversy within the mathematical community. NYU mathematician Tristan Buckmaster, who had been working on related research, questioned how OpenAI reached its result so quickly and raised concerns about whether previous research could have influenced the system. OpenAI has denied using or accessing specific unpublished research improperly and has maintained that its work was independent. The dispute highlights a growing challenge as AI systems become increasingly capable of conducting research and generating new mathematical ideas. OpenAI has also said it does not intend to claim the $1 million Millennium Prize, choosing instead to highlight the research as evidence of the rapidly increasing capabilities of AI in advanced scientific and mathematical work. The development comes amid a broader push by technology companies to use increasingly powerful AI models as research assistants. OpenAI has previously reported AI-generated advances on a number of longstanding problems in mathematics and theoretical computer science. If independently validated, the latest result could strengthen the argument that AI is moving beyond assisting humans with established mathematical techniques and beginning to contribute genuinely new approaches to difficult scientific questions. it the same time, mathematicians will need to examine the proposed solution carefully before determining whether it meets the rigorous standards required for a formal proof.