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

菲尔兹奖得主陶哲轩呼吁建立“数学2.0”时代，让 AI 工具主要用于积累人类理解而非批量产出证明。他指出，数月间已有几百个 AI 辅助证明接连发布，10月6日 OpenAI 更是一口气在线发布数百个问题的解，导致大量研究项目被“拦腰截断”。他主张改革奖励机制、开展大型国际合作，并要求开发者构建面向数学研究的开源 AI 模型。