sol-ultra

GPT-5.6 Sol Ultra 已经解决了另一个 Erdős 问题（#793），使用了极其简短而优雅的构造，增强了 Erdős 使用的原始方法。

GPT-5.6 Sol Ultra，OpenAI 的人工智能模型，已经生成了循环双覆盖猜想的证明，这是图论中一个长期存在的问题。

GPT5.6 Sol Ultra 在 TerminalBench 编程基准测试中达到 91.9%，表明编程任务正在接近解决。

GPT-5.6 Sol Ultra即将发布，引发社区期待。