Fields medalist Terence Tao warns that AI threatens to destabilize mathematics as fundamentally as early 20th-century foundational crises. The threat isn't to mathematical truth itself, but to the field's core values.
In a new essay, Tao identifies a looming crisis centered on what mathematics values and rewards. As AI systems generate increasingly complex proofs, the field faces questions about what constitutes legitimate contribution and authorship.
Tao's core concern: proofs that no human can verify or explain should be considered incomplete, regardless of computational validity. This standard challenges the current trajectory where AI-assisted mathematics might produce correct results without human comprehension.
The mathematician compares the potential upheaval to crises around 1900, when discoveries by Gödel and others forced mathematics to reconsider its foundational assumptions. Today's crisis would be different—not about truth itself, but about the human element intrinsic to mathematical understanding and recognition.
The warning signals broader questions about AI's role in knowledge fields. As computational capabilities advance, mathematics must actively decide which values survive the transition and how to preserve human understanding at its center.
Philosopher Nick Bostrom, known for warning of AI existential risks, shifts focus to examine what human life might look like if artificial intelligence successfully solves major global challenges.
Brands are deploying AI-powered sizing tools to reduce the guesswork in online clothing purchases. The technology aims to cut returns while improving customer satisfaction.
AI training has accelerated the physical destruction of books as companies source training data. Archivists warn rare collections face extinction without immediate digitization efforts.
Brazil announced approximately $444.2 million in artificial intelligence investments Thursday, with roughly $250.3 million allocated to a supercomputing project involving Chinese firms Huawei and iFlytek.