AI成功证明50年未解数学猜想
umesh_ai · x · 2026-07-12
OpenAI宣布其最新发布的GPT-5.6 Sol Ultra模型，仅用不到1小时便成功证明了困扰数学界50年的Cycle Double Cover Conjecture（圈双覆盖猜想）。
该模型在执行过程中调用了64个子智能体协同工作。官方同时公开了相关的提示词和证明过程，鼓励开发者探索Ultra模型的能力。
所属事件:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(17 条相关)→
「编程与Agent」频道最新
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11
- 用 prompt 造硬件:一次对话让智能体组装定制设备寄到家 — paraschopra · 2026-09-11
- 模型之外才是关键:一文拆解 RAG 到多智能体的六大 AI 架构 — goyalshaliniuk · 2026-09-11
- 零基础开发者自建分层记忆架构，仅 20k token 记住一年对话 — matteoianni · 2026-09-11