AI·OpenAI attributes a complete proof of the 50-year-old Cycle Double Cover Conjecture (every bridgeless graph has a cycle double cover) to GPT-5.6 Sol Ultra, which completed the 3-page PDF in under an hour using 64 parallel sub-agents guided by a 700-character public prompt.
Search
What are you looking for?
1 result for “ai-proof”