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

- 来源：jason@jxnlco
- 发布时间：2026-07-11 03:57
- AIWatch 分数：67
- AIWatch 标记：未精选
- AIWatch 链接：https://aiwatch.icu/events/evt_01kx73p5hcrdex6g4kjsj8zd00
- 原文链接：https://x.com/jxnlco/status/2075671320814403667

## 精选理由

常规快讯，保留列表

## AI 摘要

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

## 正文

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