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

2026年10月11日，菲尔兹奖得主陶哲轩发文提出“数学2.0时代已至”。他认为，AI 正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。他归纳数学易受 AI 冲击的三个条件：证明可客观检验、数学对象与推理高度可数字化、大量高质量文献已数字化。他同时指出，在有足够算力、能够访问前沿模型的情况下，人们已经可以在相对短的时间内，获得许多此前被认为很难的开放问题的解答。为此，他呼吁建立更透明的评估机制，把失败结果和 AI 算力成本一并纳入报告，并预告相关开放数学模型将很快发布。

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

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