# 🤖 GPT-5.6 一小时完成 50 年图论猜想证明

Source: https://www.zaihua.news/article/42504/

[返回新闻流](https://www.zaihua.news/)
2026年7月12日 · 11:49 · [在花新闻](https://www.zaihua.news/about/)

# GPT-5.6 一小时完成 50 年图论猜想证明

GPT-5.6 Sol Ultra 在不到 1 小时内完成了存在约半个世纪的循环双覆盖猜想证明，并生成一份 3 页 PDF。该猜想针对无桥图，要求用一批圈让每条边恰好被覆盖两次。模型通过 64 个子 agent 并行处理，将问题转化为有限域上的边标号和线性方程组问题：为每条边配置两个标签，使相同标签的边组成圈。

OpenAI 同时公布了约 700 个英文字符的完整 Prompt。它不规定固定解题步骤，而是明确验收标准、定义、边界条件和失败情形，并要求动态分配子 agent、设置独立审查，检查证明是否偷换定义或遗漏情况。

[量子位](https://www.qbitai.com/2026/07/447873.html)

🌸 [在花频道](http://t.me/ZaiHuaPd) · [茶馆水群](https://t.me/zaihuachat) · [投稿通道](http://t.me/ZaiHuabot)

[上一条中国科大镜像站因 RAID 控制器故障中断服务](https://www.zaihua.news/article/42503/)[下一条 研究员称 xAI Grok CLI 默认上传整个代码库及密钥文件](https://www.zaihua.news/article/42505/)