Exact Prompt Used by OpenAI for "A Proof of the Cycle Double Cover Conjecture" [pdf]
cdn.openai.com