A profile of UCLA professor Terence Tao, who was once enthusiastic about AI's role in math but now warns of AI destroying the field's deliberative process

AI now generates mathematical proofs that mathematicians may not understand, disrupting the academic review process.

UCLA professor Terence Tao, a Fields Medalist, has expressed concern over the rapid integration of artificial intelligence into mathematics research. Initially enthusiastic about AI's potential, Tao now warns that its current application threatens the core of mathematical discovery. AI tools have rapidly progressed, demonstrated by their success in the International Mathematical Olympiad and recent breakthroughs in solving long-standing problems like Erdős Problem #728 and the Navier-Stokes existence-and-smoothness problem, a Millennium Prize Problem. OpenAI's recent announcements have particularly alarmed the mathematical community. Tao highlighted that AI's problem-solving methods are often orthogonal to human approaches, generating lengthy, unintelligible proofs and overwhelming academic journals. This influx of AI-generated content, often requiring extensive human verification and lacking novel insights, is disrupting the field's traditional collaborative and peer-review process.

The proliferation of AI-generated mathematical proofs, often lacking clear explanations or novel insights, is overwhelming academic journals and collapsing the volunteer-based peer-review system. This shift demands significant human effort for verification, diverting mathematicians from creative research toward a task akin to quality control for machine output.

The current trajectory suggests that AI is not merely assisting but fundamentally altering the process of mathematical discovery. This raises questions about the future of human intuition and the "slow, deliberative process" from which new mathematical problems and profound insights traditionally emerge, potentially leading to a crisis in the field's long-term intellectual development.