Mathematicians call for a boycott of OpenAI as AI-generated proofs flood the field
Some researchers in mathematics are calling for a boycott of OpenAI after the company released more than 700 AI-generated mathematical proof files at once. Fields Medalist Terence Tao reposted an AHM statement on his blog, saying the move was a display of power rather than an academic showcase. He argued that once problems are solved at scale by AI, the process cannot be reversed and may contaminate other lines of research.
Why it matters: The backlash in mathematics to OpenAI's release of more than 700 AI proof drafts at once highlights tensions between AI and the academic community over attribution, verification, and pace.
