OpenAI新模型GPT-5.6 Sol Ultra一小时内独立证明五十年数学猜想 引发学界审慎关注与讨论。

据悉，OpenAI宣布其GPT-5.6 Sol Ultra模型在不到一小时内，成功生成了图论领域悬置50多年的重要难题“循环双覆盖猜想”的完整证明。OpenAI已将证明及生成所用的提示词以PDF形式发布，并称证明由AI模型独立完成。该猜想探讨了无桥图中边与循环的特定关系。

据悉，模型在提示词指导下，通过最多64个并行子智能体协作完成证明，其中包含专门寻找漏洞的“对抗智能体”。系统禁止联网搜索，并要求进行对抗式验证。虽然预留了8小时，但实际仅耗时约1小时。

据悉，有数学家评价该证明简洁、基础，认为AI的优势在于其远超人类的尝试耐心，而非提出全新数学思想。但同时也指出证明未引用任何已有文献，这是AI生成论文的普遍问题。目前该证明尚未经过正式同行评审，数学界对此保持谨慎，并指出其未使用形式化证明工具进行机器验证。

据悉，若最终通过验证，这将是大型语言模型首次独立解决一个被列入“未解决数学问题”列表的重要难题。此前AI的数学成果多为与人类协同完成。图论专家预计将在未来数周内对证明进行严格审查。