nonadhocproblem·l’altro ieri·discussAre you trolling? OpenAI's models resolved the Cycle Double Conjecture yesterday, which has been an open problem for 50 years.