据动察 Beating 监测，OpenAI 称，GPT-5.6 Sol Ultra 调用 64 个子 Agent，用不到 1 小时，为提出约 50 年的「循环双覆盖猜想」给出一份证明。 OpenAI 已公开完整 prompt 和证明全文，并开源 Lean 形式化版本。相关代码已通过 Lean 内核检查。不过，这仍是 OpenAI 发布的结果。数学界尚未完成独立审查，因此暂时只能说「给出证明」，不能直接说「正式解决」。