GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture

这份 PDF 声称 GPT-5.6 Sol Ultra 生成了 Cycle Double Cover Conjecture 的证明。它的事实重点是“模型产出证明文本”这一事件，而不是数学共同体已经接受定理结论。AI 生成数学结果的验证链条至少包括形式化检查、专家审读和可复现推导，单份证明文档只能算链条起点。