OpenAI 用 GPT-5.6 Sol Ultra 破解 50 年数学悬案：1 小时生成圈双覆盖证明
OpenAI 发布由 GPT-5.6 Sol Ultra 完全生成的数学论文，宣布证明了图论中悬而未决 50 年的圈双覆盖猜想。模型创建了 64 个子代理，在不到一小时内完成推导，并由 Codex 协助撰写成文。这意味着前沿模型已开始独立攻克人类未解的纯数学难题。
OpenAI 发布由 GPT-5.6 Sol Ultra 完全生成的数学论文，宣布证明了图论中悬而未决 50 年的圈双覆盖猜想。模型创建了 64 个子代理，在不到一小时内完成推导，并由 Codex 协助撰写成文。这意味着前沿模型已开始独立攻克人类未解的纯数学难题。