AI 两周连破十余项数学难题，是变革还是误读

近日，Hacker News 上的一篇汇总帖引发数学界与 AI 社区的激烈讨论：作者梳理了过去约两周内，由 AI 模型（多为所谓的「GPT‑5.6 Sol」系列）参与或主导攻破的十余项数学、图论、量子信息与理论计算机科学难题，时间跨度从 7 月 20 日延续至 7 月 31 日。这些问题中既有悬而未决数十年的开放猜想，也有被视为相关领域旗舰级别的难题。

两周内的「破题时间线」

• 7 月 20 日：数学家 Levent Alpöge 宣布证伪 Jacobian 猜想，该问题开放了 87 年；据称其解法被陶哲轩评价为包含真正的创造性洞察，而非「暴力搜索」。
• 7 月 22 日：Dmitry Rybin 宣布证伪 Dinitz–Garg–Goemans 猜想（约 30 年），方法是直接向 ChatGPT 索要反例并要求其持续研究。
• 7 月 23 日：Jared Zoneraich 解决了 West 开放问题列表中 Graffiti 猜想 39 与 40（约 40 年）以及 Brandt Regular Supergraph 问题（约 20 年）；同日，Shouqiao Wang 宣布 5 天内借助 GPT‑5.6 Sol 解决了 6 个 Erdős 开放问题。
• 7 月 24 日：Prabhanjan Ananth 与 Amit Sahai 借助 GPT‑5.6 Sol Ultra 解决了悬而未决 6 年的量子不可克隆加密问题。
• 7 月 25 日：Digvijay Bokey 证伪 Levit–Mandrescu 猜想（约 20 年）。
• 7 月 26 日：三个独立小组几乎同时解决了量子信息理论中一项 26 年悬而未决的重大问题，其中两个明确使用 GPT‑5.6 Sol，第三个抢先发表但未披露是否使用 AI。
• 7 月 30 日：腾讯的 Hyra 研究智能体协助解决了一项 57 年历史的组合数学难题；同日，Dominik Peters 借助 GPT‑5.6 Sol Ultra 解决了关于三人投票排序的 25 年开放问题。
• 7 月 31 日：Philip Arathoon 借助 GPT‑5.6 Sol 给出反例，证伪开放了 153 年的 Maxwell 猜想。

帖文还声称 OpenAI 即将发布的新一代模型 Astra 一次性解决了 10 项数学、量子复杂性与理论计算机科学开放问题，按 Sol API 价格计算，全部证明生成成本不足 2000 美元。

数学界反应两极

部分数学家对这一系列进展表示振奋，认为 AI 正在开启数学研究的全新阶段，可能催生大量新问题与新方向。但也有声音指出，这些进展并不等同于「AI 学会了数学」——AI 更多是辅助定位反例或构造性对象，而非自主提出全新猜想或开辟新分支。距离下一届菲尔兹奖（2030 年）尚有数年，作者直言难以想象届时人类数学家能在产出上超越 AI。

历史视角与潜在外溢

帖文援引历史上的转化链条：Euler 1763 年的定理在 1977 年演变为 RSA 加密、Riemann 1854 年的几何学在 1915 年支撑了相对论并最终落地为 GPS、Shannon 1948 年的信息论则成为现代通信与互联网的基石。作者认为，数学突破一旦发生，其向产业、科研外溢的潜力几乎是无限的，短期最值得期待的是自主药物发现以及 ML / 半导体制造等领域的连锁突破。

需谨慎看待的疑点

需要指出的是，该帖为匿名作者在 Hacker News 发布的个人汇总，文中反复出现的「GPT‑5.6 Sol / Sol Ultra / Pro」「Astra」「Hyra」等名称与目前 OpenAI 与腾讯已公开的模型体系并不完全吻合，文中所附链接多为社交媒体讨论而非正式论文，且原始文本在结尾处被截断。在独立学术论文或一线权威媒体完成交叉验证之前，宜将其视作高度乐观的社区叙事，而非已成定论的科研事实。