Prompt Used for “A Proof of the Cycle Double Cover Conjecture”

Hacker News links to a PDF titled “Prompt Used for ‘A Proof of the Cycle Double Cover Conjecture.’” The title suggests that the document records a prompt used to generate or assist a proposed proof of the Cycle Double Cover Conjecture. The available metadata contains only the title, URL, and a low-engagement discussion score of 2 with zero comments. It does not establish which model was used, who authored the proof, whether the argument is complete, or whether mathematicians have independently validated it.