OpenAI未公开模型发布719篇数学论文，数学界意见分化

OpenAI在GitHub上发布了一批数学成果，这些成果由一个尚未对外公开的AI模型生成。该批论文于2026年10月初发布，共有数百篇研究论文，公司称其解决了长期悬而未决的公开问题。此次发布引发了数学界截然不同的反应。

该合集首次公布时共有722篇论文。10月7日，因一项证明中发现错误，其中三篇被撤回，总数降至719篇。目前尚未公开出现针对其余论文的具体异议。OpenAI表示，每项成果消耗的算力大致相当于ChatGPT Pro推理三小时。

验证工作仍在进行

为检验这些成果，OpenAI依赖Lean系统。该系统使用形式化语言表达证明，使计算机能够逐步验证每一步逻辑。目前已有近一半论文通过这一方式得到确认。然而，仍需独立审查，尤其要确保经过形式化检验的命题确实与每篇论文所声称的结论相符。因此，这些成果的学术认可仍有待定论。

以概率论和统计物理学研究闻名的法国数学家雨果·杜明-科潘在一次视频会议中表示，他多年来一直钻研的16个问题出现在该合集中。在他看来，核心问题并不在于机器抢先解出了这些题目，而在于如此大规模的成果涌现，使学界没有时间消化吸收。此前，25位菲尔兹奖得主联名发表的公开信曾警告，一次性发布大量解答，会使人们难以理解其背后的思路与方法。

抵制呼吁与不同观点

人类数学协会（HMA）态度更为激烈，认为这些成果与其说是科学贡献，不如说是对技术实力的展示，并呼吁数学家抵制与OpenAI的合作。菲尔兹奖得主蒂莫西·高尔斯则持不同看法，认为成果数量之多不应被自动视为负面因素。他的担忧更具长远性：公开问题有助于吸引年轻人投身数学，而这一人才输送渠道能否持续，尚不确定。

OpenAI表示，将资助研讨会、学术会议和专项研究计划，帮助学界理解这些成果。该公司还在分享推理摘要、算力估算和验证材料。此事件标志着关于AI在科学研究中所扮演角色的讨论进入新阶段，也引发了人类研究者如何跟上这一步伐的思考。