GPT-5.6 Sol Ultra生成循环双覆盖猜想证明

OpenAI研究员Ethan Knight于12日表示，GPT-5.6 Sol Ultra已生成关于图论未解问题“循环双覆盖猜想”的证明论文和提示词。

据Odaily星球日报报道，该模型在最多64个并行子代理配置下，未使用互联网搜索，约1小时内完成结果生成。

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

该结果尚未经过学术期刊发表、同行评审，也未通过Lean或Coq等形式化验证系统验证。英国曼彻斯特大学数学家Thomas Bloom评价该证明“非常出色”，但指出其参考文献引用不足。