‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop
"Staggering." "Overwhelming." "Unprecedented." "Surreal." "Pure insanity." Those were among the descriptions more than three dozen mathematicians reached for in conversations with The Verge as they tried to make sense of the flood of mathematical results OpenAI abruptly dropped on the field this week. Amid the awe, excitement, and uncertainty over the sheer scale of the […]
OpenAI recently released a staggering collection of 722 mathematical papers, stemming from an undisclosed AI model. The papers tackle 372 open problems spanning various mathematical domains, including algebra, geometry, and theoretical computer science. Some papers claim groundbreaking advancements on renowned problems like the Riemann hypothesis and the Birch–Swinnerton-Dyer conjecture, both of which carry a US$1 million prize for successful solutions.
OpenAI's motive behind releasing such an extensive collection is to "enable further progress in mathematics." However, the publication method raises concerns. A senior colleague found one of his favorite problems among the solved ones, but the accompanying paper was so incomprehensible that it would have been discarded by any mathematics journal editor.
Even OpenAI's own AI model, ChatGPT, was skeptical about the validity of some high-profile results, describing them as "serious hallucinations" that should not be cited or circulated without expert audit.
The release may also serve to shift the conversation away from OpenAI's previous mathematical publication, a claimed solution to the Navier-Stokes problem, where allegations surfaced that OpenAI used data and ideas from another researcher. OpenAI has denied these claims. Another possible motivation could be the pursuit of artificial general intelligence (AGI), as pure mathematics relies on complex arguments that seem to challenge the capabilities of AI models.
Mathematics is built on objective truth, and new work is traditionally reviewed by experts before publication. However, OpenAI's papers have already faced retraction due to elementary errors, indicating insufficient vetting. Additionally, OpenAI claims to have formalized 300 of the main results, but the reliability of these formalizations remains uncertain. As reactions to the OpenAI release are mixed, the mathematical community awaits expert examination to determine the validity of the claimed solutions.
Written by urgent.news from The Conversation AU's reporting — not their text. Machine-written — may contain errors; check the original before relying on it.
This story
This is one outlet's version. Read the fullest account.
