OpenAI 2026-05-21 OpenAIモデル、Erdősの80年問題を崩す OpenAIの内部汎用推論モデルが単位距離問題で代数的構成を示し、外部数学者が論文級と評価した。 #AIと数学#推論モデル#科学研究AI