OpenAI 的 GPT-5.6 Sol Ultra 证明圈双覆盖猜想
热点事件历史事件
OpenAI 的 GPT-5.6 Sol Ultra 证明圈双覆盖猜想
1 篇报道1 个报道来源2026-07-11更新
先了解这件事
报道摘要
OpenAI 的 GPT-5.6 Sol Ultra 模型成功证明了存在50年之久的 Cycle Double Cover Conjecture（圈双覆盖猜想）。该模型已于昨日全面开放，在不到一小时内使用64个子智能体（subagents）完成证明。Noam Brown 强调，与之前需要特殊条件的埃尔德什单位距离问题不同，此次成果基于当前可公开获取的模型，并已公开提示词和证明过程。
摘自 Noam Brown
最新进展7月11日 02:19
GPT-5.6 Sol Ultra 一小时证明50年数学猜想报道时间线
沿着报道，了解事件的不同侧面。
7月11日
- Noam Brown精选GPT-5.6 Sol Ultra 一小时证明50年数学猜想
OpenAI 的 GPT-5.6 Sol Ultra 模型成功证明了存在50年之久的 Cycle Double Cover Conjecture（圈双覆盖猜想）。该模型已于昨日全面开放，在不到一小时内使用64个子智能体（subagents）完成证明。Noam Brown 强调，与之前需要特殊条件的埃尔德什单位距离问题不同，此次成果基于当前可公开获取的模型，并已公开提示词和证明过程。