OpenAI claimed a proof for one of the Clay Mathematics Institute's Millennium Prize problems—the Navier-Stokes existence and smoothness problem—but experts argue it solves a variant disconnected from physical reality. The LLM-generated proof exploits a loophole by introducing an external force not present in the classical formulation, raising questions about whether AI can genuinely solve deep mathematical problems.
Background
The Navier-Stokes existence and smoothness problem is one of the seven Clay Mathematics Institute Millennium Prize Problems, with a $1 million reward for a correct proof. It remains unsolved and is central to understanding fluid dynamics.
- Source
- Lobsters
- Published
- Sep 23, 2026 at 02:22 AM
- Score
- 6.0 / 10