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

菲尔兹奖得主陶哲轩发文提出“数学2.0时代”已至，认为AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。 陶哲轩把解题拆成生成证明、验证正确性、解释清楚、被共同体接受、融入标准理论五个阶段，指出AI主要加速前段，后段可能出现“证明消化不良”，并呼吁评估机制把失败结果和算力成本一并纳入报告。他称，在有足够算力、能够访问前沿模型的情况下，人们已能在相对短时间内获得许多此前被认为很难的开放问题的解答，并预告这些开放数学模型将很快发布。 上述关于AI加速证明生成、后段可能消化不良的判断，以及开放数学模型即将发布的预告，均出自陶哲轩本人的说法。

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

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