AI が見つけたとされる量子計算の未解決問題の証明に、初めて外部の名のある専門家が前向きな評価を出した。量子計算の理論家で、この予想に名前の付いた本人でもある Scott Aaronson（米テキサス大学オースティン校の教授）が、自分のブログで、この証明は正しいだろうと書いた。ただし、本人はまだ証明を理解していないと断っている。示されたのも予想の全体ではなく狭い結果で、正式な査読も経ていない。AI が出した数学の成果を、だれがどう確かめるか。その最初の関門を半分だけ越えた段階である。
日本の会社にとって：大半の会社には関係ありません。関係するのは、AI に研究や解析、設計の検算をさせている製造業や製薬などの研究開発部門です。AI が出した結果を社外の発表や特許、取引先への説明に使う前に、社内のだれが独立に確かめたのかを記録する決まりがあるかを、今月中に確かめてください。今回の件が示すとおり、機械の検査が通っても、名のある専門家がおそらく正しいと言っても、それだけでは確定になりません。
何が起きたのか
話の始まりは11月6日にさかのぼる。PSI という組織が、Anthropic の一般には出していないモデルを使って、Aaronson-Ambainis 予想を証明したと自分のページで主張した。証明は、Lean（証明が正しいかを機械で検査する道具）の検査に通ったとも書いた。ただ、その時点では第三者の裏づけはなかった。
そこへ Aaronson が新しい投稿で評価を出した。結論は、証明は正しいだろうというものだ。PSI の外にいる名のある専門家が、この証明について自分の名前で判断を示したのは、これが初めてになる。関連する論文は、査読の前の論文を置く場の arXiv にも出ている。
なぜこの一言が重いのか
Aaronson-Ambainis 予想は、Aaronson と、ラトビア大学の計算機科学者 Andris Ambainis が10年以上前に立てた問題である。大づかみに言えば、手がかりになる構造を持たない問題では、量子コンピュータは普通のコンピュータに対して、桁違いの速さの差をつけられないのではないか、という見立てを数学の形にしたものだ。量子計算がどこまで得をするのかという、分野の根っこにかかわる問いの一つである。
その予想を自分で立て、長く考えてきた本人が、正しいだろうと書いた。分野の中で、この証明を判断する資格がいちばんある人の一人の評価だということになる。しかも Aaronson は、証明を出した側の会社や組織が自分で選んだ確認役ではない。AI の数学の成果をめぐっては、ラボが選んだ数学者に確かめさせて発表するやり方に、数学者の団体から反対の声が出ていた。独立した立場の専門家が、自分のブログで自分の判断として書いたことには、別の重みがある。
それでも「確定」ではない3つの理由
1つ目は、Aaronson 本人がまだ証明を理解していないと断っていることだ。正しいだろうという評価は、細部を自分で一行ずつ追い終えた上での判断ではない。名前の重みがあるぶん、評価の中身を言葉どおりに受け取る必要がある。
2つ目は、示されたのが狭い結果であることだ。予想そのものを丸ごと解いたという意味ではない。見出しだけを見て、量子計算の限界がすべて決まったと受け取るのは言い過ぎになる。
3つ目は、正式な査読がないことだ。Lean の検査に通ったという主張はあるが、機械が確かめるのは、書かれた命題が正しく導けるかどうかである。その命題が、人が言いたいことを正しく表しているかまでは保証しない。10月には、OpenAI と Anthropic がそれぞれ別の計算量の予想を AI で否定したと主張した件で、Lean に書いた主張が論文の主張より弱いと、専門家から指摘された例がある。
次に見るところ
注目は3つある。まず、スタンフォードの研究者が、ほかの専門家に向けたまとめを準備していると伝えられている。これが出れば、証明を確かめる人が一気に増えうる。次に、もう一人の名付け親である Ambainis が何と言うか。最後に、ほかの専門家が独立に細部を確かめ、学術誌の査読に進むかどうかである。
AI が数学の未解決問題に挑む話は、この秋に相次いだ。どれも、AI が答えを出す速さに、人が確かめる速さが追いついていない。今回は、外部の専門家がおそらく正しいと書くところまで来た。人が理解して確かめ終える段階には、まだ届いていない。
この記事で確かめられなかったこと
Aaronson が、結果のどの部分を狭いと見ているのか。arXiv の論文の著者や、その主張の正確な範囲。PSI が使ったという Anthropic のモデルの名前。この記事では、これらを詳しく確かめられていない。Anthropic は、このモデルについて会社として何も発表していない。Ambainis 本人の反応も見つかっていない。
