01:46
官方账号Decoder@Matthias Bastian
82°
推荐理由：OpenAI的GPT-5.6 Sol Ultra一小时破解了困扰数学界50年的Cycle Double Cover猜想，虽被指引用不足，但效率惊人。
Cycle Double Cover猜想
共 1 条相关 AI 资讯
7月12日
01:46
OpenAI的GPT-5.6 Sol Ultra使用64个子智能体并行工作，在一小时内证明了图论中的Cycle Double Cover猜想。该猜想已悬而未决50年，被认为是图论领域的重要未解问题。数学家Thomas Bloom称该证明方法出人意料地初等，但批评其未引用已知的前期工作。这引发了关于AI是重组现有知识还是创造新知识的讨论。