OpenAI 研究员 Ethan Knight 于 12 日在社交平台 X 表示，GPT-5.6 Sol Ultra 已生成关于图论代表性未解问题“循环双覆盖猜想”的证明论文和提示词。该模型在最多 64 个并行子代理配置下，未使用互联网搜索，约 1 小时内完成结果生成。 OpenAI 公开的论文共 3 页，先将问题归约为三次正则图，再使用 8-flow theorem 和 GF(3)标签，并以线性代数方法构造每条边恰好包含在两个循环中的结构。该结果尚未经过学术期刊发表、同行评审，也未通过 Lean 或 C