精选理由
Sol Ultra刚发布就搞定了困扰数学界50年的猜想，64个AI一起发力，效率惊人。想看看提示词和证明？直接去翻原文。
Ethan Knight宣布GPT-5.6 Sol Ultra在64个子智能体协作下，仅用不到1小时就证明了50年未解的Cycle Double Cover Conjecture。该猜想是图论中的经典问题，此前无人能解。团队公开了提示词和完整证明过程，展示了大规模智能体协同推理的潜力。
AI 翻译 · 中文
Ethan Knight宣布GPT-5.6 Sol Ultra在64个子智能体协作下，仅用不到1小时就证明了50年未解的Cycle Double Cover Conjecture。该猜想是图论中的经典问题，此前无人能解。团队公开了提示词和完整证明过程，展示了大规模智能体协同推理的潜力。
50-year old math conjecture solved with Sol Ultra. Feels like the limit of what you can do is increasingly your ambition and imagination: Ethan Knight @__eknight__ Yesterday, we made GPT-5.6 Sol Ultra generally available…