数学能在 AI 时代存活吗？菲尔兹奖得主陶哲轩呼吁进入“数学 2.0”世界
陶哲轩在《自然》的 World View 专栏中指出，AI 辅助证明已解决数百个长期悬而未决的问题，“证明稀缺”时代已经结束，数学界需要一个更重视人类理解而非发表更多解法的“数学 2.0”时代。他警告说，OpenAI 在 10 月 6 日一次性公布数百个解法，一夜之间打乱了众多研究计划；而当结果产出速度超过数学家消化速度时，不透明的 AI 模型一旦部署到现实世界就可能带来实际危害。它的意义在于重塑了这一领域的激励方向：瓶颈不再是找到证明，而是理解并信任证明。
报道来源
- Hacker News (AI)2026-10-27 20:22