Why are mathematicians concerned about OpenAI’s AI solving problems that stumped researchers for years?

OpenAI has released 722 AI-generated maths papers covering 372 groups of results, sparking debate over AI's role in research. Mathematicians are questioning the reliability of AI-generated proofs and whether research is advancing faster than humans can verify it.

OpenAI has released more than 700 AI-generated mathematical research papers, raising hopes that artificial intelligence could accelerate scientific discovery while prompting concerns about the reliability of its findings and the future of mathematical research.

On 6 October, the company published 722 preprints covering 372 groups of mathematical results across fields including algebra, geometry, number theory and mathematical logic.

However, the release quickly drew scrutiny after researchers identified errors in some of the papers.

The announcement follows another claimed breakthrough in September, when OpenAI said an unreleased model had produced a proposed solution to the Navier-Stokes problem, an unresolved mathematical challenge dating back nearly 90 years.

The problem concerns whether equations describing fluid motion always produce well-behaved solutions. It is one of seven Millennium Prize Problems, each carrying a $1 million prize.

OpenAI said its model took about 88 hours to develop the solution, followed by 17 hours of formalisation and verification.

How did OpenAI's AI model solve hundreds of maths problems?

OpenAI used an internal AI model to tackle thousands of mathematical questions, producing papers that present results across several branches of mathematics.

The company also released formal versions of many proofs using Lean, a programming language and proof assistant that allows mathematical arguments to be checked for logical correctness.

However, formal verification does not remove the need for independent mathematicians to assess the findings, their assumptions and their significance.

Livemint