Dinitz-Garg-Goemans conjecture proven false by GPT 5.6 | Hacker News Reader