2026-07-11 / Signal #2
GPT-5.6 Sol Ultra is credited with a proof of the 50-year-old Cycle Double Cover Conjecture.
“A public AI model just claimed a proof for a 50-year math conjecture. The weird part is not the answer. It is that the PDF reads like a new species joined the seminar.”
Why It Matters
AI moves from broad autocomplete into frontier pure-math authorship. This is a concrete artifact of agents generating a proof for a long-standing graph theory conjecture, with serious implications for proof assistants, mathematician identity, and "machine original thought.
Evidence
OpenAI-hosted PDF cdc_proof.pdf; Hacker News front-page discussion; secondary AI/crypto/tech alert writeups. The proof note says it is entirely due to GPT-5.6 Sol Ultra with Codex/GPT-5.6 Sol writeup. HN and search chatter mention a 64-subagent workflow and rapid solving, but those details should be caveated unless independently documented.
Caveat
Treat as an attributed proof claim, not settled mathematics, until peer review or expert validation lands. This caveat actually makes the story better.
Signal Read
Source Trail
Daily scan: 2026-07-11
- No public source URL captured yet.