7月10日，OpenAI宣布其GPT-5.6SolUltra模型在不到1小时内成功生成了图论领域悬而未决长达50多年的“循环双覆盖猜想”的完整证明。这一猜想由数学家GeorgeSzekeres和PaulSeymour分别于1973年和1979年独立提出，涉及任意无桥图中是否存在一组循环使得每条边都恰好出现在两个循环中的问题。

OpenAI的GPT-5.6SolUltra模型利用64个子智能体并行工作，动态管理各智能体任务，并采用对抗智能体寻找潜在错误，最终在不联网搜索资料、拒绝仅证明特殊情况或不完整证明的条件下，完成了证明。证明过程包括将原猜想归约为三次图问题，利用8-流定理，以及通过GF(3)上的线性代数构造边标记，证明每条边都能恰好属于两个环。

英国曼彻斯特大学数学家ThomasBloom评价这份证明为“非常漂亮”，认为其简洁、基础，使用的方法并不复杂。他指出AI的优势在于不断尝试各种细微变化时的耐心，而人类数学家可能会因失败而放弃。不过，他也指出证明没有引用任何已有文献，这是AI自动生成数学论文的普遍问题。目前，这份证明尚未经过正式同行评审，数学界对此保持谨慎态度。