Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra(twitter.com)
twitter.com
Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra
https://twitter.com/__eknight__/status/2075643450196971805
https://twitter.com/__eknight__/status/2075643450196971805
Prompt used - https://cdn.openai.com/pdf/04d1d1e4-bc75-476a-97cf-49055cd98...
Lean formalization of the proof - https://github.com/openai/cdc-lean