OpenAI 开源 722 份 AI 数学手稿引热议

OpenAI 官宣发布由一个未公开的内部前沿模型产出的一系列新数学成果，并在 GitHub 开源 openai/math 仓库，共收录 722 份手稿，是 OpenAI 首次系统性公开此类材料。官方配套博文《Sharing AI progress in mathematics》介绍了模型在数学研究任务上的能力提升路径。此前围绕 OpenAI 在数学推理/证明能力上的突破有诸多讨论，这份材料为相关传闻提供了可查证的来源。

已确认

• 仓库收录 722 份手稿，按 372 个相关结果族归类，配套 preprints、reasoningtraces 与 Lean 形式化等证明材料（m2 中提到的 772 份与其他帖子不一致，以 OpenAI 官方帖的 722 份为准；m14 提及此前传闻为 400 篇，实际规模更大）。
• @kimmonismus、@nablatheta 转述：这批结果源自约 4000 道研究问题的评估，OpenAI 称每条结果平均使用约 3 小时 ChatGPT Pro 思考；绝大多数结果由同一个未发布的内部模型以相同流程获得。
• 发布决策参考了普林斯顿高等研究院「数学与人工智能独立咨询组」的咨询意见与公开建议。
• @arannayebi 转述仓库 README：因现有数学评测已饱和，OpenAI 扩大了评估范围。
• @applesjimmy 浏览合集后指出，其中包含在黎曼猜想、Hodge 猜想、BSD 猜想三个千禧年难题上的进展，以及「准黎曼猜想」级别的结果；@imjustnewatai 特别推荐编号 #003 的拟黎曼猜想相关结果。
• @physiopeng 转述 Reddit 说法：继上月 Navier-Stokes 问题之后，OpenAI 内部模型又声称拿下另外两道千禧年大奖难题的部分成果，佐证材料即官方博客。
• @airkatakana 发现 OpenAI 旗下 arXiv 账号同期一口气发布近 1000 篇数学预印本，规模异常。
• Mistral 研究员 Théophane Sottieux（经 @charliermarsh 转发）称模型解决了若干重要数学问题，并称其为「科学进步的非凡新纪元」。

尚未确认

• 千禧年难题相关成果的具体强度与正确性尚待数学界独立核查，官方亦未公开产出这些结果的内部模型细节。
• arXiv 近千篇预印本与 GitHub 722 份手稿之间的确切对应关系未获官方说明。

为什么重要

• 这是 OpenAI 首次系统性公开内部模型的研究级数学产出，直接回应了此前关于其数学证明能力突破的传闻。
• 附带推理轨迹与 Lean 形式化，使外界可以独立核查模型证明的质量，而非仅凭官方宣称。
• 公开发布决策经过独立咨询组建议，被视为 AI 产出前沿数学研究成果如何对外披露的一个范本。

2026-10-07 ~ 2026-10-07 · 35 条相关

• 【源头】OpenAI 开源内部前沿模型产出的 722 份数学新结果 — OpenAI · 2026-10-07
• OpenAI 公开数学证明材料,呼应此前数学突破传闻 — imjustnewatai · 2026-10-07
• OpenAI 放出内部模型数学手稿仓库，含未形式化证明与推理轨迹 — aran_nayebi · 2026-10-07
• OpenAI 回应:发布内部前沿模型产出的新数学成果 — kimmonismus · 2026-10-07
• 【源头】OpenAI 公开未发布内部模型产出的 722 篇数学论文 — kimmonismus · 2026-10-07
• Mistral 研究员转发：模型解决重要数学问题，博客已发布 — charliermarsh · 2026-10-07
• 【源头】OpenAI 官方发布数学进展报告:公开模型攻克数学难题的方法与成果 — AMBNNJ · 2026-10-07
• OpenAI 一次放出 722 篇数学论文，内部模型疑似证得拟黎曼猜想 — imjustnewatai · 2026-10-07
• 团队成员亲历:AI 模型在十年悬而未决的数学问题上取得进展 — ctjlewis · 2026-10-07
• OpenAI 前沿模型产出数学新成果:涉黎曼猜想等三大千禧年难题 — apples_jimmy · 2026-10-07
• OpenAI 官宣前沿模型产出大批数学新成果,普林斯顿高研院顾问把关 — IgorCarron · 2026-10-07
• OpenAI 用未发布前沿模型产出大批新数学成果，每题烧 3 小时 Pro 算力 — gaganghotra_ · 2026-10-07
• 曝 OpenAI 突然放出近千篇数学预印本，规模惊人 — airkatakana · 2026-10-07
• OpenAI 研究员感慨内部模型连解多年仰望的难题:「智能观的哥白尼式转变」 — weijie444 · 2026-10-07
• 继 Navier-Stokes 后,OpenAI 内部模型再声称攻克两道千禧年难题部分内容 — physiopeng · 2026-10-07
• daniel_mac8:OpenAI 数学成果被公关性淡化,数学只是开始 — inductionheads · 2026-10-07
• OpenAI 用内部模型产出数百个高难度数学证明并开源发布 — Pascallisch · 2026-10-07
• OpenAI 发布前沿模型数学成果：矩阵乘法指数降至 2.25 — inductionheads · 2026-10-07
• OpenAI 发布数学成果，数学系学生自嘲「被抢发了」 — littmath · 2026-10-07
• OpenAI 数学成果刷屏:7/8 准黎曼猜想证明引热议 — Singularitarian · 2026-10-07
• OpenAI 发布预印本：整数乘法算法首次突破 n log n — Singularitarian · 2026-10-07
• 4000 题仅 372 组成功,OpenAI 数学手稿成功率引热议 — basedjensen · 2026-10-07
• OpenAI 发布前沿模型数学新成果,称已解 90 个顶级未解难题 — inductionheads · 2026-10-07
• OpenAI 开源 math 仓库:六维互无偏基上界的 Lean 形式化 — MarioKrenn6240 · 2026-10-07
• 「一次包揽 STOC、FOCS、SODA」:学者用一句话点出 OpenAI 数学结果的分量 — giannis_daras · 2026-10-07
• OpenAI 前沿模型给出「准黎曼猜想」结果,数学家惊呼:人类做到可直接拿菲尔兹奖 — soumitrashukla9 · 2026-10-07

另有 9 条近重复转述:apples_jimmy · felpix_ · nabla_theta · rand_longevity · AlexTensor · Justin_Halford_ · ctjlewis · kristoph · ZeroStateReflex