证明大爆炸，数学界变天，AI把陶哲轩逼出「数学 2.0」

AI正将数学界从证明稀缺推向证明过剩，引发数学家们的担忧。陶哲轩提出《数学2.0》愿景，强调人类与AI合作的重要性，以增强人类理解而非单纯依赖机器答案。他警告，如果失去对AI生成结果的理解，科学将面临巨大风险。

🔗 [论文地址]：https://terrytao.wordpress.com/2026/10/10/math-2-0/
🔗 [参考链接]：https://www.developing.dev/p/e070-scott-aaronson