AREX Feed Article
OpenAI 发布 722 篇数学手稿，称由内部前沿模型产出并已就发布方式咨询 IAS 顾问组
北京时间 10 月 7 日 6:19（10 月 6 日 22:19 UTC），OpenAI 官方 X 账号发帖称，正在发布「由内部前沿模型（internal frontier model）产出的一大批新数学结果」；帖文还说，OpenAI 一直在与 Institute for Advanced Study（IAS）的数学与人工智能独立顾问组磋商，并借鉴其建议与公开建议，来决定这些结果的发布方式（）。
帖文附上的链接指向 GitHub 仓库 ；同一线程中的一条跟帖把链接补到 OpenAI 官网文章《Sharing AI progress in mathematics》上（、）。按仓库的说明，这是一批 722 篇手稿、归入 372 个「结果家族」（result families）的集合，主题覆盖数论、代数与复几何、理论计算机科学、组合、数学物理、偏微分方程等 17 个数学分支。
41 页总览、「手稿地图」与目录里的结果
仓库于 10 月 6 日创建。根目录的 overview.pdf 是一份 41 页的《OpenAI Research Catalog》，标题行写着「372 result families in 722 manuscripts」，日期为 2026 年 10 月 6 日；CONTENTS.md 是一份逐条列出结果家族与对应论文的「手稿地图」，其中每个家族把相关论文归为一组，可能包含一个主结果、配套论证、推论或替代证明；preprints/ 下是 722 个稿件文件夹，每个文件夹对应一篇稿件，文件夹名称里带有日期，时间跨度从 9 月 10 日至 10 月 6 日。
按目录条目自身的说明，结果包括：「拟黎曼假设」，证明包括 ζ(s) 在内的所有 Dirichlet L 函数在 Re(s) > 7/8 半平面无零点，另有一篇姊妹文稿给出 Re(s) > 11/12 的另一条证明；希尔伯特第十问题在有理数域上的版本，证明不存在判定整系数多项式是否有有理根的算法；Catalan 常数 G 的无理性；理论计算机科学方向的 L = RL = BPL（对数空间有界错误计算的去随机化）；「低于 n log n 的精确整数乘法」，条目称其在通常的多带比特模型中推翻了 Schönhage–Strassen 的 n log n 最优性猜想；以及代数几何方向的 CM 阿贝尔簇（具有复数乘法的阿贝尔簇）有理 Hodge 猜想。
以上数字与示例都来自 OpenAI 自己的材料：帖文、仓库目录与总览 PDF。
一款未发布的内部模型，平均 3 小时一个结果
仓库 README 的「How the results were produced」一节交代了生产方式。绝大多数结果由同一套流程得到，执行者是一款「未发布的内部 OpenAI 模型」，帖文称之为「内部前沿模型」。
这类产出属于模型开发中的评估工作。README 写道，在现有数学评估上的表现「饱和」之后，OpenAI 扩大了评估范围；评估中向模型提出了约 4,000 个问题，平均每个结果消耗该模型约 3 小时的「ChatGPT Pro 思考」算力。输出随后被聚合成结果家族与手稿，并要求达到「适当的显著性水平」，形成了上述目录。部分输出建立在模型更早的结果之上。
两处例外没有走这套固定流程：黎曼 ζ 函数无零点区域的工作，以及 CM 阿贝尔簇 Hodge 猜想的证明；其中 Re(s) > 11/12 无零点区域的文稿为了可读性经过人工编辑。
每篇稿件文件夹内附有引用用的 BibTeX，作者署名为 OpenAI，文献标注为「OpenAI Math Release preprint」。
验证进度：162 篇有 Lean 形式化
仓库把验证材料单列出来，也自己写明了限制。lean/ 是一个大型 Lean 4 库，lean/formalization.yaml 的目录列出 162 篇论文的主结果形式化；lean/ComparatorChallenges/ 提供 Comparator 检查配置，README 给出的示例命令，就是用 Comparator 复核「拟黎曼假设」的形式化结果。
README 对验证状态的描述很直接：这批结果「处于不同的验证阶段」，并非所有手稿都有 Lean 形式化，今后会持续补充；「一些尚未形式化的结果可能存在问题」，OpenAI 表示将尽快修复。版本政策则是：更正与修订都会作为新版本发布，旧版本继续可访问。
另有 10 个结果附带模型推理过程的删节摘要（reasoning traces），包括 π 的无理性指数、Mézard–Parisi 公式等。
IAS 顾问组：从成立到这次的咨询
这次咨询的对象，是 9 月 21 日宣布成立的 IAS 数学与人工智能独立顾问组（）；OpenAI 说，这批结果的发布借鉴了该组的建议与公开建议。
OpenAI 当时的说法是，正在与一个独立的数学家顾问组合作，「帮助 OpenAI 负责任地分享 AI 与数学进展」；小组将就如何评估与沟通新的数学结果、如何维护学术与专业标准、如何构建支持数学研究与学习的工具提供建议。
据 TechCrunch 报道（），小组设在 IAS，初始成员是九位数学家，主要起顾问作用：评估新结果的重要性、协调其发布。成员不领薪酬，可以提出未经邀请的建议、公开发表观点、自主决定成员构成；但小组不会放慢或改变 OpenAI 内部研究的节奏，按 OpenAI 的说法，它不负责就「如何把握内部数学进展的节奏」提供建议。报道还引述 IAS 的声明：「虽然我们会提供建议，但我们不对任何 AI 公司拥有决策权，公司所做决定的责任由公司自己承担。」TechCrunch 还提到，这一安排出现在 OpenAI 突然公布纳维–斯托克斯（Navier–Stokes）这一千禧年大奖难题的解之后；报道称「许多知名数学家」对这批结果的发布节奏提出异议，9 月早些时候，25 位菲尔兹奖得主联署公开信，认为 AI 实验室竞相解决著名数学问题的做法威胁到数学家的智力工作。
数小时内的追问与外部整理
Sam Altman 在他的 X 账号上写道：「我们正在进入一个发现的新时代」，并附上 OpenAI 的文章链接（）。
OpenAI 帖文的回复里，有用户把问题指向验证环节：「用一个未具名的内部模型丢出一批结果，与数学通常的做法正相反：没有权重，没有方法，只有定理。谁来核对证明，IAS 顾问组还是 Lean？」（）另一位用户追问「谁来读所有这些证明」，并担心这些文稿最终只会被机器阅读，而机器又会以人类跟不上的速度产出更多新结果（）。
第三方平台 Valency Hub 则在数小时内把这批材料整理成名为「OpenAI October Math Results」的合集，页面显示由 Valency 整理、更新于 10 月 7 日（）。
仓库自己提到，正在「探索社区托管的仓库」来存放这些材料；它同时写明了对错误的处理流程：形式化会继续补充，修正记录为新版本，旧版本保留可查。仓库还承诺：「我们将努力尽快修复任何此类问题。」