FWIW here is the exact prompt they used to solve it; anyone else can try it cdn.openai.com/pdf/04d1d1e4...
AI Weekly's analysis
→
- OpenAI published the system prompt used to get GPT-5.6 Sol Ultra to produce a claimed proof of the Cycle Double Cover Conjecture.
- The prompt tells the model to use 'multiagent v2' with up to 64 concurrent agents and to compute for at least eight hours before giving up.
- The three-page proof has not been peer-reviewed or formalized in Lean or Coq, and the math community has not confirmed it.
Read full analysis →