{"id":"arxiv/2607.16356","url":"https://arxiv.org/abs/2607.16356","tags":["math.CO"],"score":0,"title":"A proof of the cycle double cover conjecture by OpenAI: An exposition","domain":"math.CO","source":"arxiv","authors":["Sang-il Oum"],"reviews":0,"subject":"math.CO","summary":"The cycle double cover conjecture states that every bridgeless graph has a list of cycles such that every edge is in exactly two of them. In July 2026, OpenAI announced a proof. This exposition presents the proof with slight modifications intended to make it more accessible.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-17","reactions":{}}