Unverified60% confidenceEventExact time

OpenAI's released GPT-5.6 Sol Ultra model proved the Cycle Double Cover Conjecture in one hour.

2

Sources

60%

Confidence

Medium-term (~90 days)

Relevance

7/15/2026

First Seen

Valid until: 10/13/2026(expired)

Sources

GPT-5.6 Proves 50-Year Math Conjecture in One Hour — AI Independently Cracks a Scientific Problem

Related Claims

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

Cite This Claim

Stable URI

https://kongchang.com/claim/523010

API

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

MCP

get_claim(id=523010)