陶哲轩：即使AI再强，数学也不会穷途末路

本文来自微信公众号： 自然系列 ，作者：Nature Portfolio 机器在解题速度上已经实现赶超，在此背景下，数学家应当开启一个新时代：不能只是一味发表更多的解题成果，还应提升人类的理解。 先进的AI模型正在以令人咋舌的速度改写数学。短短数月间，几百个AI辅助的证明——某个数学结果成立的逻辑论证——接连发布，攻克了一些长期未解的数学问题。 对于这些自动生成的解，数学家可能还要好几个月，才能完全看懂其背后的论证方式和意义。作为一名在工作中使用AI工具的数学家，我深切感受到整个领域正在发生翻天覆地地变化。我们现在迫切需要建立“数学2.0”（Maths 2.0）时代，让“证明稀缺”（proof scarcity）不再是数学领域的终极定义。 做数学的方式确实是革新了，但随之而来的问题也无法忽视。许多AI生成的结果