OpenAI Claims to Have Solved One of Mathematics Hardest Problems

OpenAI has claimed a potentially historic breakthrough in mathematics, saying its artificial intelligence system has produced a solution to the Navier-Stokes problem, one of the most difficult unanswered questions in modern mathematics. The Navier-Stokes problem has challenged mathematicians for more than 90 years. It focuses on equations that describe how fluids such as air and water move. Although scientists have used these equations for decades in areas including engineering, physics and fluid dynamics, mathematicians have yet to establish whether certain three-dimensional solutions remain smooth indefinitely or can develop a singularity in a finite amount of time.

OpenAI said its AI system was able to produce a mathematical argument addressing the problem after carrying out an extensive search for a solution. The company reportedly used thousands of AI agents working on different mathematical approaches before arriving at the result. The proposed proof was also formalized using Lean, a computer-assisted system that can check mathematical proofs for logical consistency.

The announcement has generated considerable interest because the Navier-Stokes question is one of the seven Millennium Prize Problems identified by the Clay Mathematics Institute as among the most important unsolved problems in mathematics. A correct solution to one of these problems carries a $1 million prize.

OpenAI's announcement does not automatically mean that the problem has been officially solved. The proposed proof must still undergo detailed examination by independent mathematicians. Researchers will need to determine whether every part of the argument is correct and whether it addresses the exact problem posed by the Clay Mathematics Institute.

That distinction is particularly important in mathematics, where even a small gap in a proof can invalidate an otherwise impressive result. Computer-assisted verification can provide powerful support, but independent experts still need to assess the mathematical reasoning and confirm that the argument satisfies the original requirements.

The development has also raised questions about the growing role of artificial intelligence in mathematical research. Traditionally, AI has been used to assist researchers with calculations, pattern recognition and computational tasks. OpenAI's latest claim points toward a future in which AI systems could potentially explore thousands of mathematical ideas and help researchers tackle problems that have remained unsolved for generations.

The announcement has also sparked discussion over research credit and the use of AI systems in mathematics. Researchers working on related Navier-Stokes questions have raised concerns about how AI companies handle mathematical material submitted to their systems, while OpenAI has maintained that its work was developed independently.

If the proposed proof is eventually accepted by the mathematical community, the achievement would be significant not only for OpenAI but for the wider field of artificial intelligence. It could provide evidence that advanced AI systems are capable of making meaningful contributions to fundamental mathematical research rather than simply assisting humans with established techniques.

The Navier-Stokes problem remains a case where the phrase "solved by AI" requires caution. OpenAI has presented a potentially groundbreaking result, but the final verdict will come only after mathematicians have independently examined and validated the proof. If it withstands that scrutiny, the result could mark a major moment in both mathematics and the development of AI-powered scientific discovery.

Disclaimer: This image is taken from The Guardian.