6 ms·
Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra
- virgildotcodes 2mo agoProof linked here - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_proof.pdf https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98... Prompt used - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98d31/cdc_prompt.pdf https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98... Lean formalization of the proof - https://github.com/openai/cdc-lean https://github.com/openai/cdc-lean
- ChrisArchitect 2mo agoDiscussion: https://news.ycombinator.com/item?id=48863490 https://news.ycombinator.com/item?id=48863490