7.7
深览指数
科技虎嗅·字母AI··AI 生成
王虹靠三维挂谷拿菲尔兹奖，OpenAI用3小时就解决了四维版？
文章报道了OpenAI用一个未公开的内部模型，在3小时内产出了722篇数学手稿，声称解决了四维挂谷集猜想和三维挂谷极大函数猜想，难度高于王虹获奖的三维挂谷集猜想。文章核心不在于鼓吹AI超越数学家，而是深入探讨了AI生成证明的验证困境：手稿未经同行评审、缺乏Lean形式化、人类数学家难以在短期内消化海量论证。作者立场冷静，平衡呈现了支持与质疑的声音，并点出‘一个人类无法验证的证明算不算证明’这一核心难题。适合对AI科学能力与数学前沿交集感兴趣的读者。原文 ↗
核心观点
- ▍OpenAI在3小时内产出的数学手稿声称解决了难度更高的四维挂谷集猜想和三维挂谷极大函数猜想，但其核心意义不在于‘超越菲尔兹奖’，而在于暴露了AI生成数学证明后的验证危机——人类能否、以及如何验证AI的‘证明’才是真正的难题。
- ▍文章结论是：一个人类无法在短时间内验证的‘证明’，其是否为证明的定性，是留给数学界的核心难题。
- 01OpenAI用一个未公开的内部模型，通过一个提示词让Agent跑，平均每个结果消耗约3小时算力，从约4000个问题中筛选出722篇手稿，归为372个成果族。
- 02OpenAI的074号手稿声称解决了四维挂谷集的豪斯多夫维数等于4，将人类此前卡在3.059维的最佳纪录提升到了理论上限。
- 03074号手稿明确表示建立在王虹关于三维挂谷集猜想的研究成果之上，并非从零开始。
- 042025年3月，MIT数学家拉瑞·古斯曾预言王虹的证明可能被改造后用到更高维问题上。
- 05王虹的证明从2025年2月挂出到2026年7月菲尔兹奖揭晓，经历了近一年半的同行检验。
- 06722篇手稿中，仅有235个（约63%）成果族带有Lean形式化说明，074号手稿没有。
反方 / 局限
- — OpenAI承认，这些结果中有不少连自己的数学家也尚未完全理解，包括074号手稿。
- — 人文数学协会等组织质疑此举是‘性能营销’；25位菲尔兹奖得主联名批评AI公司仓促发布‘攻克名题’阻碍数学发展；部分数学家认为不公开模型和提示词，结果应视为未经证实。
- — 文中也给出另一方观点：多伦多大学丹尼尔·利特认为，如果知道答案，没有理由要求公司藏起来，这对数学是好事。
11 分钟 · 4 卡片 · 10 资料
读原文 →