GPT-5.6 Sol Ultra 正式可用,Ethan Knight 称其用 64 个子代理在一小时内证明了 50 年未解的 Cycle Double Cover 猜想,而 Dan Shipper 则调侃自己花费 2b tokens 未能解决 · AIWatch