Prompt Used for "A Proof of the Cycle Double Cover Conjecture" [pdf] | Dark Hacker News