Live data from Hacker News

Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra

Post reply on HN

Print view View original

1–3 of 3 posts

Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra

#1

Post by virgildotcodes » Sat, Jul 11, 2026, 5:13 AM UTC

Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra
twitter.com

Re: Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra

#2

Post by virgildotcodes » Sat, Jul 11, 2026, 5:14 AM UTC

Proof linked here - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...

Prompt used - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...

Lean formalization of the proof - https://github.com/openai/cdc-lean

Re: Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra

#3

Post by ChrisArchitect » Sat, Jul 11, 2026, 1:08 PM UTC

Discussion: https://news.ycombinator.com/item?id=48863490

Post reply on HN