PRINCETON, NEW JERSEY / RankWire.AI / – OpenAI has initiated collaboration with a separate group of mathematicians to review and share AI-generated mathematical results. The Advisory Group on Mathematics and Artificial Intelligence is based at the Institute for Advanced Study in Princeton. Its role is to advise on new findings, academic standards, and how OpenAI tools are used in research and education. The group functions independently of OpenAI. Its members do not receive any payment from the company.
This group can offer advice that OpenAI has not asked for and can publish its recommendations. It may also publicly comment on the company’s influence on mathematics. The members decide who can join the group and may provide advice to other AI firms whose models have a major effect on mathematics. However, the group has no decision-making power at OpenAI or other AI companies. OpenAI also stated that the group will not guide the pace of its internal mathematics research.
The initial team includes nine mathematicians. They are François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, and Nikhil Srivastava. Ulrike Tillmann, Ravi Vakil, Edward Witten, and Melanie Matchett Wood complete the roster. Their affiliations include the Institute for Advanced Study, Harvard, Stanford, Oxford, Berkeley, Cambridge, EPFL, and ENS-PSL. De Lellis and Witten are principal investigators for the Institute for Advanced Study project that hosts this initiative.
OpenAI reports swift advances in mathematical research
OpenAI announced this advisory setup along with new claims about an internal artificial intelligence model. The company said it started training the model on August 28. Since then, the system has solved over 100 long-standing open problems in many fields of mathematics. The company describes these results as work produced by its internal model. The advisory group states its immediate focus is on how OpenAI should coordinate the release of these significant findings.
This announcement follows OpenAI’s September 8 publication about the Navier-Stokes existence and smoothness problem. It is one of the Millennium Prize Problems. OpenAI shared an analytical proof and formalization using the Lean proof system. The company said its internal model generated the proof. It showed that a smooth fluid can develop a singularity in finite time. OpenAI added it does not plan to claim the Millennium Prize for this achievement.
The independent group emphasizes review protocols and responsible sharing
The group was formed after OpenAI approached some of its members about establishing an external advisory board. Instead, the mathematicians created an independent body and invited others to join. Their goal is to foster responsible interactions among AI companies, mathematical research, and the broader mathematics community. They aim to address how mathematical results are presented and released responsibly. This effort aligns with ongoing discussions among mathematicians on evaluating, attributing, and communicating AI-generated research.
The current focus is on the mathematical outcomes claimed to be produced by OpenAI’s internal model. The group seeks input from mathematicians to help shape recommendations on how to publish these findings. It plans to publish its advice on its website for AI companies. Mathematicians’ responses will only be made public with their consent. Final decisions rest with the companies receiving the advice. The independent group acts as a bridge between mathematicians and the AI industry.