奥特曼向数学家道歉，但AI数学证明还会接着发

奥特曼在一档播客上第一次正面回应了AI对数学界的冲击。他向被搅得不得安宁的数学家道了歉，同时也说得很明白：为了推进人类对宇宙的认识，AI的数学成果还会继续发布。

这件事的前情是OpenAI此前宣称用上万个AI代理攻克了纳维-斯托克斯问题，之后又放出几百篇没经过审阅的AI数学证明。不少顶尖数学家批评这些证明难以读懂、无法验证，部分论文后来撤回了。

几乎同一时间，菲尔兹奖得主、芝加哥大学教授邓煜在国内一个论坛上的演讲也在传。他认为AI凭借无限的知识面和极低的试错成本，确实能推进数学研究，但它终究是工具。

他批评的点很具体：某家AI公司10月6日一口气发了300多个问题、700多篇文章，却不公开思维链，没有标注哪些思路沿用了人类已有工作，正确性也缺乏验证。

还有一句话传得很广：AI公司一边蒸馏全人类的文献，一边又因为抵触被别人蒸馏而拒绝公开思维链，这在逻辑上站不住。

邓煜给出的建议包括让用户自己选择数据是否用于训练、让成果可追溯，以及数学界应该发展自己的工具。

两边的分歧其实不在”AI能不能做数学”。数学界真正在意的是可验证和可署名，一篇看不懂、查不清来路的证明，对这个学科几乎没有价值。道歉之后接着发，如果发的方式不变，这个矛盾大概不会平息。