【导语OpenAI内部最新推理模型一口气发布十项数学进展包括证明非Sofic群存在性等其中双人量子博弈并行重复指数衰减定理的证明引发关注同时AI证伪数学猜想被打假凸显人类在理解和把关上的重要性。】OpenAI推理模型十项数学突破亮相OpenAI内部最新推理模型带来了十项惊人的数学进展涵盖首次证明非Sofic群的存在性、给出全新的电路下界、攻克最近向量问题难度极限以及双人量子博弈并行重复指数衰减定理等。这些突破在数学领域引起了广泛的关注。AI攻克量子并行重复难题人类理解遇挑战哥伦比亚大学副教授Henry Yuen在2016年对双人量子博弈并行重复指数衰减定理取得重大进展但未彻底解决10年来屡战屡败。而此次OpenAI的AI在他的基础上完成了证明。然而Henry Yuen对证明的写作风格感到失望认为读起来满是AI味儿关键环节缺乏逻辑阶梯重要想法未得到充分解释。他虽相信证明正确但消化这份新证明还需时间。AI突破了他原有证明策略的限制使用了一些算子理论和泛函分析领域的技巧和方法。这让Henry Yuen意识到数学家接下来既要驯服这些思想巨兽还得把它们的黑话翻译成人话。AI“证伪”数学猜想被打假Lean验证存局限上周Ramana Kumar用300行Lean证伪了“科拉兹猜想”这一猜想自1937年提出后无人能证明成立也未找到反例。但3天后该证明被判无效因为它利用了Lean内核的底层漏洞。OpenAI的Daniel Selsam协助做的内核审计发现了不止一起漏洞。Rutgers大学数学教授Alex Kontorovich提醒别把Lean当全能验证者指出其存在语义对齐问题即代码里的“定义”和人类自然语言里的“直觉意图”可能不一致。形式化数学最大的盲区不在推导而在表述最后把关还得靠人类专家。编辑观点OpenAI推理模型的数学突破展现了AI在数学领域的潜力但也凸显了人类在理解和把关上的不可替代。未来AI与人类需更好协作推动数学研究发展。