7.6
深览指数
科技腾讯新闻·字母AI··AI 生成
王虹靠三维挂谷拿菲尔兹奖，OpenAI用3小时就解决了更难的四维版
OpenAI宣称其未公开的内部模型在约3小时内解决了三维挂谷极大函数猜想和四维豪斯多夫维数猜想，并在GitHub发布了722份数学手稿。文章详细解释了挂谷猜想的基本概念，并指出OpenAI的成果建立在王虹等人类数学家的突破之上。然而，数学界普遍质疑这些手稿缺乏同行评审和Lean形式化验证，多数结果连OpenAI自己的数学家也未能完全理解，担心这更像是模型能力的一次“性能营销”。核心冲突在于：AI声称的数学突破速度，与人类验证能力的缓慢节奏之间产生了严重错位，迫使读者思考“一个人类无法在短时间内验证的证明是否算证明”。原文 ↗
核心观点
- ▍OpenAI用未公开模型在3小时内解决了三维挂谷极大函数和四维豪斯多夫维数猜想，这比王虹获菲尔兹奖的三维挂谷集猜想难度更高，但在未经验证前，这仅是宣称而非定论。
- ▍数学界对OpenAI发布722份手稿的反应强烈且以质疑为主，认为这是一种缺乏验证的“性能营销”，核心问题在于人类无法在短时间内验证这些成果。
- 01王虹于2026年因解决三维挂谷集猜想和傅里叶限制问题获得菲尔兹奖，其证明经近一年半的同行审读才被广泛认可。
- 02OpenAI发布的手稿中，074号成果族明确是建立在王虹研究成果的基础上，MIT数学家拉瑞·古斯在2025年曾预言王虹的证明可改造用于更高维问题。
- 03OpenAI声称其内部模型在约3小时的ChatGPT Pro算力下，从约4000个问题中筛选归并出722篇手稿，但未公布具体模型和提示词。
- 04在722篇手稿归并的372个成果族中，有235个带有Lean形式化说明，但关键的074号手稿没有，且OpenAI承认其部分结果连内部数学家也未完全理解。
- 052026年9月，OpenAI曾宣称解决了纳维-斯托克斯方程这一千禧年难题，但相关证明被数学家评价为“难以理解”。随后，25位菲尔兹奖得主联名公开信批评AI公司此行为。
反方 / 局限
- — MIT数学家安德鲁·萨瑟兰指出，除非OpenAI公开模型供人复现，否则“单次提示解决问题”的说法应视为未经证实。
- — 人文数学协会认为OpenAI的行为是“性能营销”，并呼吁数学家停止与其合作。
- — 数学界指出，即使通过Lean验证，也可能因翻译偏差导致验证的不是原问题，且Lean无法判断结果的新意或价值。
11 分钟 · 4 卡片 · 10 资料
读原文 →