Leaders worry OpenAI is not doing due diligence to vet results and that AI models aren’t accessible to broader field of mathematicians
OpenAI has astounded mathematicians after releasing hundreds of new mathematical findings on Tuesday.
The company published over 370 mathematical results across a variety of topics such as algebra, theoretical computer science and mathematical logic, showcasing what some of its most advanced artificial intelligence models are capable of.
Last month, the company solved the Navier-Stokes equation, one of the world’s toughest mathematical problems with a $1m reward for anyone who cracked it.
The achievement prompted concerns from leaders in the field who say that frontier labs should not be testing the most advanced mathematical problems on proprietary AI models that are not accessible to the broader field of mathematicians. The Institute for Advanced Study in Princeton, New Jersey, an independent group of mathematical experts, said that it does not endorse the practice.
“It is now the case that AI can output mathematical arguments in situations without the human who prompted it being able to understand the arguments, verify them, or take responsibility for them,” a statement from the organization read. “We believe that human understanding of mathematics remains of paramount importance. How, in this new era, can we work towards a new paradigm that includes human understanding of mathematics as part of responsible scholarly output?”
To address concerns from the mathematics community, OpenAI announced it would work with the Institute for Advanced Study in order to give “mathematicians a voice in how we move forward” .
Source link







