主張の内容

OpenAIのAIモデルがミレンニアム懸賞問題のうち「ホッジ予想」の解決に重要な進展を見せたという趣旨の情報が伝えられている。同社はこれに先立ち、別の未解決問題に関連した進展についても話題となっていた。

現時点での確認状況

ホッジ予想は2000年にクレイ数学研究所が100万ドルの懸賞金を掲げた7つのミレンニアム問題の一つで、代数幾何学における最難問の一つとされる。OpenAIの成果とされる内容は、数学界による査読や正式な承認が済んだ段階にはなく、独立した検証はなされていない。AIモデルの数学的推論能力の進展を示す材料とみられるものの、証明完了と断定できる情報は現時点で提供されていない。

今後、研究成果の公表と数学専門家による検証が進めば、AI活用による基礎数学の研究形態が変化する可能性があるが、その成否は未確定のままである。

以上の点から、OpenAIによるホッジ予想解決への接近に関する今回の情報は、部分的事実と判断される。