Dinitz-Garg-Goemans conjecture proven false by GPT 5.6
twitter.com