OpenAI's Feud With Mathematicians Escalates

A dispute between OpenAI and the mathematics community has escalated after twenty-five leading mathematicians signed an open letter arguing that AI laboratories are threatening their intellectual work. The conflict centers on OpenAI's claim that its agents solved an important open mathematics problem—a claim that researchers have publicly contested. The disagreement touches on some of the most fundamental questions raised by AI systems that produce mathematical results. Who receives credit when an AI system arrives at a proof? How should such results be verified? And do AI-generated proofs meet the rigorous standards that mathematicians have developed over centuries? These are not abstract concerns; they determine whether AI contributions can be trusted, cited, and built upon. The open letter reflects a broader anxiety within academia about the growing power of frontier AI labs. Mathematicians worry that labs may claim credit for discoveries without subjecting them to peer review, that they may absorb the intellectual labor of the field without reciprocating, and that the incentive structures of industry research could distort how mathematical knowledge is produced and validated. OpenAI has defended its work, but the pushback illustrates a recurring pattern: as AI systems encroach on domains long considered the province of human expertise, tensions over credit, methodology, and authority intensify. Mathematics is an especially sensitive case because its standards of proof are unusually strict, leaving little room for the ambiguity that often surrounds AI benchmarks. The episode is unlikely to be resolved quickly. It signals that frontier labs will face increasing scrutiny from academic communities as their systems tackle problems those communities consider their own—and that questions of verification and credit will become central to how AI research is evaluated.