8月20日、The Decoderが「Terence Tao says AI could trigger math's biggest crisis since Gödel」と題した記事を公開した。フィールズ賞受賞者テレンス・タオがarXivに公開した論考をもとに、AIが数学という営みそのものにもたらしうる危機を論じた内容だ。タオの主張は「AIが数学をできるかどうか」ではなく、「数学界の価値基準や慣習が根底から揺らぐ可能性」に向けられており、その射程の広さが今あらためて注目を集めている。
「証明の希少性」が「証明の氾濫」に変わるとき
タオの主張の核心は、AIが数学にもたらす危機が証明の品質ではなく、数学という営みそのものの価値基準を揺るがすという点だ。
彼が描く類比は、1900〜1930年代の数学の基礎的危機（ラッセルのパラドックスやゲーデルの不完全性定理によって、数学者が暗黙の前提を明文化せざるを得なくなった時代）に遡る。あの危機が生んだ厳密な枠組みは、その後1世紀にわたって有効であり続けた。
今日の問いは、数学的真理ではなく「数学者の価値観・慣習という暗黙の枠組み」に向かっていると、タオは論考の中で指摘する。「何が貢献か」「何が評価されるか」「何かを理解するとはどういうことか」「機械が仕事をしたと言えるのか」——これらの問いに数学界はまだ答えを持っていない。
AIは研究レベルの問題を解けるか
タオ自身の作業仮説は明確だ。「AIツールは、近い将来、研究レベルの数学的タスクのかなりの割合を、合理的なレベルの成功率・品質・監督・コストで実行できるようになる」。
その根拠としてFirst-Proof Projectの第2ラウンドを挙げる。これは未発表の研究問題10問を4つのAIシステムに管理条件下でテストしたもので、数学の専門家が評価者を務めた。その結果、10問中7問で少なくとも1つのシステムが「実質的に完全、または軽微な修正のみ」と評価される解答を出した。コストは1問あたり数十〜数百ドル程度だった。
証明が増えすぎると何が壊れるか
問題は「AIが解けるか」ではなく、その後に起きることだ。
タオは、AIが証明を量産することで、証明の希少性が証明の氾濫に転じると警告する。Erdős問題データベースにはすでに、人間の専門家が誰も検証に名乗り出ていないAI生成の提出物が数十件並んでいる。
さらに深刻なのが「過剰に洗練された証明」の問題だ。人間が書く証明には、丁寧な補題、記法の切り替え、明らかに何度も書き直されたような段落など、読み解くための摩擦が含まれている。それは冗長さでもあるが、同時に「次の読者が学べる手がかり」でもある。AIが磨きをかけた証明はその摩擦を取り除き、「読みやすいが学びにくいテキスト」を生成する。タオの言葉を借りれば、人間の説明にある「誤り」は読者にとって本当に有益であり得る。
また、グッドハートの法則——「指標が目標になると、それは良い指標でなくなる」——の文脈でも、生成AIは本物の成果ではなく「良い成果に見えること」を追いかける傾向があり、数学界が長年使ってきた指標（引用数・問題解決数など）を空洞化させるリスクを抱えていると指摘する。
「誰も説明できない証明は、未完成だ」
タオが示す実践的なルールは鋭い。「著者が自分の結果について、正確かつ適切に帰属づけられた専門家レベルの講演を説得力を持って行えないなら、その結果は出版すべきではない」。形式的に検証済みであっても、人間が説明できない証明は「未完成」とみなすべきだという立場だ。
タオ自身の論考の中で参照・引用されているものとして、2026年6月に国際数学連合が支持する形で公開されたライデン宣言（Leiden Declaration on Artificial Intelligence and Mathematics）がある。数学コミュニティにおけるAI利用の原則を定めたこの宣言は、タオの問題意識と方向性を共有しており、論考の文脈を補強する位置づけで言及されている。
若手数学者の育成については特に慎重で、「数学者を育てるという目標は、正しい宿題を提出させることで達成されるものではない」と述べ、AIの使用を厳しく制限すべきだと主張する。なお、タオ自身は文献検索・図の作成・テキスト補完・スライドの論文形式への変換にAIを使っていることを明示しており、全面否定ではなく「どこで人間が責任を持つか」を問うている点が重要だ。
「できるかどうか」より「数学が何を望むか」
最近では、ティモシー・ガワーズとピーター・サーナックがLLMを「有能な計算機だが創造的思考には限界がある」と評し、別の研究も自律的なAI研究の限界を示している。タオの論考はこうした「AIの能力論」とは一線を画す。彼が問うているのは、AIが何をできるかではなく、数学という営みが本当に何を求めているかだ。
証明を生み出すコストが劇的に下がった先に待つのは、数学の民主化なのか、それとも「理解なき証明」の氾濫による信頼の崩壊なのか。タオはその問いを数学界全体に投げかけており、答えを出すのはAIではなく人間のコミュニティだと論考は示唆している。
詳細はTerence Tao says AI could trigger math's biggest crisis since Gödelを参照していただきたい。
