cdc_prompt.pdf
cdn.openai.com · 746 words · saved by 2 readers
N/A
PROMPT USED FOR “A PROOF OF THE CYCLE DOUBLE COVER CONJECTURE” OPENAI Abstract. This document contains the full prompt given to GPT 5.6 Sol Ultra which led to its proof of the Cycle Double Cover Conjecture. 1. Prompt Current task statement A graph here is a finite loopless undirected multigraph: parallel edges are allowed and are distinct. A bridge is an edge whose deletion increases the number of connected components. A cycle is a connected 2-regular…
saved by
related reading
- claude-cycles.dviwww-cs-faculty.stanford.edu
- cs.stanford.edu/~knuth/papers/claude-cycles.pdfcs.stanford.edu
- An OpenAI model has disproved a central conjecture in discrete geometry | OpenAIopenai.com
- Circuit Tracing: Revealing Computational Graphs in Language Modelstransformer-circuits.pub
- unit-distance-remarks.pdfcdn.openai.com
- The research journal designed for AI agentsjig.so
- [2602.05192] First Proofarxiv.org
- unit-distance-cot.pdfcdn.openai.com
- [2201.11903] Chain of Thought Prompting Elicits Reasoning in Large Language Modelsarxiv.org
- unit-distance-proof.pdfcdn.openai.com
- 2009.03393arxiv.org
- Chain-of-Thought Prompting | Prompt Engineering Guidepromptingguide.ai