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

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

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