50年难解之谜，1小时告破？AI 攻克数学界重大难题

AI Summary

OpenAI 的 GPT-5.6 Sol Ultra 模型利用 64 个子智能体，在 1 小时内成功证明了 50 年未解的数学难题——“循环双覆盖猜想”。

想象一下。你面前有一个困扰了人类 50 年的巨大拼图。世界各地的顶尖数学家苦思冥想，却无人能找到答案。然而，人工智能（AI）突然出现，仅用 1 小时就拼好了所有碎片，给出了完美解答。这听起来像电影情节吗？但这确实发生了。

2026 年 7 月 10 日，OpenAI 宣布其最新 AI 模型“GPT-5.6 Sol Ultra”证明了困扰数学界 50 年的“循环双覆盖猜想”（Cycle Double Cover Conjecture）(来源: Wikipedia, 来源: X)。

你可能觉得，仅仅解开一道数学题算不上什么大事。但这标志着 AI 不再仅仅是写作或绘画的工具，它已经进化为能够解决人类长期以来无法攻克的复杂逻辑难题的“智力伙伴”。

数学是所有科学技术的语言。数学难题的破解，意味着与之相关的物理学、计算机科学、密码学等与我们生活息息相关的各项技术，都有了进一步跃升的基础。尤其是这次成果表明，AI 通过子智能体之间的协作，在短时间内解决了即便人类耗费数十年也难以攻克的课题，充分展示了 AI 推理能力的飞跃式发展(来源: X)。

“循环双覆盖猜想”听起来就很深奥，让我们用一个比喻来解释。

想象一下你有一张错综复杂的道路网（图）。现在，你需要遍历所有的道路。允许重复经过已经走过的路。那么，你能否组合出一些路径（循环），使得每条道路恰好被经过两次呢？

数学家们一直坚信：“只要是连通性良好且没有桥（无桥 3 正则图）的道路网，就一定能做到。”然而，如何在数学上完美证明这一点，成了 50 年来无人能解的难题(来源: Wikipedia, 来源: X)。

此次使用的 GPT-5.6 Sol Ultra 就像 64 名专业数学家分工协作一样，启动了 64 个子智能体（执行任务的辅助 AI），对海量的数学可能性进行了审查。这就像 64 个人同时分担解开一团巨大的乱麻，最终找出了最高效的路径(来源: X)。

OpenAI 公布的证明文档中明确指出，这项工作完全由 GPT-5.6 Sol Ultra 完成(来源: A PROOF OF THE CYCLE DOUBLE COVER CONJECTURE OPENAI)。

目前的 GPT-5.6 系列分为 Luna、Terra 和 Sol 三个阶段，此次取得成果的“Sol Ultra”是其中推理能力最强的顶级模型(来源: GPT-5.6 Sol Ultra vs Claude Fable 5 (2026), 来源: OpenAI представила семейство моделей GPT-5.6 — Софт на DTF)。这表明它在拆解复杂问题及进行逻辑验证方面的能力有了显著提升，早已超越了单纯的数据学习阶段。

不过，正如所有技术一样，AI 的证明是否完美，还需要人类数学家的审查。只有在确认 AI 给出的结果逻辑严密、没有跳跃之后，这一证明才能被真正视为“数学证明”。

此次事件预示着利用 AI 进行的基础科学研究将加速发展。在数学、生物学、材料工程等领域，以往必须由人类亲自证明的内容，未来可能演变为“AI 先提出复杂的计算和逻辑假设，人类负责验证并扩展”的协作模式。

或许在不久的将来，你就会接触到人工智能提出的全新数学公式，或是前所未见的新药候选分子原理。AI 从单纯的信息检索工具向“科学发现的同伴”转变的时代，此刻正如约而至。

1 小时解决 50 年未解之谜，这不仅是技术上的奇迹，更引发了关于人类智能扩展的思考。AI 提出的这一数学证明将如何丰富人类的知识体系，接下来的突破又是什么？观察这一切，已成为我们的一项有趣课题。

参考资料

Share this article:

测试你的理解

Q1. 此次 AI 解决的数学难题名称是什么？

OpenAI 的 GPT-5.6 Sol Ultra 模型证明了困扰数学界 50 年的“循环双覆盖猜想”。

Q2. GPT-5.6 Sol Ultra 为解决该问题利用了什么？

GPT-5.6 Sol Ultra 通过将 64 个子智能体联网协作的方式完成了证明。

Q3. AI 完成该证明耗时多久？

GPT-5.6 Sol Ultra 在不到 1 小时的时间内证明了这一复杂的数学难题。