GPT-5.6 证明循环双覆盖猜想
scrlk · hn · 2026-07-11
OpenAI 发布一份 PDF，声称 **GPT-5.6 Sol Ultra** 证明了图论中的 **Cycle Double Cover Conjecture**（循环双覆盖猜想）。 这条消息的核心是：模型不只是回答题目，而是给出了一个数学定理级别的证明结果。帖子本身未展开证明细节，但提供了 OpenAI 的论文 PDF 链接，属于模型能力层面的显著进展。
scrlk · hn · 2026-07-11
OpenAI 发布一份 PDF，声称 **GPT-5.6 Sol Ultra** 证明了图论中的 **Cycle Double Cover Conjecture**（循环双覆盖猜想）。 这条消息的核心是：模型不只是回答题目，而是给出了一个数学定理级别的证明结果。帖子本身未展开证明细节，但提供了 OpenAI 的论文 PDF 链接，属于模型能力层面的显著进展。