Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra | HN Mirror

Y	Hacker News new \| ask \| show \| jobs

	Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra (twitter.com)
	1 points by virgildotcodes 18 days ago

2 comments

virgildotcodes 18 days ago

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

ChrisArchitect 18 days ago

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