陶哲轩呼吁建立“数学2.0”新范式

发生了什么

菲尔兹奖得主陶哲轩发文称，AI正使数学证明泛滥，建立在证明稀缺之上的“数学1.0”时代即将落幕。他警告盲目优化解题指标会损害学科长期健康，呼吁建立包含失败结果和算力成本的透明评估机制。陶哲轩牵头成立人类数学协会（AHM）抵制OpenAI的算力霸权，主张重视解释、评审和知识整理。此外，他参与创立的SAIR基金会推出了开放数学模型计划，首阶段模型将面向日常研究需求发布。