Mathematicians warn of AI threats to profession as industry encroaches - Ars Technica

Skip to content

AI

Biz & IT

Cars

Culture

Gaming

Health

Policy

Science

Security

Space

Tech

Forum

Subscribe

Story text

Size

Small<br>Standard<br>Large

Width

Standard<br>Wide

Links

Standard<br>Orange

* Subscribers only

Learn more

Pin to story

Theme

Search

Sign In

Sign in dialog...

Text<br>settings

Story text

Size

Small<br>Standard<br>Large

Width

Standard<br>Wide

Links

Standard<br>Orange

* Subscribers only

Learn more

Minimize to nav

Mathematicians warned against rising tech industry influence in a declaration describing the many challenges that AI poses to mathematics research. The timing of the declaration comes two weeks after OpenAI publicized one of its AI models as having disproved an 80-year-old mathematical conjecture in geometry.

The declaration was developed by a working group of 16 researchers over eight months following a conference held at Leiden University in the Netherlands in September 2025. Published on June 2, 2026, the resulting Leiden Declaration on Artificial Intelligence and Mathematics has been endorsed by the International Mathematical Union—the international non-governmental organization that hosts conferences and oversees the most prestigious prizes in mathematics such as the Fields Medal.

“Mathematicians should find it quite striking that tech companies are suddenly interested in their work,” said Kevin Buzzard, a mathematician at Imperial College London, in a statement. “The Leiden Declaration is a well-thought-through response to what is currently happening, as AI continues to disrupt this space.”

The Leiden Declaration, which has already drawn hundreds of signatories, warns that recent AI developments are threatening “characteristic values” of mathematical research, “often in ways that disproportionately affect students and early-career mathematicians, and hence the long term future of the discipline.”

First, it points out how AI models can “produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs.” Such developments put reviewers under increasing pressure and are “jeopardizing our ability to implement traditional standards for the correctness, transparency, and independent verifiability of proof,” the declaration warns.

“Inaccurate AI-generated drafts are cheap to produce, and there is a risk of cluttering the literature with claimed results that are simply wrong,” said Leslie Ann Goldberg, head of computer science at the University of Oxford, in a statement. “Once that happens, the errors are likely to propagate as new results are built on faulty foundations.”

Second, the declaration highlights how “models trained on published works frequently return outputs that do not properly cite the human works they synthesize,” while also pointing out that many current AI models were trained on data obtained through “exploiting licenses and access arrangements” or “simply violating copyright protections.”

Third, the declaration describes how the use of AI “may become incentivized for its own sake, disrupting our mechanisms for hiring, funding and recognition” while leaving out researchers who lack access or are “unwilling to use technologies controlled by organizations whose values they do not share.”

Fourth, the declaration warns against mathematics research “communicated through informal channels such as press releases or blog posts, often without any research paper or other disclosure of information necessary for scientific evaluation.” Such communication strategies can lead to “oversimplification” in media reporting that overemphasizes AI tools’ significance at the expense of prior human contributions, and “misleadingly uses specific mathematical tasks as metrics for the general reasoning capacities of commercial products.”

Fifth, the declaration describes “increasing involvement of technology companies in mathematical research” as threatening the “autonomy of mathematics,” especially as university budgets are under pressure and researchers may feel greater professional incentive to collaborate with technology companies on “asymmetric terms.” This also raises the risk that mathematics research questions amenable to AI-driven techniques may be prioritized.

The OpenAI example

Many of the Leiden Declaration’s warnings seem especially relevant to how OpenAI announced its model’s mathematical achievement on the same day that news publications reported the company was preparing to offer stock shares to the general public. The declaration pointedly described corporate press releases highlighting AI mathematical achievements as operating on “market timelines before the accepted processes of community evaluation in mathematics can take place.”

“The tech industry proceeds in accordance with commercial logic, which is antithetical to the values of mathematics,” said Michael Harris, a mathematician at Columbia...