AI "Mathpocalypse" Sparks Crisis in Mathematics Community

OpenAI has ignited a crisis within the mathematics world by announcing that an unreleased artificial intelligence tool has solved hundreds of previously unsolved problems. The tech giant, known for ChatGPT, published 722 papers containing full or partial solutions to 372 complex mathematical challenges, including two of the seven Millennium Prize Problems, each associated with a $1 million reward.

The development, already being called the 'mathpocalypse,' has raised concerns among mathematicians about the potential obsolescence of their field. This follows closely behind OpenAI's recent proposed proof of the Navier-Stokes equation, another Millennium Prize Problem.

Experts have expressed astonishment at the rapid advancement of AI, which has evolved from struggling with basic exams to demonstrating PhD-level mathematical capabilities in just two years. However, the approach taken by OpenAI has drawn sharp criticism.

Mathematicians are divided on the implications of the release, with some hailing it as a significant contribution. Dr. Levent Alpöge, a mathematician at AI firm Anthropic, described it as "the most significant moment in mathematical history."

Conversely, many in the field are outraged by what they deem an "unsustainable" method of dissemination. OpenAI bypassed traditional peer-review and journal publication, instead releasing the solutions directly to GitHub, a code repository. These purported proofs are now undergoing intense scrutiny by mathematicians, with initial assessments revealing significant errors, leading OpenAI to retract three papers and amend others.

Dr. Melissa Lee of Monash University commented on The Conversation that this suggests "a lack of sufficient vetting before publication." Some mathematicians have described the papers as poorly written and unintelligible, with one senior colleague likening a paper on a favorite problem to "unreadable slop" that would have been rejected by any journal editor.

In its announcement, OpenAI stated its aim was to "push the frontier of human knowledge and enable further progress in mathematics." However, many mathematicians argue that the company's actions have not meaningfully advanced the field.

Terence Tao, a mathematics professor at UCLA, expressed concern that AI solvers are not engaging with the broader mathematical community or fully understanding the outputs. He noted that "solutions to open problems are now being harvested at large scale in an unsustainable fashion, leaving entire fields of mathematics much less fertile."

The Association for Human Mathematics, an organization of over 800 mathematicians, issued a statement rejecting OpenAI's claims of advancing the subject, characterizing the release of over 700 files as "a demonstration of power" rather than scholarship.

OpenAI indicated that its release methods were developed in consultation with the Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study. However, this group stated they advised against using proprietary models for unproven solutions and sharing results without explanation, asserting, "we do not endorse this practice, and we ask them to stop testing advanced mathematical problems on proprietary models."

Individual mathematicians have shared personal accounts of their career-defining work being eclipsed. Professor Hugo Duminil-Copin, a Fields Medal recipient, wrote on the Proofs and Prompts forum about the unexpected impact of the announcement, noting that "dozens of papers deal with topics I was working on."

Professor Henry Wilton of the University of Cambridge remarked, "If OpenAI wanted to destroy the mathematical community, this would be a great way to go about it."