OpenAI 的 GPT-5.6 使用 64 个代理在不到一小时内证明了50年的数学猜想
据 OneMillionAI 称,OpenAI 的 GPT-5.6 Sol Ultra 部署了 64 个子智能体,以在 1 小时内给出循环双重覆盖猜想的形式化证明——该数学问题大约在 50 年前提出。OpenAI 已在其公开内容中发布了完整的提示词与证明,并开源了一个用 Lean 形式化的版本。该代码已通过 Lean 内核验证。然而,这仍然是 OpenAI 的已发布成果;数学界尚未完成独立的同行评审,因此该证明目前尚未被正式认定为一个确定的解决方案。
Gate News·12 分钟前
