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

菲尔兹奖得主陶哲轩在《自然》World View 撰文提出建立“数学2.0”，让AI工具主要用于积累人类的理解而非单纯产出证明。他指出数月间已有几百个AI辅助证明接连发布，数学家需要数月才能看懂，而10月6日OpenAI一次性公开数百个问题的解，令不少研究项目被拦腰截断。他建议改革奖励机制、让AI生成结构性数据集以发现新模式，并由开发者构建面向数学研究的开源模型。