Hacker News7h ago179 points166 commentslive
GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf]
OpenAI's GPT-5.6 Sol Ultra proved the Cycle Double Cover Conjecture for all bridgeless undirected graphs by reducing it to a linear algebra problem on a finite field.
Read the full story atcdn.openai.comWhy this is in the Signal
LAXIMA AI Signal curates the highest-velocity stories across Hacker News, GitHub trending, and new Hugging Face / Replicate model releases — quality-filtered, deduplicated, and refreshed every four hours. This item surfaced from Hacker News with 179 points (by scrlk). We link straight to the original source above — see the full live feed.
More AI Signal briefs
- HNMayor Mamdani Announces Landmark "Click-to-Cancel" Consumer Protection Rules
- HNNew York City to become first in US to ban deceptive subscription practices
- HNQuadRF can spot drones and see WiFi through my wall
- HNPunk, or why I don't stream anymore
- HNWrite code like a human will maintain it
- HNIn Emacs, Everything Looks Like a Service
- HNLate Bronze Age Collapse
- HNGood Tools Are Invisible