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」频道最新
- Mirendil 发布首个模型 Fern：上下文窗口达 1000 万 token — shayan_ · 2026-10-27
- 旧金山 Code Engineering 大会聚焦从编码 agent 到软件工厂 — LangChain · 2026-10-27
- 用 Claude Code 当 iPhone 取证器:挖出「已删」照片的 30 天隐藏副本 — alex_verem · 2026-10-27
- 用 Claude Code 审计 iPhone 备份，揪出被删照片的全部藏身处 — alex_verem · 2026-10-27
- Yuchen Jin：手机不是移动 IDE，而是 agent 舰队的控制台 — Yuchenj_UW · 2026-10-27
- FrontierCS 2 登陆 Kaggle：48 项任务让智能体复现 13 领域论文贡献 — MeganRisdal · 2026-10-27