スタンフォード大学で、OpenAIのCEOサム・アルトマンは、キャリアの先行きを憂う数百人の学生を前に、数学界がAIに直面したときの集団心理について語った。彼の見るところ、数学者たちは「嘆き」に近い旅をたどったという。
第一段階は信じられないということ、続いて苦しみ。アルトマンは業界内の典型的な反応を繰り返した。初日はみんな「もう終わりだ、数学という分野も終わった」と感じ、大学院生に専攻変更を勧めることさえ考えた。3日目には感情は怒りへと変わり、矛先は「OpenAIのやり方はあまりにもひどい」というものに向けられた。
転換が訪れたのは5日目だった。数学者は現実を受け入れ始めた——研究と証明において、AIはすでに避けて通れない道具となっている。多くの人は、自分の数学者としての道は変わるだろうが、「以前より良いことを願っている」と考えるようになった。アルトマン自身は楽観的で、AIが雇用の大惨事を引き起こすとは思っていない。
ロマンの時代の終焉と論争
アルトマンの楽観論は、多くの数学者の実感とは大きくかけ離れている。今年9月、OpenAIはモデルが19世紀以来未解決だったナビエ–ストークス方程式の難問を解決したと突如発表し、怒りの火に油を注いだ。ニューヨーク大学とAnthropicの研究者らは、同社が自分たちのチャット履歴を「弾薬」として使ったと非難した。また、AIが答えだけを示して導出過程を見せず、人間に残された仕事を退屈な検証作業に変えたことに腹を立てる人もいた。
騒動の一方で新たな動きも起きた。カリフォルニア工科大学の学部生たちが「数学マラソン」を立ち上げ、AIを活用して長年未解決の難問に挑むことを奨励した。700人を超える学者が、これがAI生成のゴミコンテンツを助長すると連名で批判し、OpenAIはスポンサーから撤退、大会はルールを変更したうえで11月に開催される予定となった。
陶哲軒は数学研究の「ロマンの時代」が終わったと率直に語り、トップクラスの同業者たちは自ら問題を解くことから、AIの答えを検証する方向へと移りつつある。今月、OpenAIは再び700問以上の数学問題を解決したと発表し、陶哲軒は「何かが失われつつある」と嘆いた。一方、アルトマンはこうまとめた。これほど短期間でこの一連の変化をすべて経験した分野は見たことがない、と。