ChatGPT proves Dinitz-Garg-Goemans conjecture is false | Hacker News Reader