7.2
深览指数
科技虎嗅·AppSo··AI 生成
OpenAI甩出722篇数学论文，奥特曼要让数字家“瘫坐”？
OpenAI 发布了其内部模型产出的 722 篇数学手稿，涉及准黎曼猜想、唯一博弈猜想等重大课题，并部分附有 Lean 形式化证明。文章核心是报道这一事件及其引发的数学界震荡，呈现了支持派（如认为发现新时代到来）与反对派（如菲尔兹奖得主公开信批评 AI 公司以攻克难题为目标）的尖锐对立场面。文章指出，虽然成果看似重磅，但模型的未开放、数学家的消化能力以及研究自主性受挑战等问题，才是更值得关注的后续。适合关注 AI 在基础科学领域应用、学术伦理及数学研究范式变革的读者。原文 ↗
核心观点
- ▍OpenAI 发布内部模型产出的 722 篇数学手稿，涉及重大猜想，但其未开放模型、成果验证尚存疑且引发学界对研究自主性的担忧，事件的核心矛盾在于 AI 产出速度与人类理解、消化能力之间的巨大鸿沟。
- 01OpenAI 发布了 722 篇手稿，归为 372 组成果，涉及准黎曼猜想、唯一博弈猜想、霍奇猜想特殊情形等，并称部分结果附有 Lean 形式化材料。
- 02罗格斯大学数学教授 Alex Kontorovich 对“准黎曼猜想”成果表示震惊，称若为人类成果将直接获得菲尔兹奖。
- 03文章详细解释了准黎曼猜想成果的具体内容：证明了实部大于 7/8 的区域没有零点，这是一个宽度固定、无限延伸的条带，而非以往的“收窄”式进展。
- 04OpenAI 承认部分未形式化的结果可能存在问题，会继续修订；且形式化范围不包括准黎曼成果的论文后续应用。
- 059 月 8 日，OpenAI 公布纳维-斯托克斯方程解答的主张；三天后，以陶哲轩为代表的 25 位菲尔兹奖得主联署公开信，批评 AI 公司以攻克开放问题为目标，忽略了理解、引用和人才培养。
反方 / 局限
- — 菲尔兹奖得主 Timothy Gowers 认为即使一年有 1000 项成果，数学家仍可分工消化，但更担心学术环境被破坏。
- — 独立数学与 AI 咨询小组 AGMAI 明确反对用专有模型测试前沿问题，并建议成果应放在独立学术平台并资助人类消化。
- — 生成这些成果的模型仍未向公众开放，导致研究者无法使用同一工具提出自己的问题，可能沦为 AI 的“助理”。
OpenAISam AltmanAlex Kontorovich陶哲轩Timothy GowersBryna KraDaniel Halpern-Leistner黎曼猜想唯一博弈猜想霍奇猜想Lean菲尔兹奖AGMAI (独立数学与AI咨询小组)
10 分钟 · 4 卡片 · 11 资料
读原文 →