当 AI 开始生成人类无法解释的证明，数学的根基是否正在动摇？陶哲轩的警告直指这一核心问题。
发生了什么
著名数学家陶哲轩在一篇新文章中提出，AI 可能将数学推向与 1900 年前后基础危机相当的境地。他给出的判断标准是：一个无人能解释的证明应被视为不完整。这并非针对 AI 的数学能力，而是对其在数学实践中角色的反思。
为什么重要
1900 年前后的基础危机源于集合论悖论，迫使数学家重新审视数学的逻辑基础。而今天，AI 带来的挑战并非关于真理本身，而是关于数学共同体的运作方式：什么算作贡献，什么值得奖励，以及谁在真正做研究。陶哲轩的规则——无法解释的证明不算完整——实际上是在捍卫数学的可理解性和可验证性。这触及数学作为人类知识活动的本质：如果证明只存在于黑箱中，数学的公共性和教育性将如何维系？
影响与看点
对数学家和相关开发者而言，这意味着 AI 工具的设计需要更注重可解释性，而非单纯追求结果正确。对依赖数学严谨性的领域（如密码学、物理模拟）来说，这一讨论可能影响未来对 AI 生成结果的信任标准。值得关注的是，陶哲轩的立场是否会推动数学界建立新的规范，例如要求 AI 辅助证明必须附带人类可读的推理摘要。独立判断：AI 不会取代数学家，但会迫使数学重新定义自身——从追求绝对证明转向追求可沟通的证明。
