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