Dmitry Rybin disproves Dinitz-Garg-Goemans conjecture using GPT-5.6 Pro · Digg