陶哲轩：AI 正让数学证明泛滥，数学 1.0 时代即将落幕

Techub News 消息，菲尔兹奖得主陶哲轩发文表示，AI 正在让数学证明变得泛滥，建立在证明稀缺之上的数学 1.0 时代即将落幕。他指出，在有足够算力与前沿模型的情况下，人们可在短时间内获得许多难题的解答，但判断解答的正确性、贡献大小及与已有研究的衔接仍需认真处理。 陶哲轩认为，数学当前前沿的大多数问题依然未被解决，AI 的能力并不均匀。他呼吁建立更透明科学的评估机制，将失败结果和 AI 算力成本一并纳入报告，并警告若继续盲目优化「解题」指标，将损害数学的长期健康。 对于 AI 时代数学家的核心价值，陶哲轩强调，模型可以生成答案、验证推理，但不能替人类把关。他主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视，并透露其参与的开放数学模型计划将很快发布。（量子位）