OmniTools 7月12日消息，OpenAI 宣布其 GPT-5.6 Sol Ultra 模型在不到一小时内生成了图论领域“循环双覆盖猜想”的完整证明。该猜想由 George Szekeres 和 Paul Seymour 于 1970 年代提出，已悬而未决逾 50 年。
模型通过调用 64 个并行子智能体及对抗智能体，在预设 8 小时计算窗口内仅耗时约 1 小时即完成推导。OpenAI 已将证明过程及所用提示词以 PDF 形式公开发布。
目前该证明尚未经过同行评审，也未借助 Lean 等形式化验证工具进行确认。若后续验证通过，这将是大语言模型首次独立解决维基百科“未解决数学问题”列表中的公开难题。
