OpenAI's AI agents have solved the Navier-Stokes equations, a major unsolved problem in mathematics, but the proof is so complex that mathematicians struggle to understand it. The solution, while technically correct, offers little human insight, according to experts.
TL;DR
- OpenAI's AI agents solved the Navier-Stokes equations, a Millennium Problem with a $1M prize.
- The AI-generated proof is technically correct but incomprehensible to mathematicians, offering little human understanding.
- Controversy surrounds the work, with accusations of plagiarism and debates over the problem's resolution.
What happened
OpenAI directed 10,000 AI agents to work on the Navier-Stokes equations for 88 hours, resulting in a solution. The equations describe fluid movement and are one of the six Millennium Problems listed by the Clay Mathematics Institute, with a $1M prize for a solution. The AI's solution identifies a scenario where fluids accelerate to infinite velocity, creating a singularity, which is impossible in the physical universe.
Mathematicians have criticized the AI's proof for being incomprehensible. James Maynard of Oxford and Javier Gómez-Serrano of Brown University stated that the proof is not written for human understanding and offers little insight. The solution relies on an external force, which is not the purer scenario mathematicians are interested in. A recent proof suggests that OpenAI's solution cannot lead to solving the full problem.
Why it matters
The solution, while valid, does not provide meaningful insights for mathematicians. The proof's complexity highlights the challenges of AI-generated solutions in complex fields. The controversy surrounding the work, including accusations of plagiarism, raises questions about collaboration and credit in AI-assisted research. The focus on the forced version of the problem, rather than the unforced version, limits the solution's impact on the field.
Key facts
- OpenAI used 10,000 AI agents to solve the Navier-Stokes equations in 88 hours.
- The solution is technically correct but incomprehensible to mathematicians, according to NPR.
- The Clay Mathematics Institute listed the Navier-Stokes equations as one of its six Millennium Problems, with a $1M prize.
- The AI's solution identifies a scenario with infinite fluid velocity, creating a singularity.
- Mathematicians accused OpenAI of plagiarism and using their work without permission.
- OpenAI's solution relies on an external force, which is not the purer scenario mathematicians are interested in.
- A recent proof suggests that OpenAI's solution cannot lead to solving the full problem, per Scientific American.
Context
The Navier-Stokes equations have been used for nearly two centuries to describe fluid movement, but their underlying mechanics remain a mystery. The equations are crucial in fields ranging from meteorology to engineering. The Clay Mathematics Institute's Millennium Problems are seven of the most important unsolved problems in mathematics, each with a $1M prize for a solution. The controversy surrounding OpenAI's solution highlights the challenges and ethical considerations of AI-assisted research in complex fields.
