Kenneth Chang and Siobhan Roberts
Mathematicians have been stunned by the accelerating capabilities of artificial intelligence, which in recent months have unravelled some of the toughest open maths problems that had eluded humans.
On Tuesday, OpenAI deluged mathematicians with hundreds of new findings that span a wide swath of topics including algebra, number theory, theoretical computer science, mathematical logic and topology.
The 377 results follow OpenAIโs announcement last month that it had succeeded in cracking the Navier-Stokes equation โ one of the Clay Mathematics Instituteโs seven Millennium Prize Problems, which were considered so challenging that a $US1 million ($1.4 million) reward was offered for each solution.
The achievement showcased what the most advanced artificial intelligence models are capable of but it also raised questions over whether OpenAIโs artificial intelligence systems were employing creative thinking or simply completing the final steps of a proof after borrowing ideas from human mathematiciansโ work.
Like the Navier-Stokes result, the new mathematical solutions used a more advanced AI model that has not been released publicly.
A couple of weeks ago OpenAI said that it is working with an advisory board of mathematicians that would offer advice on how artificial intelligence companies should communicate AI-produced results to the mathematicians. The group is hosted by the Institute for Advanced Study in Princeton, New Jersey, and is independent of any AI company.
Among other suggestions, the advisory board said that all the prompts to the AI agents, and the agentsโ chains of thought, should be released. On Tuesday night the advisory board released a statement that called the public release โthe beginning, not the completion, of the process of human understanding and the incorporation of the work into mathematical knowledgeโ.
โWe want to create standards and practices so that results released from AI labs can be understood by mathematicians and can advance the field,โ said Melanie Wood, a mathematician at Harvard University who is a member of the advisory board.
Many of the proofs had been checked using Lean, a computer language that verifies that underlying logic.
For 10 of the solutions the company also provided summaries of how the AI model came up with its solution. The average result took about three hours of computing, the company said.
โWe have drawn on their advice and public recommendations to inform how we release these results,โ OpenAI wrote in a posting on its website.
OpenAI, however, seems to be less interested in a key recommendation of the advisory board that the AI companies should stop testing their proprietary models on advanced mathematical problems. โWe want to state clearly from the start: we do not endorse this practice,โ the advisory board wrote on September 29.
The AI companies have given their models maths problems โ like those put to high school students during the International Mathematical Olympiad โ that had been set up as benchmarks of performance.
But when the models were able to figure those out, the OpenAI team created new benchmarks of unsolved maths problems at the cutting edge of mathematical research, and those are among what was released Tuesday.
โI donโt think theyโve done their sort of due diligence at all.โ
Tristan Buckmaster, New York University mathematician
Dan Roberts, the research lead at OpenAI, said it was important to test the internal models to produce better tools, and the proofs were a byproduct of that testing.
Tristan Buckmaster, a mathematician at New York University who was working on the Navier-Stokes problem that OpenAI solved, said it remained unclear whether mathematicians using AI models like the ones from OpenAI were inadvertently providing the information that allowed AI to beat them to the final answer.
โThereโs likely to be a bunch of results where they take someoneโs work and then take it to completion,โ Buckmaster said in an interview on Monday evening.
With so many results released at once, โI donโt think theyโve done their sort of due diligence at all,โ he said.
Mathematicians are struggling with whether the accelerated pace of solving maths problems helps or hurts their field if understanding the solutions lags behind.
โI think at the heart of this issue is that humans have two competing natures: a tendency to compete, and a capacity to appreciate beauty,โ said Kai Shaikh, a graduate student in mathematics at the University of Toronto.
โTo me this seems to be a case of the former attempting to strangle the latter.โ
The New York Times
Get news and reviews on technology, gadgets and gaming in our Technology newsletter every Friday. Sign up here.
