GPT-5.6 Pro and xAI's Grok 4.5 independently produced counterexamples to the Dinitz-Garg-Goemans conjecture, a 30-year-old network optimization problem, using a ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results