9月21日、Terence Taoが「Announcing the Advisory Group on Mathematics and Artificial Intelligence」と題した記事を公開した。この記事では、数学とAIの関係を巡る諮問グループ「AGMAI」の設立と、OpenAIが生成した数学的成果の公開調整という喫緊の課題について詳しく紹介されている。以下に、その内容を紹介する。
OpenAIの数学的成果、どう公開するか——著名数学者たちが動いた
プリンストン高等研究所（IAS）を拠点に、Advisory Group on Mathematics and Artificial Intelligence（AGMAI）が正式に発足した。Webサイトはagmai.orgで公開されている。
グループのメンバーには、数学界を代表する顔ぶれが並ぶ。
- François Charles（ENS-PSL）
- Camillo De Lellis（IAS、GSSI）
- Timothy Gowers（コレージュ・ド・フランス、ケンブリッジ大）
- Martin Hairer（EPFL、インペリアル・カレッジ・ロンドン）
- Nikhil Srivastava（UC Berkeley、サイモンズ研究所）
- Ulrike Tillmann（オックスフォード大、INI）
- Ravi Vakil（スタンフォード大）
- Edward Witten（IAS）
- Melanie Matchett Wood（ハーバード大）
Fields賞受賞者を複数含む、実質的に現代数学のトップ層が集まった布陣だ。
設立の経緯：OpenAIからの打診が発端
このグループが生まれた背景には、OpenAIからの接触がある。OpenAIが一部メンバーに対して外部諮問ボードの設立を打診したのが発端で、メンバーたちはOpenAIと合意のうえで独立したグループとして立ち上げることを決めた。
AGMAIの目的は、AI企業に対して「数学研究・数学コミュニティとの関わり方」を助言することだ。特に、数学的成果の責任ある提示・公開の在り方に焦点を当てる。グループはいかなるAI企業からも報酬を受け取らず、推奨事項はWebサイト上で公開する方針を取る。意思決定権はあくまでAI企業側にある、という立場を明示している点も特徴的だ。
最初の課題：OpenAIモデルが生み出した「大量の数学的成果」の扱い
現在AGMAIが直面している最初の具体的な課題が、この記事で最も注目すべき点だ。
OpenAIの内部モデルが、数学において大量の重要な成果を生み出したと報告されており、その公開をどう調整するかをOpenAIに助言することが現時点での課題である。
OpenAIが「重要な数学的成果（significant results in mathematics）」を大量に生成したと主張している事実は、数学コミュニティにとって軽視できない話だ。それらをどのタイミングで、どのような形で発表するかは、既存の数学研究者のキャリアや優先権（priority）の問題にも直結する。
AGMAIは数学コミュニティからの意見を募っており、フォームから入力が可能だ。回答は推奨事項の策定に活用され、承認なしには公開されないとしている。
なぜ今、この動きが重要なのか
AIが数学の補助ツールとして使われる段階を超え、独立した数学的成果を生成しうる存在になりつつあるという認識が、このグループ設立の根底にある。
Terence Taoはこのブログ記事をゲスト投稿として掲載しており（投稿はもともと別フォーマットで書かれ、AIで変換されたと注記されている）、自身の関与については明示していないが、このブログで取り上げること自体、一定の意思表示と読める。
AI×数学の領域では、2023年以降DeepMindのAlphaGeometryやGoogleの数学推論研究が相次いで注目を集めており、OpenAIの動向はその延長線上にある。ただし、AGMAIが言及する「大量の重要な成果」の具体的な内容はまだ公開されていない。
詳細はAnnouncing the Advisory Group on Mathematics and Artificial Intelligenceを参照していただきたい。
