Artificial intelligence may have produced one of its most interesting mathematical moments yet—but the most important word is still may. A newly circulated counterexample to the long-standing Dinitz–Garg–Goemans conjecture in graph theory is being credited to conversations involving OpenAI’s...