陶哲轩 ICM 2026 演讲：假设 AI 能做研究级数学，数学界该重新审视什么

Terence Tao: Mathematics in the Age of AI [pdf]

陶哲轩在 2026 年国际数学家大会的公开演讲里，没有去争 AI 到底能不能做研究级数学。他直接假设一个“强能力版本”成立——AI 工具在不久后能以合理的成本、成功率、质量和人工监督，完成相当一部分研究级数学任务——然后反过来问数学界：我们的目标和价值观到底是什么。他把当下比作 20 世纪初的数学基础危机，认为这次是对“数学实践与价值观的基础”的一次冲...

推荐理由：陶哲轩在 2026 年国际数学家大会的公开演讲，没走“AI 能不能做数学”的老路，直接假设一个强能力版本成立，然后回头问数学界：我们的目标和价值观到底是什么。他把这次冲击类比成 20 世纪初的数学基础危机，认为动摇的是实践和价值观的根基，而不只是工具层面。我会先打个折：正文没披露他假设的“合理成本、成功率”具体是多少，也没展开“First Proof”系统的实际表现，所以判断还停在框架层面。但光是这个提问角度，就够让做 AI 和做数学的人都停下来想一想了。