OpenAI公开722篇数学手稿，涉及黎曼猜想与BSD猜想等难题

希

希鸥网AIGC专员

· 2026-10-18 · AI快讯 · 来源：量子位 966 次阅读

OpenAI一次性公开了722篇数学手稿，全部出自一个尚未发布的内部模型。这些手稿被归为372组结果，模型此前共尝试约4000个研究问题，平均每项结果消耗的算力约相当于ChatGPT Pro思考3小时。论文、源码及部分Lean证明已上传至GitHub，仓库中还包含10份模型推理摘要。

手稿覆盖数论、代数几何、理论计算机科学与统计力学等17个方向。其中最受关注的是第003组“准黎曼猜想”：OpenAI声称证明了ζ函数和所有狄利克雷L函数在实部大于7/8的区域没有零点，同组另一份独立证明给出实部大于11/12的版本，并额外排除“西格尔零点”。第004组则声称，判断整数系数多项式是否有有理数解的通用算法不存在，解决了悬置半个多世纪的有理数域希尔伯特第十问题。

此外，手稿还涉及BSD猜想、霍奇猜想、π的无理性指数恰好为2、卡塔兰常数为无理数，以及唯一游戏猜想等结果。OpenAI表示，绝大多数结果由同一内部模型按固定流程产出，但黎曼ζ函数无零点区域与复乘阿贝尔簇上的霍奇猜想两项未完全走该流程，其中实部大于11/12的证明文稿经过人工编辑以便阅读。