3页纸与8小时：GPT-5.6解决数学难题背后的隐秘真相

文章来源：企鹅号 - AI可可AI生活

OpenAI近日使用未发布的 GPT 5.6 Sol Ultra，在不到一小时内给出了图论难题“循环双覆盖猜想”的3页纸证明。这个困扰数学界50年的问题被一纸声明终结：证明完全由AI生成。

这看似是AGI的又一次神迹，但拆解细节会发现不同的故事。公开的 Prompt 显示，人类用大量篇幅给模型喂了具体策略，甚至下达了“死磕8小时不准放弃”的情绪指令。这个极其简短的证明，是利用已有的代数对偶工具找了一次精妙的“逻辑盲区”，而非开创性的理论构建。更关键的是，由于目前图论领域缺乏成熟的 Lean 形式化验证支持，该证明的正确性依然需要依赖稀缺的人类数学家进行肉眼审校。这表明，目前的AI更像是一个在人类指导和限定范围内进行极限搜索的高级解题工，而非能自主定义问题、开辟新方法的独立学者。