Yakan AI Books

AIが定理を証明するとき、数学者は何を失うか

liberal-arts

  • #数学哲学
  • #AI
  • #証明
  • #テリー・タオ
  • #知性
  • #創造性
  • #自動化

AIが定理を証明するとき、数学者は何を失うか

問い: 機械が「証明」できるなら、人間の数学者はまだ必要か？

テーマ設定

2026年6月、Quanta Magazineは意外な見出しを掲げた。「テリー・タオがいかにしてAI数学の伝道師になったか」。フィールズ賞受賞者で、現代最高の数学者と称されるタオが、AIを数学研究のパートナーとして積極的に使い始めたというのだ。

タオだけではない。2025年から2026年にかけて、GoogleやOpenAIといった企業が、AIを使ってますます抽象度の高い数学的結果を証明している。2026年7月には、量子計算量理論の分野で20年来の未解決問題が解決されたという報告もある。

この流れは単なる「便利なツールの登場」ではない。それは数学という知的活動の本質——「証明とは何か」「発見とは何か」——を問い直す、哲学的地殻変動だ。

本文

「証明」の二重の意味

数学における「証明 (proof)」には二つの側面がある。

ひとつは論理的な側面。前提から結論を矛盾なく導く手続き。形式的には、十分な計算能力があれば機械でも実行できる。実際、1976年の「四色定理」はコンピュータが膨大なケースを検証することで証明された。多くの数学者がこれを「証明」と呼ぶことに当初は抵抗を感じた。

もうひとつは認識論的な側面。なぜその定理が真なのかを、人間が「理解する」こと。数学者のポール・エルデシュは「神の本」という概念を語った。それはあらゆる定理の最も美しく簡潔な証明が記されている想像上の書物だ。数学者の営みとは、その「神の本」の一頁を読み解く行為だ、と彼は考えた。

AIの証明はどちらか？論理的には完璧かもしれない。しかし「なぜ美しいのか」「なぜその道筋なのか」という感覚が、人間には見えない。

タオが変わった理由

タオはかつてAIによる数学を半信半疑で見ていた。しかし彼が転向した理由は、AIが「答えを出す」からではなく、「問いを立て直す」手助けをするからだという。

AIは膨大な既存の証明パターンを学習し、「この問題はあの定理と構造が似ている」という連想を、人間より素早く提示できる。数学者はその提案を採用するか否かを判断し、直感で穴を埋め、証明の骨格を組み立てる。

これは外科医がロボットアームを使う状況に似ている。ロボットが切開するが、「どこを切るか」「どの程度か」は外科医の判断だ。AIは手を動かすが、数学的な「目的」と「意味の解釈」は人間が担う。

歴史的文脈：機械と知性の境界線

機械が知的作業を代替するという不安は、今に始まったことではない。

歴史を見ると、「機械が担う知的作業の範囲」は拡大し続けているが、その都度、人間は「より抽象的・創造的な層」へ移行している。問題は、その移行がいつか終わるかどうかだ。

「理解」なき証明は証明か

哲学者のトーマス・ネーゲルは「コウモリであることはどのようなことか？」という論文で、客観的な記述では捉えられない「主観的経験 (クオリア)」の問題を提起した。同じ問いが数学にも適用できる。

AIが「X は真である」と証明しても、それが「なぜ真か」という洞察を持たないなら、数学的理解とは何かが問われる。Aeon誌に掲載されたサルトルの実存主義再読の論考は、これと共鳴する問いを立てる。「価値はどこから来るか」——サルトルは「人間は実存が本質に先立つ」と語った。AIには「先立つ実存」がない。その意味で、AIの証明は手続きであって「意味の選択」ではない。

しかし逆の見方もある。数学の真理は「人間が理解するかどうか」と独立して存在する、という数学的プラトニズムの立場だ。この立場では、AIが証明した定理は人間が理解しようとしまいと、同じ真理の重さを持つ。

タオが示す新しい役割

タオの実践が示すのは、おそらくこうだ。「数学者の仕事は証明を書くことではなく、何を証明すべきかを問うことだ」と。

重要な定理を問い立て、それがなぜ面白いかを他者に説明し、証明の「設計図」を描く。そして検証の実作業をAIに委ねる。これは科学者と技術者の関係に似ている——実験設計は科学者が行うが、実験装置の操作は技術者が担う。

今日から試せること

もし数学や論理学に関心があれば:

  1. Lean 4 (形式証明アシスタント) の入門チュートリアルを試してみる — 「証明を書く」体験は哲学的思考の訓練になる
  2. 数学書を「なぜ」という問いで読む — 定理の「証明の手順」ではなく「直感的な理由」を自分の言葉で説明してみる
  3. Claude / GPT に数学の問いを出す — 正解よりも「なぜその解法か」を問い直すと、AI の限界と人間の直感の違いが見えてくる

さらに学ぶための書籍・論文・記事 3点

1. 書籍:「数学する身体」— 森田真生 (新潮社)

数学とは記号ではなく「身体を通した経験」だと論じる。AIと人間の数学の違いを考える上での土台になる一冊。数学が好きな人も嫌いな人も、「知ること」の哲学的意味を問い直せる。

2. 論文:「The Unreasonable Effectiveness of Mathematics in the Natural Sciences」— Eugene Wigner (1960)

数学が自然科学に「不合理なほど有効」である謎を問い続けた古典論文。なぜ人間の頭の中の抽象が現実を記述するのか——この問いはAI時代にも色褪せない。原文 (無料)

3. Quanta Magazine記事:「How Terry Tao Became an Evangelist for AI in Math」(2026年6月8日)

現代最高の数学者がAIをどう使い、何を感じているかを率直に語った必読の記事。数学の未来と人間の役割を考える一次資料として最良。quantamagazine.org

本稿では「証明とは何か」という問いを通じて、AIと人間の知性の境界線を探った。答えはまだない。しかしその問いを持ち続けることが、AIと共存する時代の教養の核になるだろう。

参考