AIが数学の「神託」となるとき、人間の直感はどこへ向かうのか

編集者注：理解より先に答えが来るとき

人類の知識体系において、数学は長らく最も純粋で、人間の直感と厳密な証明に最も依拠する学問とみなされてきた。しかし、人工知能の急速な進化がその根幹を揺るがしつつある。コーネル大学の応用数学者であり著名なサイエンスライターでもあるスティーブン・ストロガッツ（Steven Strogatz）は、新著『Big Math: The Hidden Codes That Run Our World』の中で、不安であると同時に興奮を覚えさせる問いを投げかけている。AIが数学の「神託（oracle）」となったとき、この学問に何が起きるのか、と。

「神託」の比喩：答えは出た、では理解は？

「神託」という言葉はコンピュータサイエンスの分野では馴染み深い。計算複雑性理論において、oracleとは特定の問いに瞬時に答えられるブラックボックス——答えは得られるが、どのように導かれたかはわからない——を指す。ストロガッツはこの概念を借用し、AIが数学に介入した後の風景を描き出す。将来の数学者はAIシステムに予想を提示し、システムが数秒以内に証明または反例を返すかもしれない。しかし証明の筋道、核心的な洞察、さらには検証の正しさでさえ、人間の理解の及ばない領域に置かれてしまう可能性がある。

これは数学の本質と微妙な緊張関係を生む。数学的証明は単に「ある事柄が真であることの確認」ではなく、説得であり、説明であり、共同体がなぜ真であるかを理解するための社会的営みでもある。AIが与えた証明を誰も読み解けないとしたら、それはなお数学的知識と呼べるのだろうか。

数学の価値は結論の正しさだけにあるのではなく、結論に至る道程で人間が得る理解にこそある。

AIはすでに数学の扉を叩いている

ストロガッツの懸念は杞憂ではない。近年、AIの数学分野における進展は目覚ましい。DeepMindのAlphaProofとAlphaGeometryは国際数学オリンピックでメダル水準に達し、LeanやCoqといった対話型定理証明系は機械検証可能な数学ライブラリを構築しつつある。また大規模言語モデルは予想の生成、文献の整理、証明の草案作成に活用されている。かつて機械には最も攻略困難とされた数学は、今やAIの新たなフロンティアとなりつつある。

同時に、数学界の姿勢にも分化が生じている。一方はAIを強力な助手として歓迎し、煩雑な検証作業を加速させ、膨大な構造の中からパターンを見出す存在と捉える。他方は、「神託」への過度な依存が数学者から問題の深層的な把握を奪い、ひいては数学研究の訓練方法や評価体系そのものを変えてしまうと憂慮する。

『Big Math』：隠されたコードと見過ごされてきた繋がり

ストロガッツは長年、数学の美しさを広く伝えることに尽力してきた。『The Joy of x』から『Infinite Powers』に至るまで、彼は抽象的な概念を親しみやすく語る手腕で知られる。新著では「世界を動かす隠されたコード」——疫学モデルから金融ネットワーク、アルゴリズムによるレコメンデーションから気候シミュレーションまで——に目を向け、数学が見えない形で現代の生活を形作っていることを示す。AIの台頭はまさにこれらの隠されたコードが最も凝縮された体現であり、同時にそれらを書き換える可能性が最も高い存在でもある。

インタビューの中でストロガッツは、数学者がこの「新しい同僚」をどう見ているかを探る。AIはツールなのか、協力者なのか、それとも潜在的な代替者なのか。機械が人間の思いつかない予想を提示できるとき、数学の創造性はなお人間のものと言えるのか。

認識論の亀裂：証明、直感、そして信頼

より根深い問題は認識論にある。伝統的な数学は検証可能な証明の上に成り立ち、査読は完全ではないにせよ、知識共同体が結論を把握できることを保証してきた。AIがoracleとなれば、数学界は「結果はわかるが理由はわからない」という困難に直面するかもしれない。結論は広く使われながら、その経緯を説明できる者がいないという状況だ。これは数学の教育的機能を損ない、誤りの発見をより困難にする恐れもある。人間が審査できないブラックボックスの権威は、理解ではなくシステムへの信頼に依拠するしかないからだ。

ただし、楽観的な見方もある。歴史的に数学は新たな道具によって何度も姿を変えてきた。微積分の誕生は「無限小」をめぐる哲学的論争を引き起こし、コンピュータの導入は実験数学と四色定理の機器による証明を生んだ。そのたびに数学は新たな厳密性の基準を発展させることで衝撃を吸収してきた。AIは「機械検証可能な証明」を主流の規範とし、数学の厳密性を別の形で高度化させる推進力になるかもしれない。

結語：替えられる者ではなく、問いを立てる者として

AIが数学の神託となるとき、人間の数学者の役割は「証明者」から「問いを立てる者」と「解釈者」へと移行するかもしれない——より良い問いを提示し、どの答えを追求する価値があるかを判断し、機械が示した結果に意味を与える存在として。これは必ずしも数学の終焉ではなく、数学のアイデンティティの再構成となりうる。真に問われるべきは「AIは数学者に取って代わるか」ではなく、「答えが容易に手に入るとき、私たちはなお何を理解したいと思うのか」ではないだろうか。

本記事はArs Technicaより編訳