ParentFull threadnonadhocproblem·Are you trolling? OpenAI's models resolved the Cycle Double Conjecture yesterday, which has been an open problem for 50 years.View on HN