陶哲轩说，AI 模型一下子给出几百份开放问题的证明，却没有人能回答数学家的疑问，读懂它们要靠大量志愿劳动；一些年轻研究者的课题因此作废，有人开始不再公开自己在做什么，怕被别人丢进 AI 抢先
证明来了，解释没来
陶哲轩把这些模型比作闯进数学界、“吞食开放问题”的庞然大物。他说数学适合 AI，是因为答案能在电脑上客观核验；但问题本身往往只是灯塔，真正有价值的是解题路上的理解、合作和中间成果。人解出大问题，会来做报告、接电话回答问题；而对 OpenAI 一次放出的几百篇论文，他说“没有一个 OpenAI 的人我能打电话去问”，数学家只能自己慢慢读，这会比平常久得多。记录里有 10 月 6 日 OpenAI 公开 722 篇手稿、次日撤回三篇的条目，也有他 10 月 10 日“数学 2.0”讲座里“证明变充裕、理解才是目标”的论点；节目新增的是他对这种发布方式的直接评价：至少是“非常不体
年轻研究者受到的冲击
他说不少年轻人的研究课题被这批成果直接作废，正在另找方向；有些人开始对自己的研究方向保密，而公开方向本是这个领域的习惯，他们怕说出来就被人丢进 AI 先解掉。他认为“谁先发表”正退化成“谁最快把问题喂给 AI”，奖项和晋升该少看首发、多奖励合作。这些是他的观察和判断，节目没有给出人数或
工具只在少数公司手里
陶哲轩说，能解这类开放问题的技术目前只在少数科技公司手里，而且往往是不对外的内部模型，普通数学家能用的是便宜得多、能力也弱得多的模型。他没有在节目里提他参与的 SAIR 基金会；记录里有该基金会 9 月预告的、由数学界自己治理的开源数学模型计划，那正是针对这一缺口，但至今只是征集