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」频道最新
- 受 OpenAI 万机群启发，开发者开源 agent 众包解题平台 — Benjaminsen · 2026-09-11
- 开源 Mac 应用 Lucid：只在跑 AI 时阻止笔记本休眠 — Pitiful_Hedgehog_600 · 2026-09-11
- 20kb 函数匹配达成,banteg 召集 AI 逆向 Snail Mail 剩余 20 个挑战 — banteg · 2026-09-11
- Alex Townsend 汇编 200 个数值线性代数开放问题，供人类与 AI 攻关 — IgorCarron · 2026-09-11
- Kimi K2.8 Preview 上线：性能接近 K3、1M 上下文全档开放 — teortaxesTex · 2026-09-11
- 有人想给软件工程任务建「形态分类」数据库,好按任务选模型 — StewartalsopIII · 2026-09-11