Titel: On the cycle double cover conjecture and something more
Sammanfattning: I somras bevisade ChatGPT förmodan om dubbel övertäckning med cykler (”cycle double cover conjecture”), ett problem som varit öppet sedan åtminstone 1960-talet. Det ursprungliga beviset är kortfattat och utformat som direkta linjär-algebraiska beräkningar, med utgångspunkt i ett resultat av Jaeger från 1970-talet. I detta föredrag kommer jag att ge mer bakgrundsinformation och en strukturell beskrivning av vad som sker i beviset.
