搜索
陶哲轩提出“Math 2.0”：AI终结证明稀缺时代
2 小时前
据officechai报道，菲尔兹奖得主陶哲轩在“Math 2.0”演示文稿中指出，AI正终结数学证明稀缺时代，促使数学界重新审视学科定位。他强调，数学具有客观可验证、高度数字化及海量高质量数据三大特性，使其成为AI突破的关键领域。然而，AI能力参差不齐，虽能解决诸多开放问题，但在主观判断和现实交互上仍显薄弱。陶哲轩警告，盲目追求解题将破坏数学探索过程，损害学科长远健康。他建议转向大规模实验数学、开放阐释问题、形式化库建设和可解释模型，以拓展研究前沿并弱化单纯解题导向。
