| ▲ | Cycle Double Cover Conjecture Proof Using 5.6 Sol Ultra(twitter.com) | |
| 1 points by virgildotcodes 11 hours ago | 2 comments | ||
| ▲ | virgildotcodes 11 hours ago | parent | next [-] | |
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 3 hours ago | parent | prev [-] | |
Discussion: https://news.ycombinator.com/item?id=48863490 | ||