Sang-il Oum (엄상일), A proof of the cycle double cover conjecture by OpenAI
The cycle double cover conjecture (CDC) claims that every graph without cut-edges has a list of cycles such that every edge appears exactly twice in the list. This conjecture was …

