OpenAI 一次性发布近 400 项数学成果，数学家称需数年才能消化
速览
OpenAI 本周突然发布近 400 项 AI 生成的数学结果，覆盖 700 多份手稿，涉及组合学、几何、数论等多个领域。数学家表示光是理解这些成果就要花数年时间，且其中只有约 42% 经过 Lean 证明助手的形式化验证。对数学界而言，这意味着学术生态可能被彻底改变，职业路径和评价体系都将面临重构。
OpenAI 将这批成果分散在 700 多份手稿中，涵盖组合学、几何、数论、理论计算机科学、代数、拓扑、概率和统计力学、数学物理等学科。由于体量巨大，OpenAI 不得不发布指南来帮助研究者导航其 GitHub 仓库。多位数学家告诉 The Verge，仅浏览约 40 页的目录和摘要就需要近一个小时。
验证程度参差不齐是普遍担忧。OpenAI 在 GitHub 上承认结果「处于不同验证阶段」，只有约 42% 的顶级结果（300 项）有 Lean 形式化证明，且质量不一。帝国理工学院数学教授 Kevin Buzzard 表示，在他所在的代数数论领域，只有约六个结果「脱颖而出」，其中几乎没有经过 Lean 形式化验证。有研究者担心，无法立即确认正确性的结果就是 AI「slop」（低质量、常出错的 AI 生成内容）。
数学界对 OpenAI 此前论文的引用不规范颇有微词，部分研究者将这次发布称为「slopocalypse」（垃圾海啸）。不过也有数学家表示，初步印象比预期好，OpenAI 至少在部分手稿上比以往更用心。
原文‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest droptheverge.com
#OpenAI#数学研究#重大发布
本文由程序自动抓取公开报道，经 AI 筛选与改写生成，未经人工逐条核实，事实以原文为准。