OpenAIが計算理論の難問の証明を発表

OpenAIは、長年の数学の難問への解答を含むとされる数百本の原稿を大量公開してから1か月も経たないうちに、3つの新たな「主要」発見を発表した。新しい成果は数学、計算機科学、物理学にまたがり、OpenAIは10月6日の公開時と同様、モデルの出力を直接公開するとしている。

今回の発表を際立たせているのは、OpenAIが「シェパード」と呼ぶ外部専門家を使い、計算機科学と物理学の成果を導く点だ。計算機科学の主張、すなわち指数時間仮説が偽であるという点については、1999年に同仮説を提唱したグループの一員だったラッセル・インパリアッツォとラマモハン・パトゥリ、MIT教授ライアン・ウィリアムズを含むグループが検証を導いている。彼らは今日、AIの出力をまとめた文書とLean証明をGitHubで公開し、AIが生み出した画期的成果に関する規範への意見を求める公開書簡も発表した。

OpenAIはこの手法に独自の問題があり得ると認めている。数学顧問で構成するAGMAIパネルは昨日、アクセスの不平等、業績の借用、選考の偏りを理由に、AI企業が特定の人に成果を最初に受け取らせる慣行を採用しないよう勧告すると述べた。数学の成果についてOpenAIは、モデルがあらゆる次元で局所平滑化予想の証明を生み出し、それによりすべての次元で掛谷予想とスティーンの制限予想も解決したとしている。ほんの数か月前、NYU教授のホン・ワンが3次元の掛谷予想を解決したことでフィールズ賞を受賞したばかりのテーマだ。物理学の情報は完全には公開されていないが、OpenAIは特定の相互作用する量子場の理論に関する数学的に厳密な存在証明だとし、デイビッド・グロスがその作業を導くグループを率いるとしている。