TY  - RPRT
TI  - OpenAI's proof of the Cycle Double Cover Theorem
AU  - Jim Geelen
PY  - 2026
UR  - https://arxiv.org/abs/2607.15399
ID  - 2607.15399
ER  -