OpenAI’s feud with mathematicians is only escalating

Twenty-five Fields Medalists signed an open letter accusing OpenAI of pressuring credit decisions, using Codex to produce unverified proofs, and encouraging secrecy over collaboration. The letter cites Tristan Buckmaster’s claim that OpenAI pressured him to omit a collaborator and notes the withdrawal of OpenAI’s CalTech sponsorship after criticism. It demands that AI-generated solutions be verifiable, properly cited, and integrated into the mathematical canon.