OpenAI has announced the general availability of its GPT-5.6 Sol Ultra model. The company shared that this new model successfully produced a proof for the 50-year-old Cycle Double Cover Conjecture. This complex mathematical proof was generated using 64 subagents in under an hour, and OpenAI has made the prompt and proof publicly available. AI
IMPACT Demonstrates advanced reasoning capabilities in LLMs, potentially accelerating research in complex scientific and mathematical fields.
RANK_REASON Frontier-lab model release with system card. [lever_c_demoted from frontier_release: ic=1 ai=1.0]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →
