3 ms·Exact Prompt Used by OpenAI for "A Proof of the Cycle Double Cover Conjecture" [pdf]1 points by nomilk 3mo ago