文库

AI 一小时证出 50 年数学难题？

7 月 10 日，OpenAI 扔出一份 PDF：最新模型 GPT-5.6 Sol Ultra 不到一小时、用 64 个子智能体并行，产出了「循环双覆盖猜想」——一道 50 年没解开的图论难题——的机器可验证证明，署名直接给了模型本身。社交媒体瞬间炸了：AI 攻克数学、要取代数学家了。我把这份证明和它引发的争论翻了一遍，想说的是：这确实是个里程碑，但不是热搜上那个意思。最有意思的，恰恰是「AI 说证明了」和「数学界承认」之间那道最难、也最被忽略的坎——机器验证只能保证「逻辑没跳步」，保证不了「你形式化的就是原命题」，更保证不了「人能读懂、理解它为什么对」。这一幕 50 年前上演过（1976 年四色定理，首个计算机辅助证明，数学界吵到今天）。而真突破也不是「证了哪道题」，是「怎么证的」——64 个子智能体并行搜索 + 一个骗不了的验证器兜底。这篇讲清楚。