OpenAI's proof of the Cycle Double Cover Theorem
arXiv:2607.15399
Abstract
The following notes are my attempt to clarify, to myself, the OpenAI proof of the Cycle Double Cover Conjecture. This write-up offers no new insights, but some people may find it easier to read.
arXiv comment3 pages