GPT-5.6 协助数学突破：推翻 30 年图论猜想、5 天破解 6 道 Erdős 问题

近期，多则关于 AI 参与数学前沿研究的案例在社交平台引发广泛关注。事件主角是被称为「GPT-5.6 Pro」与「GPT-5.6 Sol」的模型：前者被用于构造反例，证伪一项悬而未决 30 年的图论猜想；后者则被一名哥伦比亚大学博士生用于批量攻克 6 道长期标记为「开放」的 Erdős 问题。这些案例在菲尔兹奖公布前夕被大量转发，并衍生出「这可能是人类最后一届菲尔兹奖」的讨论。

GPT-5.6 Pro 推翻 Dinitz-Garg-Goemans 猜想

Dinitz-Garg-Goemans 猜想源于三人此前证明的一个结论：当分数流满足容量限制时，必然存在一个不可分割流，代价是容量至多被超出「最大需求」那么多。Goemans 进一步提出猜想：能否在不超容的前提下，也让成本不增加？这一成本版结论在 2023 年与 2026 年初的文献中仍被标注为开放，几乎所有研究图流问题的人都曾尝试过。

据 Dmitry Rybin 公开的完整对话记录，GPT-5.6 Pro 给出的反例为：三个终端的需求分别为 15、10、15，各自有零成本的「便宜路」和成本 30 的「贵路」。三条便宜路两两冲突，因此任何整数解最多只能使用其中一条，其余两个终端被迫走贵路，成本至少 60；而分数流可以以 1/3、2/5、1/3 的比例同时利用三条便宜路，成本仅 58。58 < 60，三十年猜想因此被证伪。整个过程中 Rybin 仅发出三句引导性指令，要求模型从结构化反例出发，逐步给出无条件、完整的反例。

值得注意的是，Rybin 拥有香港中文大学（深圳）机器学习博士学位，曾获国际大学生数学竞赛金牌、全国数学奥赛金牌，目前是一家估值约 1 亿美元 AI 创业公司的联合创始人。他此前的工作集中在算法发现与因果注意力机制优化，其 GitHub 仓库展示了使用 OpenEvolve 进行算法搜索与优化的实验。

哥大博士 5 天破解 6 道 Erdős 开放问题

几乎同一时间，哥伦比亚大学商学院博士生 Shouqiao Wang（北大数院校友）公开了自己的工作流：他使用 GPT-5.6 Sol 配合 Codex，在 5 天内解掉了 6 道标记为「开放」的 Erdős 问题，期间共尝试约 13 道，成功率约 46%，其中一道单题连续运行了 32 个小时。其中一题是陶哲轩曾研究过、至今未公开解决的问题。

他将方法归纳为三条：

• 选题阶段只挑选数学社区正在讨论的问题，并利用 AI 筛除那些与重大猜想深度耦合、当前不宜正面攻克的题目。
• 对「什么算解决问题」给出精确的形式化定义：完整重述问题、明确证明必须建立的所有结论、列出哪些弱结论不计入、点名该题特有的陷阱。
• 在推理链之外引入独立的对抗 Agent，对每一条候选结论进行交叉审查。

整体流程被描述为一个不断循环的「尝试 → 失败 → 诊断 → 换路线 → 写证明草稿 → 对抗审计 → 修补」链条，模型在其中反复推翻并攻击自己的论证，直到外部审查无法再挑出实质问题。Wang 本人 13 岁即在欧几里得数学竞赛中拿下世界第一，2016、2017 年连获 CMO 银牌，并于 2017 年获全国高中数学联赛第一名，2018 年进入北大数学科学学院。

「人类最后一届菲尔兹奖」的讨论

菲尔兹奖公布前后，社交平台上出现了一种说法：在 4 个半小时内击碎 30 年悬案、5 天连破 6 道开放问题的 AI，或许正在重塑纯人类智力的边界。文章援引这一观点，认为这并非终点，而是 AI 与人类共生探索新阶段的开始——从单兵作战到多 Agent 自主对抗，AI 正逐步成为能够拓展认知边界的「科研搭档」。

需要提示的是，「GPT-5.6」并非当前已公开确认的 OpenAI 模型名称，相关案例目前主要来自当事人在 X（原 Twitter）平台发布的对话记录与工作流截图，尚未见到经同行评审或学术机构正式认证的报告，读者在引用时应结合原始链接（https://x.com/DmitryRybin1/status/2079904005652893709 、https://x.com/Qiaoqiao2001/status/2080003441821163958）自行核实。