OpenAI's model solves 100+ maths problems, company forms advisory group

OpenAI said a model that began training on Aug 28 has solved more than 100 long-standing maths problems, prompting the firm to create an independent advisory group to review and communicate its result

OpenAI has formed an independent advisory group on mathematics and artificial intelligence after saying an internal AI model has resolved more than 100 long-standing open problems in mathematics in less than a month of training.

 

The company said on Monday that it began training the model on August 28. In addition to the more than 100 problems, the model was used to produce a solution to the Navier-Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. OpenAI said the pace of progress had surprised its own mathematicians.

 

The advisory group will be hosted by the Institute for Advanced Study in Princeton, New Jersey, and is intended to provide a channel between OpenAI and the wider mathematics community as AI systems become more capable in mathematical research. ALSO READ: What is Jev? Inside the new AI model built to make software decisions

Independent review of AI-generated mathematics

According to OpenAI, the group will review emerging mathematical results, help assess their significance and advise on their dissemination. It will also provide guidance on academic and professional standards for mathematical research and on the use of AI tools in mathematical research and learning.

 

The group will operate independently of OpenAI. Its members will not be paid by the company and will have the freedom to offer unsolicited advice and publicly comment on OpenAI’s impact on mathematics. However, the group will not advise OpenAI on how quickly to advance its internal mathematical research.

 

The initial members include mathematicians François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten and Melanie Matchett Wood.

OpenAI’s maths claims under scrutiny

The announcement follows an earlier OpenAI claim that its internal system had solved the Navier-Stokes problem, which concerns whether smooth three-dimensional fluid flows can develop singularities and had remained unresolved for roughly 90 years. OpenAI published a write-up and a formalised version of its proof in Lean earlier this month.

 

The claims have also drawn scrutiny over how AI-generated mathematical discoveries should be evaluated and attributed. Moneycontrol reported that more than 10,000 AI agents were involved in the Navier-Stokes work, generating a solution in 88 hours after nearly three million messages and about 130 billion output tokens.