spending the gap between NLDS games reading a disproof of the ~30 year old total list coloring conjecture. the author acknowledges chatGPT found the counterexample (a rather clever 16 vertex gadget) and i'm dying to know how much work it took to go from prompt to paper
