An OpenAI model has disproven a central conjecture in discrete geometry ~science mathematics Article 1461 words, published May 12 2026 10 votes