Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra | Dark Hacker News

Dark Hacker News

new|best|ask|show|jobs

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

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

1 points by virgildotcodes 38 days ago | 2 comments

Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra | Dark Hacker News

virgildotcodes 38 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 38 days ago |

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