Mathematicians call for OpenAI boycott after AI-generated proofs flood their field

A group of mathematicians led by Terence Tao has called for a boycott of OpenAI after the company released more than 700 AI-generated proof files at once.

Tao and other Fields Medalists argue that mass-produced solutions undermine the discipline's focus on conceptual understanding, while Scott Aaronson contrasts this batch release with Anthropic's collaborative approach.

The article reports that the internal model tested about 8,000 problems with roughly a five percent success rate.