陶哲轩：数学2.0时代已至
AI 总结
菲尔兹奖得主陶哲轩在最新演讲与文章中提出，AI正让数学证明从“稀缺”走向“泛滥”，建立在证明稀缺之上的数学1.0评价体系即将落幕，数学2.0时代已至。他认为数学之所以最先被AI冲击，是因为证明可被客观检验、数学对象与推理高度可数字化，且大量高质量文献已以数字形式存在；但当前数学前沿的大多数问题仍未解决，厂商展示的往往只是精挑细选的成功案例。他呼吁建立更透明、把失败结果与算力成本一并报告的评估机制，减少对“抢先给出证明”的奖励，转而重视解释、评审与知识整理，并透露其参与创立的SAIR基金会将很快发布面向日常研究需求的开放数学模型。
深度见解
陶哲轩的立场会影响数学界如何评估AI生成证明的价值，以及研究评价标准与人才培养方向。