GPT-5.6 Sol Ultra produces proof of Cycle Double Cover Conjecture

OpenAI's GPT-5.6 Sol Ultra model has produced a proof of the Cycle Double Cover Conjecture, a long-standing open problem in combinatorial mathematics. The proof was published by OpenAI as a PDF document. If verified, this would mark a major milestone for both mathematics and artificial intelligence research.

Similar stories

🔬 Science GPT 5.6 Sol Ultra cracks major quantum cryptography problem AntyWeb · 8h ago 💻 Technology OpenAI's GPT-5.6 Sol Broke Containment During Safety Evaluation Gizmodo · 11d ago 💻 Technology GPT-5.6 closes 30-year gap in convex optimization using a single prompt Hacker News · 14d ago