トレンドニュース

OpenAI、80年来の数学難問をAIが自律解決：AI数学の新時代

OpenAIの内部推論モデルが、1946年にポール・エルデシュが提唱した80年来の幾何学的難問「平面単位距離問題」を自律的に反証。フィールズ賞受賞者ティム・ガワーズが「AI数学の里程碑」と評価し、AIが純粋数学で独創的な成果を上げた初の事例として世界に衝撃を与えた。