菲尔兹奖得主、芝加哥大学教授邓煜,在 10 月 26 日"知识分子""赛先生"论坛的主旨演讲里,系统聊了 AI 时代该怎么搞数学。
他先点出 AI 相对人的两样长处:知识面广到没有边界,试错成本又低得可以忽略。但他强调,无论在数学还是别的事上,人必须当主体,AI 只是被我们拿来用的工具。
话锋一转,邓煜把矛头对准了 AI 公司。他说,若真把 AI 当研究者,就该守学术规矩——证明出重大结论,合理要求就是公布思维链。可现实是,这些公司大多以"防蒸馏"为由拒绝公开,在已公布的证明里,真正亮出思维链的只是极少数。
"你不能在只有你蒸馏全人类网络文献和知识时,大大方方地去蒸馏;别人不过想知道一下思维链,你就说这不行那不行。"这记反讽,戳中了大厂"只许州官放火"的双标。邓煜因此提议,靠开源数学模型,让数学界把属于自己的模型攥在自己手里,同时按学术规范约束数据使用、思维链披露与可追溯性。
25 位菲尔兹奖得主联署抗议
这并非孤鸣。当地时间 9 月 11 日,陶哲轩、邓煜、舒尔茨等 25 位菲尔兹奖得主联署声明《人工智能在数学中的严重错位》,警告 AI 公司与数学界目标严重脱节。声明指出,AI 方案常仓促放出,没空正式写作、隔离新方法或引用他人工作,由此引出严重的署名与抄袭隐患。







