Spyke
OpenAI model has disproved a central conjecture in discrete geometry | Spyke