technical.cx · Lobsters An OpenAI model has disproved a central conjecture in discrete geometry May 20, 2026 22:45 Comments OpenAI Open original