EventScienceJuly 10, 2026
GPT-5.6 Sol Ultra proves Cycle Double Cover Conjecture
OpenAI's GPT-5.6 Sol Ultra has produced a formal proof of the Cycle Double Cover Conjecture in graph theory. The proof is published as a PDF, marking a significant milestone in AI-driven mathematical discovery.
1 source
More stories today
- Hugging Face Uses Chinese Model in Self-Defense
- Claude replays all players in daily racing game Swervle
- How AI guardrails are impeding the work of offensive cybersecurity researchers
- Fugu-Ultra v1.1 beats Fable 5 by 7.9 points in coding and reasoning
- audio.cpp 0.4 adds Higgs Audio v3 TTS 4B and Fish Audio S2 Pro