已过期60% 置信事件精确时间

OpenAI发布的GPT-5.6 Sol Ultra模型用一个小时证明了循环双覆盖猜想

2

来源数

60%

置信度

中期 (~90 天)

时效性

2026/7/15

首次发现

有效期至：2026/10/13(已过期)

来源

GPT-5.6一小时证明50年数学猜想，AI独立攻克科学难题

相关事实

待验证OpenAI旗舰模型GPT-5.6 Sol Ultra证明了悬置50年的Cycle Double Cover猜想，由公开可用版本模型生成，Noam Brown公布该结果83% 相似待验证OpenAI在发布直播中让GPT-5.6 Sol对更小的GPT-5.6 Luna模型执行后训练优化，给定算力预算让其自行搜索、运行并优化78% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/523010

API

curl https://kongchang.com/api/v1/knowledge/claims/523010

MCP

get_claim(id=523010)