OpenAI甩出722篇数学论文，奥特曼要让数字家“瘫坐”？

好家伙OpenAI 刚刚直接给数学界端上了 722 篇论文。这是 OpenAI 一款内部未发布模型产出的数学成果已经打包放进了 GitHub。这些手稿归为 372 组成果供所有人查看。APPSO 先给你把重点划出来722 篇手稿归为 372 组成果。 同一组可能包含主结果、配套论证、推论和不同证明不能直接理解成解决了 722 道独立难题。重点课题涉及准黎曼猜想、唯一博弈猜想、霍奇猜想的特殊情形以及自由群因子问题。 光看题目含金量已经拉满。结果处于不同验证阶段。 部分附有 Lean 形式化材料公开上传也不意味着全部完成学界审查。论文公开了模型还没开放。 人类现在拿到了研究材料接下来要逐项检验、理解和使用它们。GitHub https://github.com/openai/math奥特曼则发文表示我们正在进入一个发现的新时代。OpenAI 的说法现有数学评测快刷满了于是把更多开放研究问题搬上考卷。模型接到约 4000 个问题输出经过归组和重要性筛选形成了这份目录。每项结果平均消耗相当于约三小时 ChatGPT Pro 思考的算力。看这架势奥特曼怕是想让数学家们看完目录先瘫坐在地上缓一缓。准黎曼猜想这次到底走到了哪一步OpenAI 发布这个论文包后罗格斯大学数学教授 Alex Kontorovich 在 X 上的反应问号和感叹号都快装不下了准黎曼猜想你在开玩笑吗如果这是人类做出来的立刻就是一枚菲尔兹奖毫无疑问。黎曼 ζ 函数与素数的分布密切相关。它在某些位置的值为零这些“零点”的位置会影响我们能多精确地描述素数的分布。黎曼猜想认为所有非平凡零点都落在实部等于 1/2 的直线上。这次手稿提出的结论是实部大于 7/8 的区域没有零点。Kontorovich 解释过去在临界带靠近实部 1 的一侧已知的无零点区域会随着虚部升高越收越窄。他原本以为能把这片区域拓宽一点就已经是重大突破。这次手稿给出的却是一条宽度固定、无限延伸的条带。在 0 到 1 的临界带内7/8 右侧整片区域都被划进了“零点禁区”。仓库提供了相关 Lean 形式化材料。“准”字必须要加上完整的黎曼猜想还没有因此解决。唯一博弈猜想多少有点给算法优化泼冷水的意思。很多计算问题想快速拿到最优答案太难只好争取一个足够好的近似答案。比如 Max-Cut把关系网里的点分成两拨尽量让更多连线跨过两拨之间。这组论文宣称证明了唯一博弈猜想并给出 Max-Cut 等问题的近似难度界限。若证明成立在 P≠NP 这个尚未证实的前提下高效算法在一般输入上的最坏情况近似保证就无法突破相应界限。具体数据或特殊结构上的表现仍可能继续改善。翻到霍奇猜想又是一个千禧年大奖难题。它关心复杂几何空间中的某类特征能否由多项式方程定义的几何部件来表达。这次论文处理的是 CM 阿贝尔簇上的有理霍奇猜想一个特殊而重要的类别。完整的霍奇猜想依然不能就此宣布解决。这项成果目前也未列出配套 Lean 形式化。自由群因子的问题读起来有点绕。想象用两套基础操作分别搭出庞大的数学运算系统。一个从两个生成元出发另一个从三个出发最终形成的算子代数结构上能不能完全对应论文给出的答案是可以范围还覆盖了所有参数大于 1 的插值自由群因子包括无穷参数情形。仓库提供了相关 Lean 形式化材料。这里相同的是构造出的算子代数结构原来的自由群并没有因此变成同一个群。谈到 AI 给数学界带来的变化美国西北大学数学家 Bryna Kra 在此次发布前接受 WIRED 采访时说这是个令人不安的时刻但也着实令人兴奋。Lean 都附上了能开香槟了吗按公开目录统计162 篇手稿的主结论附有 Lean 形式化材料。所谓形式化就是把命题、定义和证明写成有严格规则的代码再交给计算机检查。Lean 按逻辑规则核对推导证明不能靠一句“显然成立”糊过去。验证时还要检查它依赖的公理和假设以及有没有尚未补齐的证明。康奈尔大学数学副教授 Daniel Halpern-Leistner 正在开发工具把自动形式化接入数学家的日常研究他前两天在采访中说现在这件事显得非常紧迫因为用自然语言写出的论证正大量涌来。不过机器首先得拿对题目。若把“所有情况都成立”写成“满足额外条件才成立”它检查的就是后一个命题。代码里的定义是否对应原问题需要人来核对。覆盖范围也有区别。准黎曼成果的说明就注明论文后续应用不在该形式化范围内。因此“主结论附有 Lean 材料”还不能给整篇论文的所有结论盖章。OpenAI 也承认部分未形式化结果可能存在问题会继续修订。准黎曼成果的形式化范围说明即便推导经得起检查数学家还要弄清楚这个方法为什么有效、能搬到哪些问题上。这两个月数学家和 OpenAI 没少拉扯OpenAI 这两个月可算是跟数学家杠上了。8 月OpenAI 召集约 40 位数学家暗示模型已解出数百道题。大家要求发表能供同行研究的论文。有与会者称公司保证不会一次性发布OpenAI 发言人则表示不知道有过这个保证。连有没有答应过双方都没对上。9 月 8 日OpenAI 公布纳维—斯托克斯千禧年大奖问题的解答主张附上论文和 Lean 形式化证明。三天后陶哲轩等 25 位菲尔兹奖得主作为最初联署者发表了关于 AI 与数学目标错位的公开信。他们批评 AI 公司把攻克开放问题当作模型评测目标却忽略了理解、引用和人才培养。数学家研究难题还希望从中长出新概念、新方法。答案来得太快这些工作未必跟得上。也有菲尔兹奖得主没有签字。Timothy Gowers 在 9 月 17 日的博客里设想即使一年涌来 1000 项重要成果数学家仍可以按领域分工消化。这会是项大工程但未必做不到。他更担心支撑这些研究和理解工作的学术环境会被破坏。随后独立数学与 AI 咨询小组 AGMAI 成立。OpenAI 在 9 月 21 日的公告中回应了公开信。它还声称一款从 8 月 28 日开始训练的新内部模型已解决“100 多个长期开放问题”。不过公告并未附上这批成果的逐项清单和证明。9 月 29 日咨询小组给出发布建议完善引用写成便于同行理解的论文放到独立学术存档平台并资助人类消化这些成果。它还明确反对继续用科学共同体无法访问的专有模型测试前沿数学问题。今天OpenAI 甩出 722 篇手稿放上 GitHub。OpenAI 设置了修订和引用规范公开 10 份推理摘要承诺资助相关研讨会也表示仍在寻找符合建议的社区托管方式。同一天AGMAI 专门说明提供建议不等于评定成果的影响更不代表认可其产生过程。数学家需要公平获取工具和算力才能选择自己的研究问题。目前生成这些成果的模型仍未向公众开放。研究者可以下载答案却还不能普遍使用同一款工具接着问下去。更值得期待的下一步是数学家也能用上这款模型拿自己的问题去验证。否则大家可能忙着消化 AI 公司选好的题目自己的研究还在排队。原本盼着来个科研助手最后却给 AI 当起了助理这就有点反客为主了。更让我们好奇的是看完这些 AI 写的论文陶哲轩等数学家有什么反应原文链接OpenAI甩出722篇数学论文奥特曼要让数字家“瘫坐”-虎嗅网我的专辑《人工智能生命体 新启点》CSDN平台https://blog.csdn.net/2501_91883294/article/details/147616608?sharetypeblogdetailshareId147616608sharereferAPPsharesource2501_91883294sharefromlink