A group of 25 prominent mathematicians, all recipients of the Fields Medal, have publicly expressed concerns about the impact of AI labs on mathematical research. They argue that the competitive drive among AI developers to solve famous math problems risks undermining the intellectual contributions of human mathematicians. Recently, NYU professor Tristan Buckmaster accused OpenAI of pressuring him to omit credit for a collaborator affiliated with Anthropic in a significant mathematical proof. Buckmaster also questioned whether OpenAI used work with its Codex model to rapidly produce its own proof during an intensive weekend of computation.
Following criticism from researchers at CalTech, OpenAI withdrew its sponsorship of a mathematics event at the institution. The mathematicians emphasize that while AI's ability to tackle complex mathematical challenges could benefit humanity, such advances must be accompanied by clear communication, proper attribution, and integration within the mathematical community. They note that AI-generated solutions are often released hastily, without thorough documentation or acknowledgment of prior work, raising concerns about plagiarism and the erosion of academic standards.
There is growing apprehension among mathematicians that their use of tools like Codex might be indirectly feeding into OpenAI's newer models, fostering a climate of mistrust. The substantial financial resources available to AI labs could enable them to outpace traditional researchers, potentially encouraging secrecy over open collaboration. This dynamic threatens the culture of transparency that has long characterized mathematical research.
These concerns echo themes from the Leiden Declaration, a document published earlier this year by a group of mathematicians outlining the challenges and recommendations related to AI-generated proofs. The mathematicians stress that the value of their work extends beyond individual proofs to the broader intellectual framework that supports education, innovation, and cultural integration.
The debate highlights broader questions about how AI is reshaping scientific and creative fields. As AI tools transform workflows, the mathematical community's experience serves as a cautionary example of the need to preserve the foundational purposes of research and collaboration.