An OpenAI model has disproved a central conjecture in discrete geometry

https://x.com/wtgowers/status/2057175727271800912, https://xcancel.com/wtgowers/status/2057175727271800912