An OpenAI model has disproved a central conjecture in discrete geometry 610 points by tedsanders 4 hours ago 412 comments story