DC娱乐网

10月6日,OpenAI在GitHub仓库`openai/math`中一次性公开了722篇数学论文,归为372组结果,全部出自一个尚未发布的内部前沿模型。该模型从2026年8月28日开始训练,能力据称

OpenAI722篇数学论文的相关内容,来智搜看看。

10月6日,OpenAI在GitHub仓库openai/math中一次性公开了722篇数学论文,归为372组结果,全部出自一个尚未发布的内部前沿模型。该模型从2026年8月28日开始训练,能力据称超过已发布的GPT-6 Astra,至今未对外开放。

这批论文覆盖数论、代数几何、组合学、数学物理、理论计算机等17个数学分支。模型在此前测试中一共被喂入约4000个研究问题,经过筛选后剩下372组被认为有分量的结果。平均每个结果消耗的算力,约相当于ChatGPT Pro连续思考3小时。

几项最引人注目的结果

准黎曼猜想:声称ζ函数和所有狄利克雷L函数在实部大于7/8的区域没有零点。此前数学家只能证明实部大于0.99的无零点区域,这个结论一口气把无零点区域大幅往中间推。同一组的另一份独立证明给出实部大于11/12的版本,额外带有一致排除「西格尔零点」的结论——这正是张益唐多年研究的核心问题。

有理数域上的希尔伯特第十问题:声称证明了不存在通用算法判断整系数多项式是否有有理数解。整数版本的这一问题在1970年已被解决,有理数版本悬置了半个多世纪。

BSD猜想:针对Selmer余秩为0或1等条件的椭圆曲线得到完整公式,结合另一组结果可覆盖有理数域上绝大多数椭圆曲线的二次扭曲。

霍奇猜想:处理了具有特殊复乘结构的阿贝尔簇以及K3曲面的乘积,声称覆盖了这类对象的所有维度和余维。

π的无理性指数恰好为2:此前最好的结果只能把该指数压到7.1左右。

卡塔兰常数是无理数:此前一直没有公认的证明。

唯一游戏猜想:声称给出了完整证明,并附带最大割、顶点覆盖等问题的近似难度结论。

四维挂谷猜想:在三维情形刚刚由王虹和Joshua Zahl于2025年解决之后,OpenAI声称解决了四维情形的维度猜想。 OpenAI722篇数学论文