7.5
深览指数
科技微博·南方人物周刊··AI 生成
AI速通多项难题：人类还需要数学家吗？
2026 年 10 月，OpenAI 一次性公布 722 篇由 AI 生成的数学研究手稿，声称解决「唯一博弈猜想」等多项难题。短短一个月前，AI 还宣称攻克了「纳维-斯托克斯方程」这一千禧年大奖难题。文章以卡罗梅隆大学数学教授罗博深的深度访谈为主体，探讨 AI 对数学研究的「釜底抽薪」式冲击：不仅在于成果数量，更在于 AI 开始进入猜想提出与证明构造的核心环节。不同于纯叙事报道，本文主要贡献在于提供了一位「非典型数学家」视角的未来出路：人类数学家需将目标从「证明难题」转向「理解 AI、引领方向、造福人类」，并对数学教育和大学评价体系提出了具体调整建议。适合关注 AI 对基础学科冲击的科技行业从业者、科研管理者和数学爱好者阅读。原文 ↗
核心观点
- ▍AI 已经开始进入数学研究的核心环节（猜想提出、证明构造），而非仅作为辅助工具。这颠覆了数学家赖以为生的核心工作方式，迫使数学界重新定义自身价值。
- ▍人类数学家的未来价值不在于继续与 AI 比拼解题能力，而在于保持对数学的深入理解以「掌舵」AI 方向，并将数学思维应用于解决更广泛的现实世界问题。
- 012026 年 10 月 7 日，OpenAI 一次性公布 722 篇主要由 AI 模型生成的数学研究手稿，涉及 372 组成果，平均每项成果的计算消耗约等于 ChatGPT Pro 思考模式运行 3 小时。成果声称解决了理论计算机科学的重要开放问题「唯一博弈猜想」。
- 022026 年 9 月 8 日，OpenAI 的 AI 智能体经过约 88 小时工作，声称找到了克雷数学研究所「千禧年大奖难题」之一的「纳维-斯托克斯方程」的解法，证明论文长达 166 页。
- 03罗博深指出，已有多位数学家的科研经费因 AI 的冲击而受到影响，并签署公开信表达「存在性危机」。一群加州理工数学家发起联名信，呼吁暂停 AI 集中探索开放数学问题的 Mathathon 活动，将其比作「蝗虫过境」。
- 04罗博深观察到，许多美国大学的数学教授在社交平台上撰写长文，严肃讨论「数学研究的未来是什么」和「数学应该做什么」，这种讨论正在带动领域内目标函数的调整。
- 05罗博深认为，数学训练的价值不仅限于数学研究，并以罗马尼亚现任总统（数学奥赛满分出身）、现任教皇（本科主修数学）、新加坡前总理（剑桥数学系）为例，说明数学思维可用于处理复杂的公共系统问题。
反方 / 局限
- — OpenAI 在公布后撤下了其中三篇手稿，原因是符号错误导致论证失效；另有 14 篇手稿得到修订。这暗示 AI 生成成果的可靠性仍存疑。
- — 来自人类数学协会（AHM）的批评认为，OpenAI 一次性释放七百多份文件是「权力的展示」而非学术研究能力的展示，并呼吁数学家停止与其合作。
- — 数学与人工智能咨询组（AGMAI）指出，人类对这些 AI 成果的理解和吸收才刚刚开始。数学研究的未来不能只是理解 AI 产出，数学家还必须能够自主提出问题、发展自己的研究方法。
17 分钟 · 4 卡片 · 11 资料
读原文 →