OpenAI 的 GPT-5.6 Sol Ultra 证明了已有50年历史的数学猜想

OpenAI 宣布其 GPT-5.6 Sol Ultra 模型已普遍可用。该公司表示，这个新模型成功地为已有50年历史的 Cycle Double Cover Conjecture 提供了证明。这个复杂的数学证明是在不到一小时的时间内使用 64 个子代理生成的，OpenAI 已公开了提示和证明。 AI

影响 展示了大型语言模型先进的推理能力，有可能加速复杂科学和数学领域的研究。

排序理由 前沿实验室模型发布，附带系统卡。[lever_c 从 frontier_release 降级：ic=1 ai=1.0]

在 X — OpenAI 阅读 →

• cycle double cover conjecture
• __eknight__
• GPT-5.6 Sol Ultra
• OpenAI

• 模型发布
• 产品

AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →