OpenAI publishes 377 new AI-generated mathematical results

OpenAI has published 377 new mathematical results generated with the help of artificial intelligence, covering areas including algebra, number theory, theoretical computer science, mathematical logic and topology.

According to The New York Times, the results come after OpenAI announced in September that it had solved a long-standing mathematical problem involving the Navier-Stokes equations, which describe the motion of fluids and are among the famous “Millennium Prize Problems.”

As with its work on the Navier-Stokes equations, the new mathematical results were produced using a more advanced AI model that has not yet been publicly released, CE Report quotes Anadolu Agency.

In a written statement, OpenAI said each result took an average of about three hours to generate. The mathematical proofs were checked using Lean, a computer language designed to formally verify the correctness of logical arguments.

The company said the new results will be added to its repository as additional work is completed. OpenAI is also consulting with an advisory group on how best to share AI-generated mathematical research with the wider scientific community.

The company said it plans to support workshops, conferences and special programs aimed at helping researchers better understand mathematical results produced by AI. It also plans to continue testing advanced AI models in scientific fields.

As part of the release, OpenAI published summaries explaining how its AI model reached the solutions for 10 of the problems. The company said the goal is not only to produce new mathematical results, but also to make the reasoning behind them more accessible to mathematicians and researchers.

OpenAI’s Navier-Stokes breakthrough

The latest research follows OpenAI’s announcement in September 2026 that a next-generation AI model had solved a highly advanced mathematical problem that had remained unresolved for about 90 years.

The problem concerns the Navier-Stokes equations, a fundamental set of equations used to describe the movement of fluids. Understanding these equations is one of the Millennium Prize Problems, a group of seven major mathematical challenges identified by the Clay Mathematics Institute.

OpenAI said the problem was solved in 88 hours using a group of roughly 10,000 AI agents capable of carrying out tasks partly autonomously. The company said the effort involved approximately 3 million messages and 130 billion pieces of data related to the equations.

The latest batch of 377 results suggests that OpenAI is seeking to expand the role of AI from solving individual mathematical challenges to generating and formally verifying new mathematical knowledge across a broad range of disciplines.

Photo: Instagram/openai