OpenAI Forms Math Advisory Group Amid 100+ Solved-Problems Claim
TL;DR
- OpenAI says an internal model has resolved more than 100 additional open math problems on top of its claimed Navier-Stokes Millennium Prize proof.
- The nine-member Advisory Group on Mathematics and AI is hosted at Princeton's Institute for Advanced Study and includes Timothy Gowers, Edward Witten, and Martin Hairer.
- Members are unpaid and have no authority over OpenAI's research pace; their first task is coordinating release of the still-unpublished results.
OpenAI says an internal model has resolved more than 100 additional open problems across most areas of mathematics, and it has recruited nine mathematicians to help figure out what to do about that.
The Advisory Group on Mathematics and Artificial Intelligence, announced September 21 and hosted at Princeton's Institute for Advanced Study, has nine founding members: François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava, Ulrike Tillmann, Ravi Vakil, Edward Witten, and Melanie Matchett Wood. OpenAI said they will "serve as a bridge to the mathematical community and broader public, giving mathematicians a voice in how we move forward."
The bridge only runs one way. "The group will not be responsible for advising us on how to pace our internal progress on mathematics," the company said. The Institute for Advanced Study clarified the limitation flatly: "Although we will give advice, we do not have decision making power at any AI company, and the responsibility for the decisions made by any company will rest with that company." The group's own launch post adds that its members "do not accept payment for this work."
The group's first task is helping OpenAI coordinate release of the 100+ results. OpenAI has not published the list.
The move follows OpenAI's abrupt release of a claimed proof of the Navier-Stokes Millennium Prize problem, and an open letter in which 25 Fields medalists criticized the rollout. Only one AGMAI member, IAS mathematician Camillo De Lellis, also signed that letter.
Originally reported by techcrunch.com
Read the original article →Original headline: OpenAI Says Internal Model Resolved 100+ Open Math Problems as Nine-Mathematician AGMAI Formally Launches