陶哲轩发文提出数学2.0时代

菲尔兹奖得主陶哲轩发文称，AI正让数学证明变得泛滥，建立在证明稀缺之上的“数学1.0”时代即将落幕，“数学2.0”的前提已经改变。 他归纳数学易受AI冲击的三个条件：证明可被客观检验、数学对象与推理高度可数字化、大量高质量文献已数字化。他同时提醒警惕只统计成功案例的幸存者偏差，呼吁把失败结果和算力成本纳入评估。 陶哲轩还提出解题五阶段，主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。