OpenAI 发布内部前沿模型解决数学问题的研究成果

OpenAI 公开了一个包含数学手稿和证明材料的 GitHub 仓库，内容据仓库 README 称由内部模型生成，关注价值在于它把前沿模型参与开放数学研究的过程和验证状态置于公开环境中。

• OpenAI README 称仓库收录 722 篇手稿，按 372 个结果家族组织。
• 材料处于不同验证阶段，并非所有结果都有 Lean 形式化证明；README 也明确提示部分未形式化结果可能存在问题。
• OpenAI 称大多数结果使用同一未发布内部模型生成，平均每个结果消耗约 3 小时 ChatGPT Pro thinking 算力，评估期间提出约 4,000 个问题。
• README 将零点自由区域和 CM 阿贝尔簇上的 Hodge 猜想相关工作列为固定流程之外的例外，并说明其中一篇文稿经过人工编辑。
• 影响/看点：该仓库可能为数学界提供可复核的候选结果和形式化入口，但其研究价值仍取决于独立专家审查、证明补全及后续版本修订，不能把模型生成手稿直接等同于已确立的数学定理。
• 资料依据:
• OpenAI（2026-10-06）：math GitHub 仓库 README https://github.com/openai/math
• TestingCatalog（2026-10-06）：相关发布线索 https://x.com/testingcatalog/status/2107599503725658393

本内容由 AI 生成，仅供参考，请注意甄别