GPT 5.6 Pro finds counterexample to Dinitz-Garg-Goemans conjecture
xcancel.com