标签
Dan Shipper 宣布 GPT-5.6 Sol Ultra 已全面可用,并分享了一条 Ethan Knight 的推文,称该模型通过64个子智能体在一小时内完成了 Cycle Double Cover Conjecture 的证明。