数学者9人が、数学と人工知能をめぐる独立した諮問グループを米ニュージャージー州プリンストンの高等研究所（IAS）に設立した。設立声明は、この体制がOpenAIの当初案とは異なることをはっきりさせている。同社は一部のメンバーに外部諮問委員会への参加を打診したが、彼らは代わりに自前のグループをつくり、残りのメンバーを自分たちで招く道を選んだ。
要点
- 数学・人工知能諮問グループは、初期メンバーとしてTimothy Gowers、Edward Witten、Martin Hairer、Ravi Vakil、Melanie Matchett Wood、Ulrike Tillmann、Camillo De Lellis、François Charles、Nikhil Srivastavaの9氏を挙げる。いずれもこの活動で報酬を受け取らない。
- OpenAIは、ナビエ・ストークスの報告を出したのと同じ内部モデルが、数学のほとんどの分野にわたってさらに100件を超える未解決問題を解いたとしている。
- グループはOpenAIが数学研究をどれだけ速く進めるかについて何の権限も持たず、最初の具体的な仕事は、その成果の山をどう公開するかを助言することだ。
数学者が企業の諮問委員会を断った理由
グループが引く線は、言い回しではなく構造にある。どのAI企業からも独立して活動し、メンバーは報酬を受け取らず、提言はスポンサー経由で非公開に渡すのではなく自前のサイトで公開するという。助言の相手もOpenAIに限らず、数学を動かしうるモデルを持つAI企業であればどこにでも開いている。
一方で、影響力があるとは主張していない。グループはどのAI企業においても意思決定の権限を持たず、各社の決定の責任はその企業に残るとはっきり述べる。OpenAI側の発表も反対側から同じ境界を引き、このグループは社内の数学研究のペース配分について助言する立場ではないとしている。
その制約の内側で、役割の幅は広い。新たに生まれる成果の重要度を評価し、それがどう伝えられ調整されるかに助言し、数学研究の学術的・職業的な基準について意見を述べ、AIツールが数学者を置き換えるのではなくどう支えられるかを提案する。
きっかけ
このグループは公開の論争のただ中に現れた。9月11日、フィールズ賞受賞者25人が声明に署名し、有名な難問の解答を先に出そうとするAI研究所間の競争が学問を損なっていると主張した。圧縮された発表サイクルは論文化や引用の余地を残さず、帰属や剽窃をめぐる深刻な問題を生む。正解そのものが数学研究の価値を決めるわけではない、という内容だ。声明は規則も強制手段も示さず、追加の署名を呼びかけている。
その書簡と新しいグループの重なりは薄い。TechCrunchの報道によれば、初期メンバー9人のうち署名していたのはDe Lellis氏だけだった。面白いのはこのずれだ。公開のあり方についてOpenAIに正式に助言する顔ぶれと、これまでの公開のあり方に公然と異を唱えた顔ぶれが、ほとんど一致していない。
当面の仕事は具体的だ。グループは、OpenAIが内部モデルによる成果として報告している多数の重要な数学的結果について、公開の調整を助言するよう求められたとしている。今月初めに但し書き付きで着地したナビエ・ストークスの解を出したのと同じモデルだ。グループは、その公開をどう扱うべきかについて現役の数学者から意見を募るフォームも開設した。
次に見るべき点
提言を公開する以上、最初のシグナルは外からも読める。100件超の成果の公開に関する公開提言が出て、その後にOpenAIが実際に何をするかが続く。無報酬で拒否権も持たない組織は、飾りだと切り捨てるのが簡単だ。ただ、助言を公の場に書き残す組織は、その助言が無視されるたびに記録も残すことになる。
グループが投げかけたより大きな問いは、問題を解くことと分野に貢献することが同じ行為なのか、である。それはベンチマークのスコアで決着する問いではないし、大規模言語モデルが自らのために答えられる問いでもない。
FAQ
数学・人工知能諮問グループはOpenAIの組織なのか
違う。グループはどのAI企業からも独立して活動し、メンバーはこの活動で報酬を受け取らないとしている。OpenAIが一部メンバーに外部諮問委員会を打診したのを受けて結成され、数学に大きな影響を与えるモデルを持つ他のAI企業にも助言する用意があると表明している。
グループはOpenAIによるAI生成の数学的成果の公開を止められるのか
止められない。グループはどのAI企業でも意思決定の権限を持たないと述べており、OpenAIも社内の数学研究のペースについて助言する立場ではないとしている。影響力は、公開される提言とメンバーの評判の重みを通じてのみ働く。
OpenAIはモデルが未解決問題を何件解いたと言っているのか
内部モデルが数学のほとんどの分野で100件を超える未解決問題を解いた、というのがOpenAIの説明だ。これは先に公表されたナビエ・ストークスのミレニアム懸賞問題の解に上乗せされる。これらの主張は発表の速さに見合う査読を経ておらず、数学者が異を唱えた大きな理由がそこにある。
