OpenAI 公开 722 篇数学手稿，称由内部前沿模型产出
OpenAI 用内部前沿模型批量产出 722 篇数学手稿并公开，覆盖多个长期未解猜想，但多数结果尚待同行验证与形式化补全。
OpenAI 一次性放出 722 篇数学手稿，归为 372 个成果族，覆盖数论、组合数学等 17 个方向，其中包括准黎曼猜想、四维挂谷猜想、唯一游戏猜想等长期未解问题。团队称这些结果由尚未发布的内部前沿模型产出，约六成附带 Lean 形式化证明，未形式化部分可能存在问题。
正文摘录
.jpg) 就在今天早上，AI 圈与数学圈真炸锅了，很多研究者与网友真・瘫坐在了椅子上，被智能爆炸所震撼。  很难以想象，这个 Github 仓库里放着不是一个两个重量级的数学成果，而是足足 722 个！ 这是一份数学论文清单： 722 篇手稿，归入 372 个成果族，全部由一个尚未发布的内部前沿模型产出 。 清单上的名字，足以让任何读过研究生数学课程的人停下来多看几眼：准黎曼猜想、四维挂谷猜想、唯一游戏猜想、自由群因子同构问题、有理数域上的希尔伯特第十问题、CM 阿贝尔簇的霍奇猜想、马勒猜想…… 这些问题里，有的悬置了半个世纪以上，有的曾是菲尔兹奖级别工作的延伸方向。 Sam Altman 表示我们正在进入一个大发现的新时代。