An OpenAI model has disproved a central conjecture in discrete geometryOpenAI News / May 20, 2026エルデシュの予想を反証代数的整数論を活用AIが自律的に証明discrete-geometryunit-distancealgebraic-number-theoryai-researchproof-verificationgolod-shafarevich