OpenAIの画期的なNavier-Stokes証明は我々が考えていたものではなかった

9月初旬、OpenAIは数学界で有名な「ミリオン・ダラー問題」の一つであるNavier-Stokes問題に対する166ページの解決策を発表した。OpenAI自身を含む初期の報道では、内部の大規模言語モデルによって生成された証明は、スペインの数学者Diego CórdobaとLuis Martínez-Zoroaが考案したアプローチ、いわゆる「スペイン的プログラム」に従っていると示唆されていた。これは、ニューヨーク大学の数学者Tristan Buckmasterとの公の対立を引き起こした。Buckmasterは、Anthropicの従業員Levent Alpögeと共に、そのプログラムを実行するためにLLMを使用していた。しかし、専門家による詳細な検討により、OpenAIの証明は実際にはスペイン的プログラムに従っていないことが明らかになった。両方とも、Clay Mathematics Instituteによる問題の定式化における同じ「抜け穴」を利用し、非物理的な力を構築して爆発を引き起こすが、OpenAIの証明はその力を全く異なる方法で構築している。この証明は、数学に長けたLLMの約10,000個のコピーからなる「エージェント・スワーム」によって生成され、88時間と1300億トークンを費やした。一流の専門家でもこの証明は難解であり、現在Leanコードを使用して理解を試みている。OpenAIは当初、スペイン的プログラムに従った可能性のある小規模なエージェントチームを使用したが、完全なスワームは別の道を取った。LLMのブラックボックス性により、正確な推論の連鎖は永遠に不明かもしれない。この事件は、OpenAIが自社モデルの証明を理解していなかったことを浮き彫りにし、1か月以上経っても誰も完全には理解していない。先週、OpenAIはさらに400以上の結果を発表し、その中にはフィールズ賞に値するものもあり、AIによる数学的発見のペースに対する懸念を引き起こしている。

(出典：Scientific American)