Dinitz-Garg-Goemans conjecture proven false by GPT 5.6

Researchers have demonstrated that the Dinitz-Garg-Goemans conjecture is false using GPT 5.6 to identify a counterexample. This finding marks a notable instance of an AI model contributing to a specific result in theoretical computer science. The proof highlights the increasing capability of large language models to assist in verifying or challenging complex mathematical hypotheses.