@misc{indiciae8ae4006773a9,
  title = {OpenAI's proof of the Cycle Double Cover Theorem},
  author = {Jim Geelen},
  year = {2026},
  url = {https://arxiv.org/abs/2607.15399},
  note = {Source identifier: 2607.15399}
}