GPT 5.6 Pro finds counterexample to Dinitz-Garg-Goemans conjecture | Dark Hacker News