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

菲尔兹奖得主陶哲轩发文提出“数学2.0时代已至”，称AI正让数学证明从稀缺走向泛滥，建立在证明稀缺之上的数学1.0评价体系即将落幕。 他归纳数学易受AI冲击的三个条件：证明可被客观检验、数学对象与推理高度可数字化、大量高质量文献已数字化，并称在有足够算力、能访问前沿模型时，人们已能在相对短时间内解答许多此前被认为很难的开放问题。他呼吁建立更透明、科学的评估机制，把失败结果和AI算力成本一并纳入报告。 陶哲轩还提到他参与创立的SAIR基金会推出的开放数学模型计划，第一阶段面向理解困难论证、核查引用、探索例子、编写代码和形式化证明等日常研究需求，并预告这些模型将很快发布。

AI 根据报道生成 · 54 分钟前更新

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