» 1、OpenAI发布722篇数学论文，均涉及数学前沿问题 部分包含形式化证明

OpenAI于2026年10月6日公开了一批由公司内部、尚未发布的前沿模型生成的数学研究成果：GitHub仓库目前收录722份手稿，归为372个相关成果组，覆盖多个数学领域，并附有部分Lean形式化证明和推理摘要。消息在10月7日引发关注，相关报道将这批成果形容为“数百个开放问题的答案”；但“722篇论文”不等于722项已经独立验证、正式发表或获得数学界认可的定理。

据OpenAI介绍，发布内容包含研究手稿、部分证明材料、若干Lean形式化文件，以及10份精简版推理摘要。Lean是一种可由计算机检查证明步骤的形式化语言，不过现有形式化覆盖并非完整：一项分析称，722份手稿中有162份的主要结果附有Lean形式化证明。换言之，形式化检查能为特定证明提供额外核验，但不能据此推定整批材料都已完成验证。

报道提及的方向包括数论、组合数学、几何、理论计算机科学和数学物理等。较受关注的内容包括黎曼ζ函数相关的零点区域结果，以及关于CM阿贝尔簇的霍奇猜想证明；另有报道列举了马勒猜想、π的无理性测度等成果。需要特别区分的是，相关资料所说的黎曼ζ函数结果，是关于在实部大于7/8的区域内无零点，并非证明了著名的黎曼猜想；后者关注的是非平凡零点是否都位于实部等于1/2的直线上。标题中出现BSD等重大猜想的并列说法，不能直接理解为OpenAI已解决这些猜想；现有材料并未支持将整批结果概括为“黎曼、霍奇、BSD均已攻克”。

OpenAI称，未形式化的结果可能存在问题，仓库将继续更新，并为论文修订和引用提供流程。外部报道也指出，模型本身及多数单项结果的生成过程尚不能由研究者完整复现，数学家仍需逐篇检查论证、厘清成果适用范围，并判断其与既有工作的关系。因此，“数学家读不过来”更多体现的是这批材料数量庞大、需要专业审查的现实，而不是数学界已经确认所有结论。此次发布的意义在于把一批AI生成的数学研究材料置于公开审阅之下；它能否转化为可靠、可复用的数学成果，仍取决于后续验证和同行评议。