An OpenAI model has disproved a central conjecture in discrete geometry (via jo3_l) — discussion
#ai #math