Expired60% 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
This claim has expired. It is kept for the record and no longer describes the current state.
Valid until: 10/13/2026(expired)
Sources
Related Claims
UnverifiedOpenAI's flagship model GPT-5.6 Sol Ultra proved the Cycle Double Cover conjecture, which had been unsolved for 50 years; the result was generated by a publicly available version of the model and announced by Noam Brown.83% similarUnverifiedIn the release livestream, OpenAI had GPT-5.6 Sol perform post-training optimization on the smaller GPT-5.6 Luna model, allowing it to autonomously search, run, and optimize within a given compute budget.78% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/523010API
curl https://kongchang.com/api/v1/knowledge/claims/523010MCP
get_claim(id=523010)