OpenAI称 GPT-5.6 Sol Ultra 1 小时内给出循环双覆盖猜想证明

Odaily星球日报讯，OpenAI 研究员 Ethan Knight 于 12 日在社交平台 X 表示，GPT-5.6 Sol Ultra 已生成图论未解问题“循环双覆盖猜想”的证明论文和提示词。按其说法，该模型在最多 64 个并行子代理配置下、未使用互联网搜索，约 1 小时内完成结果生成。

公开论文为 3 页

OpenAI 公开的论文共 3 页。论文先将问题归约为三次正则图，再使用 8-flow theorem 和 GF(3) 标签，并以线性代数方法构造每条边恰好包含在两个循环中的结构。

尚未经过发表与形式化验证

这项结果目前尚未在学术期刊发表，也未经过同行评审；同时，还未通过 Lean 或 Coq 等形式化验证系统验证。

数学家给出初步评价

英国曼彻斯特大学数学家 Thomas Bloom 评价该证明“非常出色”，但同时指出其参考文献引用不足。