📖 AI 总结

菲尔兹奖得主陶哲轩近日发文宣告“数学2.0时代”到来。他指出，AI正让数学证明从稀缺走向泛滥，传统以“谁最先解决难题”衡量贡献的评价体系面临冲击。陶哲轩归纳了数学易受AI影响的三重原因：证明可客观检验、数学对象高度可数字化、大量文献已数字化。但他同时警告存在“幸存者偏差”——AI厂商只展示成功案例，失败尝试与算力成本鲜被披露，因此亟需建立更透明的评估机制。他强调，开放问题如同灯塔，抵达并非探索的终点，盲目优化“解题”指标将损害数学的长期健康。通过“癌症疗法实验”的思想实验，他说明模型即便通过验证，仍需人类判断其与现实目标是否一致。数学证明的价值应延伸至理解、训练与现实贡献，人类科学家的核心作用在于把关，而非被替代。