Sol Ultra刚发布就搞定了困扰数学界50年的猜想，64个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 incre...
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. Today, we're sharing that it produced a proof of the 50-year-old Cycle Double Cover Conjecture using 64 subagents in just under one hour. We're sharing the prompt and proof below. We're excited to see what you all do with Ultra! 🔗 View Quoted Tweet 💬 32 🔄 23 ❤️ 398 👀 29749 📊 49 ⚡