OpenAI 发布 722 篇由未发布内部模型生成的数学手稿，归入 372 个相关结果族，来自约 4000 道研究问题的评测，官方称标准流程每个结果平均消耗 3 小时 ChatGPT Pro 思考算力，模型本身仍未发布。
材料梳理了 OpenAI 未发布模型产出的数学手稿清单与算力效率变化，可据此观察 AI 在数学研究中的推进节奏。
好吧，我仔细看了一下结果，OpenAI 的 AI 生成数学手稿比我最初想的还要*重要得多*。
我花了一上午研究它。一些想法。
这份清单简直离谱。zeta 函数的无零点半平面（Re s > 7/8），这是这类结果一个多世纪以来的第一个。有理数上的希尔伯特第十问题。CM 阿贝尔簇的霍奇猜想。卡塔兰常数的无理性。还有几十个。
其中任何一个通常都足以成为一份事业。
但很多人没看到的数字是下面这个：是 3。这是每个结果平均消耗的 ChatGPT Pro 算力小时数。一个月前，Navier–Stokes 花了他们大约 10,000 个智能体和 88 小时。仅仅几周内就有这样的效率提升。
另外 OpenAI 声称解决了准黎曼猜想。仅这一点就会是数学史上的突破。
这是著名黎曼猜想的一个较弱版本，后者关乎素数如何分布。完整的猜想仍未解决，但所声称的这一进展本身就将是巨大的。
数学推特显然震惊了。再说一次：这字面上就是此刻正在发生的智能爆炸。2027 年将是超级智能之年。我现在对此深信不疑。
天哪，传闻是真的：OpenAI 发布了 722 篇由*未发布*的内部模型生成的数学手稿。 该合集将它们归入 372 个相关结果家族，源自一项涉及约 4,000 个研究问题的评估。 OpenAI 表示，标准流程平均每个结果使用了三小时的 ChatGPT Pro 思考算力。 此次发布包含论文、证明工件以及精选的推理摘要。模型本身仍未发布。
原文
HOLY, the rumors were true: OpenAI has published 722 mathematical manuscripts produced by an *unreleased* internal model. The collection groups them into 372 families of related results, drawn from an evaluation involving approximately 4,000 research problems. OpenAI says the standard procedure used an average of three hours of ChatGPT Pro thinking compute per result. The release includes papers, proof artifacts and selected reasoning summaries. The model itself remains unreleased.
来源：Chubby♨️ · x.com