OpenAI CEO 萨姆·奥特曼于10月29日上线的Cheeky Pint播客中，首次直接回应AI对数学界的冲击。他表示理解被搅乱的数学家们的处境，但坚持认为世界理应了解宇宙如何运转，重要的科学发现应当公开，因此AI数学成果仍会继续发布。此次争议源于OpenAI此前的密集发布动作：该公司先声称用AI攻克了纳维-斯托克斯问题，随后又集中放出近400个数学难题的求解成果，以及数百篇未经同行评审的数学证明。由于这些成果缺乏充分解释、引用与验证流程，遭到多位顶尖数学家的批评，认为其发布方式破坏了数学界的学术规范。面对质疑，奥特曼承认发布方式确实需要改进，表示OpenAI未来会在公开成果的同时，给数学界留出足够的解释空间和审阅时间，试图在“科学发现应公开”的理念与学术共同体对严谨验证的要求之间寻找平衡。这一事件也引发了业界对AI数学能力的真实水平以及AI公司科研伦理边界的广泛讨论。
事件分析
争议核心并非AI数学能力本身，而是成果发布流程：未经同行评审的大批量“证明”正确性难以独立验证，纳维-斯托克斯这类千禧年大奖难题的攻克声明尤其需要严苛检验。产业层面，此事可能推动AI实验室与数学界建立协作机制，例如分级发布、引入独立验证渠道、提供机器可读的形式化证明等。后续走向上，OpenAI或将在正式数学成果发布前引入外部审阅环节，数学界也可能加速接纳Lean等形式化验证工具，作为检验AI生成证明的标准化手段。AI深度介入基础数学已是确定趋势，双方的摩擦本质上是AI产出速度与传统学术验证体系之间的适配问题，这一矛盾在其他基础学科同样会逐步显现。
核心观点：AI产出速度与学术验证体系的错位，正成为AI进军基础科学绕不开的核心矛盾。
原文链接：Linux.do
