Has a Millennium Prize Problem been solved by AI?

Summary

Key Points

• A Millennium Prize problem, specifically finding a counterexample to the Navier-Stokes equations, has reportedly been solved by OpenAI using artificial intelligence. 1:08
• The Navier-Stokes equations describe fluid motion and are fundamental to understanding phenomena like weather patterns and turbulence. 1:08
• OpenAI's approach involved using AI to find a smooth force function that, when applied to the fluid, leads to this singularity, a task previously thought to be extremely difficult. 5:34
• Solving the problem involves demonstrating that under certain conditions, a smooth, initially quiescent fluid can develop a singularity (unbounded velocity) in finite time, which would mean the equations themselves are incomplete. 8:04
• A widely circulated PR image illustrating the singularity was an exaggeration of a schematic, not a direct output of the mathematical proof. 9:48
• The specific solution found by OpenAI has been formalized in Lean, a proof assistant, allowing for verification, though independent verification is still pending. 13:40
• The announcement has generated controversy, including claims that OpenAI rushed to publish after human mathematicians were close to a solution and debates over the cost and methods used. 14:45
• Mathematicians are concerned that AI-generated, one-shot solutions lack the insight and understanding gained from the human process of mathematical exploration and discovery. 17:17
• The practical applicability of this specific solution to real-world fluid mechanics is questioned, as physical fluids would likely vaporize before reaching such a singularity. 19:54
• While AI can be a valuable tool for mathematics, the current approach of AI companies is criticized for focusing on 'big answers' without providing the underlying mathematical journey or intuition. 21:59