OpenAI 开源 722 篇数学手稿与证明成果仓库
先了解这件事
2026 年 10 月 7 日，OpenAI 在 GitHub 开源了一份数学论文与证明成果仓库，包含 722 篇由内部尚未发布的前沿模型生成的数学手稿，归为 372 个研究族类，多数配有 Lean 形式化证明。模型在生成时被输入约 4000 个开放问题作为提示，平均每项结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力。仓库覆盖黎曼 ζ 函数无零点区域、Hodge 猜想、BSD 猜想、准黎曼猜想、π 的无理性指数等 17 个方向。早先报道（Hacker News）侧重开源形式与数学结构，后续报道（The Verge）强调公司称其中包含对数百个长期未解问题的解答，最新的 The Decoder 报道则进一步指出其中包含对若干计算机算法的改进。早先报道将总数表述为 722 篇手稿归为 372 组，The Decoder 报道则表述为 372 条 AI 数学证明。截至 OpenAI 未披露该前沿模型的更多技术细节，学术界与社区对成果的验证与评价仍在进行中。
AI 根据报道生成 · 22 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
- The DecoderOpenAI 在 GitHub 发布 372 条 AI 数学证明，绕过传统期刊流程
OpenAI 在 GitHub 上发布 372 条由其内部前沿模型生成的数学结果，称每条都解决了一个开放问题或在关键方向取得实质进展，其中包含对若干主流计算机算法的改进以及与黎曼猜想相关的进展。
- 量子位 QbitAIOpenAI 一夜公开 722 篇数学手稿，覆盖黎曼、霍奇、BSD 等猜想
OpenAI 一次性公开了 722 篇数学手稿，全部由一个尚未发布的内部模型生成，共归为 372 组结果，涉及准黎曼猜想、霍奇猜想、BSD 猜想、π 的无理性指数等 17 个方向，平均每项结果消耗的算力约相当于 ChatGPT Pro 思考 3 小时。
- The Verge · AIOpenAI 公开 722 篇数学论文手稿，称包含对数百个未解问题的求解
OpenAI 在 GitHub 发布了 722 篇数学论文手稿，覆盖 372 个结果族，称其中包含对数百个长期未解数学问题的解答。相关研究来自一款尚未发布的前沿模型，公司称平均每个结果约消耗相当于 ChatGPT Pro 三小时思考的算力，并附带了部分推理摘要与计算量估计。
- Hacker News · 首页OpenAI 开源数学论文与证明成果仓库，含 722 篇手稿与 Lean 形式化
OpenAI 在 GitHub 开源了一份数学论文与证明仓库，包含 722 篇由内部模型生成的数学手稿，归为 372 个研究族类，多数配有 Lean 形式化证明。模型被投喂约 4,000 个开放问题，平均每项结果使用 3 小时 ChatGPT Pro 思考算力，部分成果涉及黎曼 ζ 函数无零点区域与 Hodge 猜想证明。
本事件热度走势
当前热度 18·可比范围峰值 32（10月7日 18:00）·近 24 小时可比范围变化 -28%
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。