OpenAI's Dispute with Mathematicians Intensifies Over AI-Generated Math Proofs
Twenty-five Fields Medal-winning mathematicians have signed an open letter criticizing AI labs like OpenAI for undermining intellectual work by competing to solve major math problems. The dispute escalated when NYU professor Tristan Buckmaster accused OpenAI of pressuring him not to credit a collaborator from Anthropic who contributed to solving a key problem, raising concerns about attribution and potential plagiarism. OpenAI recently withdrew its sponsorship from a CalTech mathematics event following backlash from researchers there. Mathematicians are worried that AI-generated proofs—often rushed and unverified—are threatening the culture of open research in their field. They argue that without proper documentation and integration into academic traditions, these solutions may not contribute meaningfully to mathematical progress. The letter highlights broader concerns about how AI is reshaping creative work across disciplines. It warns that if left unchecked, this trend could lead researchers toward secrecy rather than collaboration, with significant implications for the future of scientific discovery.
Topics: Artificial Intelligence Corporate Influence in Academia Mathematics Research Open Source Ethics