OpenAI has announced the general availability of GPT-5.6 Sol Ultra, which has successfully produced a proof for the 50-year-old Cycle Double Cover Conjecture. The achievement was made possible through the use of 64 subagents, completing the task in just under one hour. Alongside this announcement, OpenAI is sharing the prompt and the proof for the community to explore further applications of Ultra.
Generative AINLPOpenAI+1
Generative AINLPOpenAITransformers
OpenAI Launches GPT-5.6 Sol Ultra, Proving Cycle Double Cover Conjecture in Under an Hour
OpenAI· OpenAI· Saturday, July 11, 2026
More Articles From This Day
AIStartup Funding+2
AIStartup FundingM&AGenerative AI
Tencent Takes Lead in Reversing Meta's $2 Billion Manus Acquisition
Tencent, a prominent Chinese tech group, is poised to become the largest shareholder in the AI agent startup Manus following a directive from Beijing to reverse Meta's $2 billion acquisition. This development highlights the ongoing scrutiny of foreign investments in China's tech sector and the shifting dynamics of ownership in the AI industry.