RecodeX 重构消息，菲尔兹奖得主陶哲轩近日发文提出“数学2.0时代已至”，认为AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他指出，在有足够算力和前沿模型的情况下，许多开放问题可在较短时间内获得解答，但判断解答是否正确、贡献多大、如何与已有研究衔接仍需认真处理，否则会出现“解出了题却没有增加人的理解”的错位。

陶哲轩归纳数学易受AI冲击的三个条件：证明可被客观检验、数学对象与推理高度可数字化、大量高质量文献已数字化。他同时提醒警惕幸存者偏差，呼吁建立更透明科学的评估机制，把失败结果与AI算力成本一并纳入报告，并主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视。