GPT-5.6 Sol Ultra 一小时证明了悬置50年的数学猜想

Cycle Double Cover猜想从1973年悬到现在。Szekeres提出，Seymour在1979年再次提出，五十年来图论学家没能拿下它。这周OpenAI说拿下了：GPT-5.6 Sol Ultra正式发布仅一天后，OpenAI公开了一份由模型自己产出的证明——64个子agent并行工作，墙上时钟不到一小时。提示词和完整证明PDF全部公开。

机制本身和结果一样重要。Sol Ultra的ultra模式不是更大的模型，而是多agent编排——系统把问题拆解，扔给几十个子agent分头处理。一个著名的图论开放问题在一小时内被一群子agent攻破，这是迄今最干净的一个信号：数学研究的工作单元正在从孤独的天才转向被编排的agent舰队。

有个必须保留的但书：这份证明还要经受真正的图论学家审查，AI生成的著名猜想证明此前有过在审查中阵亡的先例。OpenAI公开完整PDF和提示词是对的做法——让这个声明变成可验证的东西，而不是一篇新闻稿。

但趋势本身很难反驳。5月OpenAI的模型推翻了一个Erdos单位距离猜想，现在一个50年的猜想在一小时内拿到了声称的证明。哪怕这些成果只有一半站得住，数学研究已经变成了一种agent工作负载。

证明PDF：https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf