10 月 26 日，菲尔兹奖得主、芝加哥大学数学系教授邓煜在「知识分子」「赛先生」论坛发表主旨演讲，谈 AI 时代该怎么做数学。他把矛头指向了 AI 公司的反蒸馏策略，认为这套说辞站不住脚。
要求公布思维链的学术规矩
邓煜先讲 AI 相对人的长处，知识面广到没有边界，试错成本低到可以忽略。但他也划了底线，在数学研究或任何事情里，人始终是主体，AI 是工具。他说如果真把 AI 当研究者，就该遵守学术规范，一个非常合理的要求是公布 AI 的思维链。
现实情况是，在他看来的那些 AI 公司公布的所有证明里，只有极少数真正亮出思维链，大多数时候都以防蒸馏为借口拒绝公布。这套标准一旦被拿来讨论，可追溯性就绕不过去。Claude 形式化验证 123 个开源库 走的是另一条路线，把证明写进机器可查的格式，恰好回应了同一个诉求。
开源数学模型与 25 位得主的联署
邓煜的提议是开源数学模型，让数学界手里有属于自己的模型，不必依赖外部公司，同时按学术规范约束数据使用、思维链公布与可追溯性。这不是孤鸣。9 月 11 日，陶哲轩、邓煜、彼得·舒尔茨等 25 位菲尔兹奖得主作为最初签署人，联合发表声明《人工智能在数学中的严重错位》，警告 AI 公司与数学共同体的目标出现严重错位。
声明还指出，AI 方案往往仓促发布，没有时间正式写作、隔离新方法或引用他人工作，由此带来署名与抄袭问题。邓煜的原话更直接，只有在蒸馏全人类知识时才大大方方去蒸馏，别人想看一眼思维链就被拒之门外，这个反差很难用学术规矩解释。
延伸阅读
- OpenAI一次公开722篇数学论文：黎曼霍奇BSD三大千禧难题均有涉及3 周前
- 46岁数学家凭AI量化交易跻身英国富豪榜第八：身家超1417亿元，日均增1.7亿2 周前
- OpenAI一次性公开722份数学证明，陶哲轩称「证明消化不良」3 周前
- OpenAI 三项科学突破：局部光滑猜想全维度证明5 小时前
AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。
继续读
同一批更新里这几篇值得一看：
- OpenAI 三项科学突破：局部光滑猜想全维度证明2026-10-27
- 上海人工智能实验室用书生大模型S2破解三维Ghys猜想2026-10-15
- GPT-6 Astra联手数学爱好者证明57年「摆圆」难题，N≤20最优排列获严格证明2026-10-13