Mathematicians clash with OpenAI over ai's role in mathematical discovery

Twenty-five Fields Medalists have signed an open letter criticizing OpenAI for allegedly undermining their intellectual contributions through AI-driven mathematical research. The letter highlights concerns that AI models, such as Codex, are being used to generate proofs without proper attribution or verification, threatening the integrity of mathematical collaboration. NYU professor Tristan Buckmaster accused OpenAI of pressuring him to withhold credit from a collaborator at Anthropic for solving a significant math problem. OpenAI recently withdrew its sponsorship of a math event at CalTech after facing criticism from researchers there. The letter warns that AI-generated proofs, often rushed and unverified, risk severing the human transmission chain of mathematical knowledge. It calls for greater transparency and collaboration to ensure AI tools enhance rather than replace the intellectual superstructure of mathematics. The letter follows the Leiden Declaration, a June statement from mathematicians outlining recommendations for navigating AI’s impact on their field. The authors argue that the challenges faced by mathematicians mirror those in other creative professions, emphasizing the need to preserve the human-centric goals of scientific work.