Mathematician Terence Tao Critiques OpenAI Over Mass Math Proofs

8 Oct 2026, 1:38 pm · 3h ago · 1 min read · OfficeChai

Renowned mathematician Terence Tao has raised concerns regarding OpenAI's research practices after the artificial intelligence lab simultaneously released over 300 automated math proofs. Tao argued that dumping large volumes of AI-generated proofs without collaborative vetting can disrupt academic mathematical discovery, potentially making the discipline less fertile. His critique highlights growing debate within academic and scientific communities about how large-scale automated reasoning tools should be deployed responsibly without overwhelming peer-review mechanisms or diminishing human problem-solving insights in advanced mathematics.