AI攻克数学难题，这次不是噱头——证明已经写进PDF了。
7月10日，OpenAI发布重磅研究：GPT-5.6 Sol Ultra生成机器验证的Cycle Double Cover Conjecture证明，耗时不到1小时。这条猜想由George Szekeres（1973）和Paul Seymour（1979）独立提出，核心内容是"对任何没有'桥'的图，都可以找到一组圈让每条边恰好被覆盖两次"——数学家啃了半个世纪未解的难题，被AI攻破。
证明采用8-flow theorem加GF(3)有限域线性代数化简。Sol Ultra部署64个subagent并行工作，而非单一模型串行——这是OpenAI把GPT-5.6系列定位"动态工作流+数百微数字代理并行"的最强实战展示。证明PDF已发布在OpenAI的CDN，作者归属完全为模型本身，Codex协助撰写。
数学社区讨论聚焦"机器验证≠同行评审"，正式验证可能需数周或数月。但若被验证，将是AI"超越游戏和代码生成的最具智识声望的成就"。
同日OpenAI披露GPT-5.6部署关键技术细节：旗舰Sol（5美元输入/30美元输出每百万token）独家运行在Cerebras晶圆级芯片上，推理速度达750 token/秒，比传统GPU集群推理快15倍。Terra（2.5/15美元）对标Anthropic Sonnet 5定价，Luna（1/6美元）低于开源替代。OpenAI还推"Sol Fast"溢价版（12.5输入/75输出美元）面向金融交易、实时推理等延迟敏感场景，按延迟保证定价而非按能力定价。
OpenAI与Cerebras的硬件合作伙伴关系，标志着晶圆级芯片生产就绪、成本可与英伟达推理GPU竞争。前沿AI定价从"按能力定价"转向"按延迟/场景定价"——市场开始从"哪个模型最聪明"转向"哪个模型最便宜、最适合工作负载"。OpenAI的规模（数十亿API调用/月加云合作伙伴）成为比技术能力更强的护城河。