Counter-example found by ChatGPT to the Dinitz–Garg–Goemans conjecture | Hacker News Reader