据 Woofun AI 消息，OpenAI 披露 GPT-5.6 Sol Ultra 利用 64 个子智能体协作，在不足 1 小时内完成了针对约 50 年前提出的"循环双重覆盖猜想"的证明工作。OpenAI 已公开相关提示词、证明文本及通过 Lean 内核验证的形式化代码。由于数学界尚未完成独立审查，该成果目前仅被视为证明已被提出，尚不能宣称问题已获形式化解决。