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