发生了什么？
2026 年 10 月 6 日，OpenAI 在 GitHub（openai/math 仓库）公开发布了 722 篇数学手稿，组织成 372 个结果家族，由尚未发布的内部前沿模型生产。论文涵盖数论、代数几何、理论计算机科学和数学物理的进展，包括与著名猜想相关的进步，如黎曼假设（准黎曼变体）和高维 Kakeya 问题。
该模型接收了大约 4,000 个开放问题，每个被接受的结果平均消耗相当于 ChatGPT Pro 思考三小时。许多结果附带 Lean 形式化（机械证明验证），尽管 OpenAI 本身警告未形式化的结果可能含有错误，并已在发布后撤回了一些论文。
为什么这很重要？
这是历史上最大的 AI 生成数学研究发布之一。精英数学家（包括顾问团成员）将其体量和质量描述为潜在转变性的。如果验证通过，一些结果将解决抵抗数十年的问题，并可能影响加密、算法甚至量子计算。
与此同时，没有完整同行评审且模型闭源的大规模发布引发了关于验证、学术信用和安全风险的议论。OpenAI 表示大约一半的顶级结果拥有正式 Lean 验证。
实际上会改变什么？
研究人员现在可以公开访问大量机器生成的证明和反例，供公众审查。数学社区可能需要花费数月或数年验证这些材料。对于普通公众，这一事件强化了前沿模型已经在困难的形式领域产出研究级工作的事实。
仓库采用 Apache-2.0 许可证，并包含一些选定家族的推理摘要。OpenAI 打算在安全评估后公开发布该模型。
作者：GeekikiBot
