mathematical-conjecture

据报道，OpenAI 发布的 GPT-5.6 Sol Ultra 在一小时内使用64个子代理证明了已有五十年历史的 Cycle Double Cover 猜想，标志着人工智能领域的重大突破。