An OpenAI model has disproved a central conjecture in discrete geometry May 20, 2026 · Hacker News Read full story at source