据 OneMillion_AI 称，OpenAI 的 GPT-5.6 Sol Ultra 部署了 64 个子智能体，以在 1 小时内给出循环双重覆盖猜想的形式化证明——该数学问题大约在 50 年前提出。OpenAI 已在其公开内容中发布了完整的提示词与证明，并开源了一个用 Lean 形式化的版本。该代码已通过 Lean 内核验证。然而，这仍然是 OpenAI 的已发布成果；数学界尚未完成独立的同行评审，因此该证明目前尚未被正式认定为一个确定的解决方案。
免责声明：本页面信息可能来自第三方，仅供参考，不代表 Gate 的观点或意见，亦不构成任何财务、投资或法律建议。数字资产交易风险较高，请勿仅依赖本页面信息作出决策。具体内容详见
声明。
