150+ Mathematicians Warn Governments Against AI Hype in Solving Hard Problems
Updated
Updated · Futurism · Jun 6
150+ Mathematicians Warn Governments Against AI Hype in Solving Hard Problems
1 articles · Updated · Futurism · Jun 6
Summary
More than 150 mathematics experts signed the 11-page Leiden Declaration, urging governments not to rely on AI-company claims that systems like ChatGPT can solve major open math problems.
The signatories said commercial incentives are driving exaggerated promises, and warned current automated methods can generate plausible-looking but unreliable or outright wrong proofs that are hard to detect.
Ulrike Tillmann of the International Mathematical Union said mathematical research must remain guided by human judgment and transparent practices, while the declaration urged policymakers to consult mathematicians rather than press releases.
The rebuke follows recent splashy claims that ChatGPT helped solve an Erdős problem and that OpenAI disproved an 80-year-old unit-distance conjecture, assertions that have divided experts.
The declaration also tied the debate to wider concerns over underfunded academia, unauthorized use of researchers' work to train AI, and the industry's links to surveillance, misinformation and environmental costs.
Who should verify AI's scientific breakthroughs: its corporate creators or independent academics?
With AI generating flawless-looking but potentially fake proofs, is the foundation of scientific research at risk?
Mathematics at a Crossroads: The 2026 Leiden Declaration, AI Breakthroughs, and the Future of Proof
Overview
The mathematical community is raising strong concerns about the rapid rise of Artificial Intelligence, recognizing its usefulness but warning about its risks. Leading mathematicians, like Melanie Matchett Wood, see AI as a powerful tool that can speed up research, yet they worry about proper referencing and the loss of human understanding in mathematics. This growing caution has led to the Leiden Declaration, which calls for responsible integration of AI into mathematical research. The declaration aims to balance the benefits of AI with the need to protect mathematical rigor, human insight, and ethical standards for the future.