AIインテリジェンスAug 5, 2026AIインテリジェンス記事OpenAIの内部AIモデルは、Paul Erdősの1946年の単位距離問題に対する反例を発見し、AIによって解決された最初の歴史的に重要な予想となりました。このブレークスルーは、数学研究におけるAIの成長する能力を示しています。Data Cube AI 編集部2026/08/04出典: Ars Technica AI01ソース要約OpenAIの内部AIモデルは、Paul Erdősの1946年の単位距離問題に対する反例を発見し、AIによって解決された最初の歴史的に重要な予想となりました。このブレークスルーは、数学研究におけるAIの成長する能力を示しています。02関連トピック研究AI研究数学ErdősOpenAI号を見る