OpenAIのAIが80年未解決の数学難問を証明!エルデシュ単位距離予想の革新2026年6月2日·6 分IT OpenAI AI数学 エルデシュ予想 数学証明 人工知能OpenAIのAIモデルが80年間数学者を悩ませたエルデシュ単位距離予想を反証。フィールズ賞受賞者も「AI数学の画期的成果」と評価。数学界の歴史的転換点を3分で解説。