2026 年 7 月 10 日，OpenAI 在自己的 CDN 上放出一篇 PDF，声称 GPT-5.6 Sol Ultra 用 64 个并行子代理、不到一小时，证明了图论里悬挂了 50 年的 Cycle Double Cover 猜想。数学界在震动与质疑中展开了审阅。六天后，UC Berkeley IEOR 教授 Phillip Kerger 把 OpenAI 公开的「CDC prompt」拿来，改造成了针对另一个问题的十页提示词，喂给 GPT-5.6 Sol Pro。148 分钟后，模型返回了一个凸优化下界的完整证明——一个他自己琢磨了一年、和 GPT-5.4/5.5 反复试都没能拿下的结