An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model has disproved a central conjecture in discrete geometry