陶哲轩的报告：人工智能时代的数学地址：teorth.github.io/tao-web/slides/age-of-ai-icm-2026.pdf

这是陶哲轩在 2026 年国际数学家大会上的公众演讲《人工智能时代的数学》。它讨论的重点是一旦 AI 能够完成相当一部分研究级数学任务，数学共同体应如何重新审视自身的目标、价值与制度。

演讲提出一个条件性假设：在不久的将来，AI 将能以可接受的成本和成功率，完成相当一部分研究级数学任务。如果这个假设成立，数学将从“证明稀缺”转向“证明过剩”时代。How I AI