菲尔兹奖得主：AI可能杀死数学 数学的未来危机

菲尔兹奖得主：AI可能杀死数学 数学的未来危机。今年的菲尔兹奖颁发后，发生了一件令人震惊的事。与王虹、邓煜一起获奖的多伦多大学教授Jacob Tsimerman宣布加入OpenAI，转行从事AI安全研究。他的理由是：两年内，AI将在所有数学证明领域彻底超越人类。

次日，在费城ICM 2026现场，菲尔兹奖得主陶哲轩表达了类似的担忧，称我们正在进入一个动荡时期，数学的价值观和实践基础面临危机。另一位菲尔兹奖得主Timothy Gowers也认为，LLM很快会在数学问题求解的所有方面超越人类，甚至包括提出问题、构建理论等环节。他警告说，AI可能会以一种更优雅但更残酷的方式“杀死”数学。

对于AI的这股力量感到恐惧的数学家不止一位。2026年6月2日，《莱顿宣言》正式发布，签名人数已达3164人。这份宣言由国际数学联盟背书，副主席Ulrike Tillmann表示，数学应永远是一项深刻的人类事业。陶哲轩支持每一条建议，而Peter Scholze则表示在思考数学问题时尽量不使用AI。

然而，Timothy Gowers没有签署宣言，因为他认为AI带来的挑战更为深远。他担心的是，当AI的证明不仅完全正确而且呈指数级增长时，数学是否会变成一座无人光顾的墓地。他认为，数学不会因停滞而死，而是会因过剩而亡。

Gowers做了一个思想实验：假设一场疫情只夺走了所有数学家的生命，文献完好无损，但没有人知道如何解读它们。重建数学传统可能需要数十年。如果AI存在，可以解释任何数学问题，那么人们将不再有动力去投入漫长的岁月成为研究型数学家。十年或二十年后，数学文献可能空前繁荣，但人类专家却悄然消失，数学知识将躺在论文里无人翻阅。