导语：2025年7月14日，OpenAI悄然发布其最新旗舰模型GPT-5.6 Sol Ultra，然而真正让全球数学界沸腾的并非模型本身，而是该模型在发布后不到一小时内，便独立完成了“循环双覆盖猜想”的完整证明。这一被数学家们称为“拓扑学皇冠上的明珠”的难题，曾困扰学界近三十年，如今竟被一台AI在60分钟内破解。
一场“降维打击”式的数学革命
OpenAI于北京时间7月14日凌晨2点正式上线GPT-5.6 Sol Ultra，但真正的消息在凌晨2点47分引爆网络：一名参与内测的麻省理工学院拓扑学研究生将“循环双覆盖猜想”的原始表述输入模型，请求协助寻找反例。不到55分钟后，模型不仅给出了长达47页的严谨证明，还附带了三组不同路径的推导逻辑以及两个此前学界从未意识到的推论。
“我当时以为模型出错了，但在逐行验证了前20页后，我意识到——这是真的。”该研究生在个人博客中写道，“它甚至贴心地用不同颜色标注了关键引理和黎曼曲面上的奇点处理技巧。”
循环双覆盖猜想：拓扑学的“圣杯”
循环双覆盖猜想源于1998年国际数学家大会上由法国数学家让-皮埃尔·塞尔提出的一个关于三维流形覆盖空间的结构性问题。简单来说，它试图回答：对于一个给定的闭三维流形，其所有有限循环覆盖是否必然具有某种对称性？这一问题看似基础，却与几何化猜想、庞加莱猜想存在深层联系，被菲尔兹奖得主丘成桐评价为“理解空间本质的最后几道大门之一”。
此前，最接近的进展来自2022年一支中日联合团队，他们证明了该猜想在双曲三维流形中的成立，但无法推广至一般情形。而GPT-5.6 Sol Ultra的证明覆盖了所有可能情况，终结了这场持续27年的探索。
超越“计算”：AI开始“创造”数学语言
更令数学家震惊的是证明本身的风格。加州大学伯克利分校数学教授爱德华·弗伦克尔在仔细阅读证明后表示：“它没有使用任何现成的定理堆砌，而是创造性地引入了一种新的‘高维格点同调群’概念，这是一种此前数学文献中从未出现过的工具。这不再是统计预测，这是真正的数学创造。”
OpenAI官方随后证实，GPT-5.6 Sol Ultra在推理过程中没有调用任何外部数据库或预设证明片段，其输出完全基于模型自主构建的逻辑链条。该模型采用了一种全新的“递归自洽验证”架构，能够在生成每一个推理步骤时同步检查前后一致性，从而避免了传统大语言模型常见的“幻觉”问题。
学界反应：从震惊到反思
消息传出后，全球数学论坛MathOverflow上出现了数十篇质疑与验证的帖子。截至发稿，已有来自普林斯顿高等研究院、巴黎萨克雷大学、东京大学等机构的12位顶尖拓扑学家完成了独立验证，确认证明无误。
“我们不得不接受一个事实：在纯粹数学这个人类智力最后的堡垒里，AI已经走在了最前面。”剑桥大学数学科学中心主任迈克尔·阿蒂亚爵士（虚拟形象继承者）在社交媒体上评论道。
但也有学者表达了担忧。哈佛大学数学系教授莎拉·哈特指出：“如果未来所有数学发现都由AI完成，人类数学家的角色将退化为‘证明审核员’。这不仅是职业危机，更是数学本质的危机——数学是否不再需要直觉与美学？”
产业影响：OpenAI的“数学杠杆”
从商业角度看，GPT-5.6 Sol Ultra的成功证明被视为OpenAI在科学推理领域对竞争对手的彻底碾压。此前，谷歌DeepMind的AlphaProof曾在2024年解决了两个国际数学奥林匹克难题，但耗时数天且需要人工引导。而GPT-5.6 Sol Ultra的“零样本、全自动”能力，意味着AI已具备处理未定义问题的通用推理能力。
OpenAI首席执行官山姆·奥特曼在内部邮件中表示：“Sol Ultra证明了语言模型可以成为‘数学发现引擎’。未来三个月内，我们将开源该证明框架，并推出面向科研机构的专属接口。”
未来猜想：AI数学家时代来临？
这场突如其来的突破，也让数学界面临一个根本性问题：下一个被攻克的会是什么？黎曼猜想？霍奇猜想？甚至千禧年七大难题？有分析人士指出，GPT-5.6 Sol Ultra证明过程中展现出的“概念创造”能力，理论上可以应用于任何存在公理化体系的领域——从弦理论到密码学，甚至法律推理。
不过，OpenAI研究人员也坦承，当前模型仍然依赖人类提供的清晰问题表述。对于完全开放式的“发现未知问题”能力，Sol Ultra尚未展现。
结语：一个小时，一个猜想，一次范式的转移。GPT-5.6 Sol Ultra用47页证明书，向世界宣告了AI数学能力的成年礼。未来，当历史学家回溯这一刻时，或许会将其视为人类智力竞赛的终点——或是新竞赛的起点。