OpenAI 开源 722 份模型产出的数学成果

OpenAI 于 10 月 7 日正式发布内部前沿模型产出的一批新数学研究成果，配套发布官方博客《Sharing AI progress in mathematics》，并在 GitHub 开源 openai/math 仓库，收录模型生成的数学手稿与证明辅助材料（含 preprints、reasoning traces、Lean 形式化证明）。帖子对手稿数量表述不一：多数称 722 份手稿，亦有帖子写作 772 份，其中 m17、m4 两个帖子均称 772 篇、372 个课题族，需以官方仓库为准。此次发布是 AI 系统性产出数学研究成果的标志性事件，值得数学与推理方向研究者高度关注。

已确认

• OpenAI 官宣发布内部前沿模型产出的数学新成果，并开源 openai/math 仓库，博客题为《Sharing AI progress in mathematics》
• 发布前咨询了普林斯顿高等研究院（IAS）的「数学与人工智能独立顾问小组」，并依据其公开建议决定发布方式
• 成果按约 372 个结果族组织，每个结果平均仅用约 3 小时计算（据 @rohanpaulai 转述，模型先处理约 4000 个研究问题再分组筛选）
• 亮点结果包括：黎曼猜想、Hodge 猜想、BSD 猜想等千禧年难题的部分进展；7/8 准黎曼猜想（quasi-Riemann hypothesis）证明；矩阵乘法指数下界降至 n^2.25；预印本《Integer multiplication below n log n》（Singularitarian 转帖称署日期 2026 年 9 月 23 日，此日期或为转述讹误）；涉及「一致的无零点带」（uniform zero-free strip）及排除 Siegel 零点的数论结果

尚未确认

• 手稿总数存在 722 与 772 两种转述，需以 openai/math 仓库为准
• @markjeffrey 转发的「AI 已解答 500 个数学开放难题中的 90 个」为第三方汇总口径，非 OpenAI 官方数字
• 各项证明的正确性与可验证性尚待数学界正式审读，帖子中均为初步评价

为什么重要

• 这是前沿实验室首次大规模系统性公开模型生成的原创数学研究成果，且按 IAS 顾问组建议选择可验证的发布方式，回应了「别只发博客、要拿出可验证证明」的呼声
• 哈佛数论学者 Alpoge 称其中拟黎曼假设相关结论与排除 Siegel 零点是「数学史上最显著的时刻」；数学家 Alex Kontorovich 认为相关结果若由人类做出可直接拿菲尔兹奖；cremieuxrecueil 称 7/8 准黎曼猜想证明是分析数论数十年来最重要进展之一；数学工作者 AcerFur 表示亲见模型在其十年前关注的问题上取得进展是职业生涯高光时刻
• OpenAI 首席数据官 Kevin Weil 盛赞此次发布，并表示下一个目标是让模型在物理科学领域达到同等水准；Mistral 研究员 Théophane Sottiaux 称之为「科学进步的非凡新纪元」

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

• 【源头】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
• OpenAI 发布内部前沿模型产出的新数学成果，被指部分早已被 agent 解出 — repligate · 2026-10-07
• 4000 题仅 372 组成功,OpenAI 数学手稿成功率引热议 — basedjensen · 2026-10-07
• OpenAI 发布前沿模型数学新成果,称已解 90 个顶级未解难题 — inductionheads · 2026-10-07
• OpenAI 内部模型攻克数百数学难题,解法全部上传 GitHub — AI寒武纪 · 2026-10-07
• OpenAI 开源 math 仓库:六维互无偏基上界的 Lean 形式化 — MarioKrenn6240 · 2026-10-07
• 「一次包揽 STOC、FOCS、SODA」:学者用一句话点出 OpenAI 数学结果的分量 — giannis_daras · 2026-10-07
• OpenAI 前沿模型给出「准黎曼猜想」结果,数学家惊呼:人类做到可直接拿菲尔兹奖 — soumitrashukla9 · 2026-10-07
• OpenAI 发布模型产出的数学结果包:疑似准黎曼假设与希尔伯特第十问题 — repligate · 2026-10-07
• OpenAI 数学成果包：BSD 猜想大量情形获证、L 函数零点区扩至 Re(s)>7/8 — snikolov · 2026-10-07
• OpenAI 首席数据官 Kevin Weil 盛赞数学结果发布:下一个目标是物理科学 — kevinweil · 2026-10-07
• OpenAI 发布 AI 数学进展报告:前沿模型数学能力追踪 — JoshuaZ1 · 2026-10-07
• OpenAI 发布前沿模型产出的新数学成果,单条平均耗 3 小时 Pro 算力 — scottleibrand · 2026-10-07
• 数学家赞 OpenAI 成果「数学史上最重要时刻」 — Singularitarian · 2026-10-07
• OpenAI发布700+项AI产出数学新成果，人类尚未读过 — khademinori · 2026-10-07
• OpenAI 疑似放出 722 篇数学论文,十余年难题接连告破 — BLUECOW009 · 2026-10-07
• 数学圈对 OpenAI 数学成果大爆发反应激烈 — altryne · 2026-10-07
• 数学圈围观 AI 数学家成果:没被淘汰的人反而迎来加速 — IgorCarron · 2026-10-07
• OpenAI 数学成果惊现千禧年大奖题:希尔伯特第十问题有理数版被解决 — almmaasoglu · 2026-10-07
• OpenAI 清单宣称已完全解决 500 道顶级数学开放题中的 90 道 — jessi_cata · 2026-10-07

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