据 Woofun AI 消息，OpenAI 研究员伊桑·奈特披露，GPT-5.6 Sol Ultra 在启用 64 个并行子智能体且无网络搜索辅助的情况下，于 1 小时内生成了解决‘环双覆盖猜想’的论文及提示词。该模型将问题转化为立方图问题，结合 8 流定理与 GF(3) 标记，利用线性代数构建出每条边恰好属于两个环的结构。

目前该成果尚未发表、未过同行评审，也未通过 Lean 或 Coq 等系统验证。曼彻斯特大学数学家托马斯·布卢姆评价证明‘非常出色’，但指出其参考文献不足。