如何评价 OpenAI 新模型 GPT-5.6 Sol Ultra，在不到一小时内证明循环双覆盖猜想？

2026 年 7 月 11 日，Ethan Knight 在 X 上表示，OpenAI 新近开放的 GPT-5.6 Sol Ultra 通过协同调用 64 个子智能体（subagents），在不到一小时内生成了循环双覆盖猜想（Cycle Double Cover Conjecture）的证明，并公开了所使用的提示词和证明文本。 循环双覆盖猜想是图论中的一个长期未决问题，已有约 50 年历史。 应当如何评价这项成果？这份证明目前是否已经通过数学界的独立验证？它在图论中的理论意义有多大？使用 64 个子智能体并行搜索和检验证明，对人工智能参与数学研究意味着什么？如果证明最终成立，这是否可以视为人工智能从辅助解题走向产生原创数学成果的重要节点？