3 ms·GPT 5.6 Pro finds counterexample to Dinitz-Garg-Goemans conjecture1 points by agnosticmantis 2mo ago