❯ OpenAI 公开内部模型产出的 722 篇数学手稿，涉及 372 组新结果，多数尚待数学界核验

一次放出 722 篇OpenAI 10 月 6 日宣布，公开一批由内部前沿模型产出的数学新结果：722 篇手稿，归为 372 组相关结果，放在 GitHub 的公开仓库里。据 Runtime Wire 梳理，这些结果来自向模型提出的约 4000 个研究问题，平均每个结果消耗的算力相当于 ChatGPT Pro 思考约三小时。产出它们的模型尚未发布，也没有公布名称。

一个提示词，一个代理据《科学美国人》报道，372 组结果几乎都出自同一种做法：把同一个提示词交给单个 AI 代理，其中一些可能尝试了多次。内容涵盖数论、组合、理论计算机科学和数学物理。少数结果没有走标准流程，包括关于黎曼 ζ 函数和一类霍奇猜想的工作。

并不都经过验证仓库为许多结果附上了 Lean 形式化证明，也就是能由计算机逐步检查的证明，但不少手稿还没有。OpenAI 自己提醒，未形式化的结果可能有问题，引文和表述也还需要打磨。它说发布方式参考了设在普林斯顿高等研究院的“数学与人工智能”独立顾问组的建议，该顾问组没有决定权。

数学界的不安WIRED 独家报道称，OpenAI 8 月曾召集约 40 位数学家，讨论 AI 能力超过人类后该怎么办，并暗示模型已解决数百个长期未决的问题。有与会者说公司当时保证不会一次性放出全部结果，OpenAI 发言人表示“不知道”有此保证。一位数学家对 WIRED 说，头部 AI 公司给人“黑帮行为的观感”。几百篇证明同时出现，逐一核对它们对错和价值的工作落到了数学家身上。

▮ SIGNAL证明可以成批生产之后，数学里稀缺的环节从“想出证明”变成了“确认证明”，而后者目前仍然只能靠人。