Mathematicians call for a boycott of OpenAI, protesting the flood of AI-generated proofs into mathematics.

A group of mathematicians (AHM) issued a statement calling for a boycott of OpenAI, because the company released more than 700 AI-generated mathematical proof files at once, seen as a show of force rather than an academic contribution. Fields Medalist Terence Tao reposted the statement on his blog and proposed that mathematics should enter a Math 2.0 era in which problem-solving is no longer the core metric; complexity theorist Scott Aaronson called the situation a "Mathocalypse." The statement said OpenAI's release violated the core premise of its advisory group AGMAI, namely that advanced mathematical problems should not be tested on internal models, and mentioned the multiple copyright lawsuits OpenAI faces. Aaronson compared the two approaches: OpenAI dumped raw proof drafts at once, leaving the community to do the cleanup work for free; Anthropic, by contrast, worked with two algorithm researchers, with AI providing key ideas that overturned two conjectures that had been open for twenty years, and the researchers were paid and wrote human-readable proofs.