OpenAIのモデルが離散幾何学の中心的な予想を反証したOpenAI News / 2026/05/20エルデシュの予想を反証代数的整数論を活用AIが自律的に証明discrete-geometryunit-distancealgebraic-number-theoryai-researchproof-verificationgolod-shafarevich