OpenAI claims AI solved Navier‑Stokes and 300 other maths problems

OpenAI has announced that its latest AI model has produced a solution to the Navier‑Stokes problem and presented solutions to more than 300 long‑standing unsolved mathematical questions.

The Navier‑Stokes equations describe the movement of fluids such as water and air and underpin understanding of ocean currents, blood circulation and airflow over aircraft wings. The problem has been one of the seven Millennium Prize Problems identified by the US‑based Clay Mathematics Institute, which offers a US$1 million prize for a correct solution.

Carolin Antos of the University of Konstanz and Balthasar Grabmayr of the University of Tübingen note that while AI can generate proofs, human mathematicians must still verify each step. They stress that “proof digestion” – the process of re‑working and interpreting a proof – remains essential for extracting new insights.

Human oversight still crucial

Prof Terence Tao of UCLA, a leading advocate of AI in mathematics, highlights that mathematicians seek to understand why a theorem is true, not merely that it is true. Even after AI‑generated proofs are verified, further work is needed to explore implications, develop alternative proofs and identify new research directions.

The AI‑driven breakthroughs are described as the “tip of the iceberg”, with many variants of the Navier‑Stokes problem still unsolved and requiring novel mathematical concepts.

Source: Silicon Republic. Photo: Vitaly Gariev / Pexels.