An OpenAI model has disproved a central conjecture in discrete geometry 2 months agoNice. By the year 2100 200 Erdos problems will have been solved by AI. Let's build more data centers. 0ThreadHN