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

📋总体概括

机器在解题速度上已经实现赶超，在此背景下，数学家应当开启一个新时代：不能只是一味发表更多的解题成果，还应提升人类的理解。先进的AI模型正在以令人咋舌的速度改写数学。短短数月间，几百个AI辅助的证明——某个数学结果成立的逻辑论证——接连发布，攻克了一些长期未解的数学问题。对于这些自动生成的解，数学家可能还要好几...... 本文来自微信公众号： 自然系列 ，作者：Nature Portfolio 机