Title: On the cycle double cover conjecture and something more
Abstract: This summer ChatGPT proved the cycle double conjecture, which has been open since at least the 1960's. The original proof is short and framed as direct linear algebraic calculations, starting from a result by Jaeger from the 1970's. In this talk I will give a more background and a structural description of what is going on in the proof.
