GPT-5.6证明图论猜想与prompt技巧
量子位 · wechat · 2026-07-11
文章介绍了 OpenAI 研究员用 GPT-5.6 Sol Ultra 在不到一小时内完成循环双覆盖猜想的证明草稿，并说明该题是图论中的经典开放问题。
摘要还拆解了证明思路：先把一般图归约到三次图，再用无处为零的 8 流定理给边赋三位二进制标签，随后把标签扩展成两个标签，让同一标签的边自动组成圈，最终通过线性方程组与对偶空间/奇偶性论证实现全局一致。
文章的另一重点是 OpenAI 公开的 prompt 设计方法：
- 不强行规定步骤，而是把“什么算完成”写清楚；
- 先定义图、桥、圈、覆盖等边界条件；
- 明确列出哪些结果“不算答案”；
- 用最多 64 个子 agent 做动态搜索，并设置独立审查与对抗性检查。
作者总结认为，这份 prompt 真正可借鉴的不是长度，而是把复杂任务写成了可验收、可审查、可纠错的任务合同。
所属事件:GPT-5.6 Sol Ultra 上线，64子智能体一小时证猜想(17 条相关)→
「编程与Agent」频道最新
- 旧金山 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
- 别只让 AI 复刻老游戏：工程师呼吁用 Agent 造更野的软件 — rschu · 2026-10-27