Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra (twitter.com) 1 points by virgildotcodes 2mo ago ↗ HN
[–] virgildotcodes 2mo 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
2 comments
[ 3.2 ms ] story [ 16.8 ms ] threadPrompt used - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...
Lean formalization of the proof - https://github.com/openai/cdc-lean