陶哲轩演讲：AI 让数学证明从稀缺走向富足，但盲目解题正在损害数学
陶哲轩把数学史切成 1.0 和 2.0：AI 让证明不再稀缺，但拿到答案不等于获得理解，这是数学界眼下要面对的真实取舍。
陶哲轩在加州理工学院演讲《Math 2.0》中提出，数学研究正从「证明稀缺」转向「证明富足」：AI 能快速给出过去需数年才能解决的开放问题答案，但解题只是数学长期目标的代理指标，只优化解题能力已在损害数学的健康发展，未来应让 AI 支持数学共同体而非取代理解。
正文摘录
.jpg) 就在今天，陶哲轩公开了其在加州理工学院举行的最新演讲《Math 2.0》（数学 2.0）。  他介绍道，这场演讲早在一年多前就已经开始筹划，最初的标题是《机器辅助证明》（Machine Assisted Proof），原计划于今年 5 月举行。后来，演讲被推迟到了 10 月。由于近期发生的一系列事件，演讲内容也发生了很大变化。不过，加州理工学院的活动网页上仍然保留着最初的演讲标题和摘要。 在这场演讲中，他首先回顾了数学发展的历史阶段，即「Math 1.0」；随后讨论了当前数学界因过度强调利用 AI 自动解决开放性数学问题而形成的现状。 陶哲轩阐述了自己对未来「Math 2.0」的愿景： 在这一阶段，AI 工具将被用于支持数学研究共同体的发展，同时维护和强化数学理解在推动数学实际应用、使其更好地契合现实世界需求方面所发挥的作用 。