Siobhan Roberts, As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution, NYTimes, June 2, 2026.
Mathematicians issue a declaration:
On Tuesday, a group of 16 mathematicians, in consultation with colleagues and math organizations worldwide, published the Leiden Declaration on Artificial Intelligence and Mathematics. It aims to “frame the conversation about future directions,” said Dame Ursula Martin, one of the authors, and a mathematician and computer scientist at Oxford.
This effort comes as A.I. models have been making headlines with successful results in research-level mathematics. In late May, OpenAI, the maker of ChatGPT, announced that one of its models had disproved a notable 80-year-old mathematics conjecture in the field of combinatorial geometry.
The conjecture is one of some 1,200 problems posed by the Hungarian mathematician Paul Erdos. While some of these “Erdos problems” are considered throwaway questions of narrow interest, others have proved influential and field shaping. Along with a research paper describing the proof, OpenAI released a companion paper by several independent mathematicians. Jacob Tsimerman of the University of Toronto, an expert in the adjacent subfield of number theory, commented: “This is a really impressive piece of work, and I would accept it for any journal without hesitation.”
Potential problems:
Among the potential threats that the Leiden Declaration authors articulate are accuracy and reliability: Journal editors are already complaining about a flood of plausible seeming A.I.- generated papers and proofs that have turned out to be incorrect, and in ways that are difficult for mathematicians to discern.
Perhaps most pointedly, the authors raise the question of whether the many A.I. companies tackling mathematics — major players such as OpenAI, Google DeepMind and Anthropic, or start-ups such as Harmonic, Math, Inc. and Axiom Math — are keeping the field’s best interests in mind. “Technology companies’ involvement in research,” they write, “raises the risk that research questions are prioritized and incentivized because of their amenability to A.I. methods and models, rather than their deeper significance to understanding.” In turn, they point out, this disadvantages researchers who choose not to use the technology, and those who do not have access to it.
For Rodrigo Ochigame, a historian and anthropologist of computing and artificial intelligence at Leiden University in the Netherlands, and one of the statement’s authors, the latest OpenAI proof illustrates why this sort of collective reckoning in the discipline is necessary. “The story follows the same pattern as many other announcements by commercial A.I. developers,” Dr. Ochigame said. “The A.I. model is proprietary and unavailable to anyone outside the company. We get a flashy promotional video, while basic information needed to assess the scientific meaning of the result is kept secret. The company disclosed nothing about the methods, human-written prompts, training data, or computational resources consumed.”
Much of the article consists of a videoconference and email dialog with Dr. Ochigame, Dr. Martin and mathematician Michael Harris of Columbia University:
MARTIN: What OpenAI has done is throw a great deal of resources at Erdos problems, and got lucky with this one. That’s remarkable, and impressed the experts. We are not told about the model’s failures. [...]
To think of mathematics in terms of precise and neatly stated problems, like high school exams or the list of Erdos problems, is to misunderstand and diminish what makes mathematics so powerful and significant. Mathematics is not just about solving problems — it is also the cultivation of ideas, understanding, judgment, and human insight.
HARRIS The purpose, from my perspective, is to recover control of the narrative about the values and the goals of mathematics from the A.I. industry. Mathematicians are concerned that the values of the profession are being misrepresented, not intentionally but due to the media campaign on the part of the industry, which seems to want to promote the belief that they are in a position to transform mathematics — “the A.I. revolution in math,” as one headline put it not long ago. [...]
We want to affirm certain values that have characterized the profession: openness, honesty, giving credit where credit is due, sharing, transparency about methodologies, and access for independent verification of results.
An aspect of mathematics that is cherished by mathematicians is that it is one of few successful examples of a gift economy — that is to say, its economy is somehow an island of idealism in our society.
OCHIGAME Several A.I. companies are investing in dedicated teams focusing on mathematics, using problems as benchmarks and publications as training data. They are training their models to prove theorems not because they want to advance mathematical knowledge, but because they hope that such training will improve the models’ reasoning abilities more generally. [...]
MARTIN It’s important not to lose sight of the fact that what the A.I. companies are doing, what you can achieve with this technology, is absolutely extraordinary. I don’t think we’re challenging that. We’re challenging the framing, we’re challenging the behaviors around it.
I share the concern that these mathematicians express, that the commercial exploitation of mathematics is inimical to long-term research interests.
There's more at the link.
No comments:
Post a Comment