Emergency meeting at the Royal Society
A group of leading British mathematicians, including three Fields medalists, gathered for an emergency meeting at the Royal Society in London. The gathering was prompted by growing concern that private artificial‑intelligence companies such as OpenAI and Anthropic are turning fundamental mathematical discoveries into proprietary products, effectively locking them behind paywalls and limiting who can study or build on them.
OpenAI’s recent release of AI‑generated solutions
Just a month before the meeting, OpenAI announced that its most advanced models had produced solutions to 377 of the discipline’s most difficult problems. The company made these solutions available only as “raw research data,” meaning that the general public cannot freely access or use them without paying for the underlying AI service. The move has sparked alarm among mathematicians who fear that crucial advances could become the exclusive property of a handful of tech firms.
Why the Royal Society convened
The emergency session was organised by Martin Bridson, president of the Clay Mathematics Institute, which oversees the famous Millennium Prize Problems. Bridson warned that allowing private entities to control access to scientific knowledge risks turning breakthroughs into commercial commodities. “I am deeply concerned that scientific knowledge could be locked behind paywalls, forcing the whole community to pay a chatbot to understand research,” he said. He contrasted this with publicly funded facilities such as CERN’s Large Hadron Collider, where access is governed by scientific committees rather than corporate boards.
Bridson also questioned the legitimacy of private control over fundamental knowledge. “Why should they decide who can use these tools and on what basis?” he asked, drawing parallels to the open‑access principles that have traditionally guided pure mathematics.
Geographic inequality and limited access
OpenAI and Anthropic have each pledged $5 million to the Simons Foundation to provide limited access to their models for a small group of researchers. However, mathematicians such as Ana Caraiani of Imperial College London and the Human Mathematics Association point out that this arrangement creates a stark geographic divide. Institutions in countries like Romania, she noted, are effectively shut out, reinforcing an uneven playing field in global research.
Open‑source alternatives fall short
Fields medalist Martin Hairer dismissed the idea that open‑source AI models could serve as a viable alternative. “Open‑source solutions simply do not compete with the most powerful proprietary systems,” he said. The disparity means that even if publicly available tools exist, they cannot match the depth and breadth of the commercial systems that are now producing cutting‑edge mathematics.
Corporate control over authorship
Terence Tao, one of the world’s most influential mathematicians, revealed a further layer of concern: Anthropic reportedly hires and pays specific mathematicians to formalise solutions discovered by its AI. This practice, he said, gives the company effective control over who is credited with the work and how it is presented in academic literature, potentially skewing the scientific record.
Recent AI breakthroughs under scrutiny
The debate intensified after OpenAI announced that one of its unreleased models had allegedly refuted the exponential‑time hypothesis—a cornerstone conjecture from the late 1990s that underpins theoretical computer science. The same system, according to OpenAI, also demonstrated a long‑standing wave conjecture from 1991 and provided a mathematical proof of the existence of Yang‑Mills theory. If verified, any one of these achievements would alone warrant a full academic career and could bring its discoverer close to solving a Millennium Prize Problem.
OpenAI presented these findings as raw research data, subjecting them to independent verification
Source: fayerwayer.com
