8月19日、Terence Taoが「Mathematics in the age of AI」と題した論文を公開した。AIが研究レベルの数学タスクをこなせる時代に、数学コミュニティはどう応答すべきかを問うエッセイだ。

フィールズ賞受賞者が「数学の目的」を問い直す

著者のTerence Tao（テレンス・タオ）は、2006年にフィールズ賞を受賞した現代数学界を代表する人物だ。本論文は2026年の国際数学者会議（ICM 2026）での公開講演をもとにしたエッセイで、ICM論文集に収録予定の12ページ・図4点からなる。ICMは4年に1度開催される数学界最大の国際会議であり、フィールズ賞の授賞式も行われる場だ。ICM 2026はフィラデルフィアで7月に開催されており、タオはその基調講演としてこのテーマを選んだ。

タオが設定した問いの立て方は鋭い。「AIに数学ができるかどうか」を議論するのではなく、「できるようになる」という前提を置いた上で、「そもそも数学研究の目標と価値とは何か」 という、より根本的な問いを掘り下げる構成だ。能力論争が先行しがちなAI議論の中で、意図的にその一歩先へ踏み込んでいる。

なぜ今この問いが重要なのか

2026年現在、数学の自動化は急速に現実味を帯びている。GoogleのDeepMindが開発したAlphaProofは2024年にIMO（国際数学オリンピック）の問題を銀メダルレベルで解いて話題を呼んだ。その後も形式証明支援系のLeanとの連携は加速しており、「研究レベルの数学」が人間の専売特許でなくなる日は遠い未来の話ではなくなっている。

タオ自身、Leanを用いた証明の形式化やPolymath Projectにおける協働数学など、AIや大規模コラボレーションと数学の接点にこれまで積極的に関わってきた。その彼がICMという最大の舞台でこのテーマを選んだこと自体が、コミュニティへの強いメッセージである。

「問題を解く」ことは数学の本質ではない

タオが論文の中心的なケーススタディとして取り上げるのが、数学における「問題解決（problem-solving）」の位置づけだ。

AIが証明を自動生成できる世界では、「問題が解けた」という事実だけが数学の価値であれば、人間の数学者の役割は消えかねない。しかしタオはこの問いを通じて、単なる答えの生成とは異なる数学研究の側面を照射する。論文では、証明を生成することと、その証明が「なぜ正しいか」「なぜ美しいか」「次の数学にどうつながるか」を理解・伝達することはまったく別の営みである、という視点が展開される。数学の価値は解の存在にあるのではなく、概念を構築し、構造を理解し、コミュニティで共有する過程にある、というのがタオの立場だ。

この視点はソフトウェア開発にも重なる。コードを書くこと自体がAIに代替され始めた今、「何のためにエンジニアが存在するのか」という問いと構造は同型だ。どの知的職業でも「生成できる」と「意味を与える」は異なるレイヤーにあり、後者こそが人間の関与が残りうる領域だというのがタオの論旨の射程である。

数学コミュニティへの実践的含意

タオは哲学的な問いに留まらず、数学コミュニティが今後どう変わるべきかについても言及している。AIをツールとして使いこなす新しい数学の実践スタイル、教育や評価の見直し、そして「何が証明されたか」だけでなく「なぜそれを知りたいのか」を問い続けることの重要性が論じられる。

論文が示すのは、AIの台頭が数学者を不要にするのではなく、数学者の役割を「解を出す人」から「問いを立て、意味を与え、知識を統合する人」へとシフトさせる可能性だ。現代数学の第一人者が自らの職業の意義を問い直すこの論考は、AIと知的労働の関係を考えるあらゆる分野の読者にとって示唆に富む内容である。

詳細はMathematics in the age of AIを参照していただきたい。