OpenAI、数学者約40人との会合で未解決問題の解決を示唆 公開方針で見解に相違

8月の会合で起きたこと

WIREDの報道によると、OpenAIは8月、約40人の数学者を集めた会合を開きました。議題は、AIが数学の分野で人間の能力を上回った場合にどう対応するかというものです。出席者によれば、同社は自社の強力なモデルが数百にのぼる長年の未解決問題を解いたことを示唆しました。同時に、解を一度にすべて公開することはないと出席者に伝えたとされています。

この「一括公開はしない」という説明について、OpenAIのスポークスパーソンであるリンジー・マッカラム氏は、同社はそのような確約を「認識していない」と述べています。つまり、出席者が受け取った説明と、同社が公式に認める内容との間に食い違いがあることになります。会合では、コミュニティの反応を懸念して、公表の進め方について助言を求める場面もあったと報じられています。

示唆された成果の重み

注目点は、AIモデルが「数百」規模の未解決問題を解いた可能性が示唆されたことです。未解決問題とは、長く誰も解けていない問いを指します。もしこれが事実であれば、数学という検証しやすい分野でAIの推論能力が一段上がったことを示す材料になり得ます。ただし本記事で示されているのは出席者の証言に基づく示唆であり、解の内容や正しさの確認結果は示されていません。

もう一つの焦点は、成果をどう公開するかという手続きです。会合では、公表の仕方によって研究コミュニティがどう反応するかを同社が気にかけていたと報じられています。能力の高さだけでなく、発表の順序や検証の機会をどう設計するかが議論の対象になっている点が、通常のモデル発表とは性格が異なります。

検証と公開をめぐる論点

一般に、数学の未解決問題に対する解答は、専門家が内容を確認して初めて妥当性が認められます。モデルが生成した解答であれば、なおさら第三者の検証が前提になります。本記事では、そうした検証がどのように行われるのか、誰が関与するのかは示されていません。ここが明らかにならない限り、「数百の問題を解いた」という示唆の重みは判断できません。

公開の進め方も同様です。出席者によれば、同社は一括での公開を避けると伝えたとされますが、広報担当者はその確約を認識していないとしています。段階的に公開するのか、検証を待ってから公表するのかによって、研究者や企業が受け取る印象は変わるとみられます。

現時点で分かっていないこと

本記事では、解かれたとされる問題の分野や難易度、使用されたモデルの名称、解の内容、公開の予定はいずれも示されていません。会合の詳細な議事や、出席した数学者の名前も明らかにされていません。同社が確約を行ったかどうかについても、出席者の証言と同社の説明が一致していません。

原題にある「Again(また)」は、同社と数学者コミュニティの間に以前も摩擦があったことを示唆しますが、その経緯は本文では触れられていません。過去に何があったのかが明らかになれば、今回の出来事の位置づけも変わってくるとみられます。