AI時代の数学：テレンス・タオ氏がICM 2026で基調講演

2026年7月24日、国際数学者会議において、テレンス・タオは「AI時代の数学」と題した公開講演を行った。彼は、ラッセルのパラドックスとゲーデルの不完全性定理によって引き起こされた20世紀初頭の基礎の危機との類似性を指摘し、現在AIが同様の課題を提起していると示唆する。タオは「AI能力仮説」を弱い形と強い形で定式化するが、目的と価値という直交する問題に焦点を当てることを選択する。彼は、AI能力仮説のかなり強いバージョンが真であるという作業仮説を採用する。すなわち、AIツールは間もなく研究レベルの数学課題のかなりの部分を、合理的な成功率、質、管理、コストで実行できるようになるというものである。この仮定の下で、コミュニティはその真の目的——問題解決、理論構築、教育、美的作品の創造——を検討しなければならず、AIが生成した解の最適化がこれらの目的を乖離させるリスクがあると警告する。彼は、First Proofチャレンジ（firstproof.org）の結果を引用し、10個の研究レベルの問題のうち7個が2026年5月28日にAIチームによって解かれ、1問題あたり10～1000ドルのコストがかかったことを挙げている。タオは、Erdős ProblemsのようなサイトでAIが生成した証明が検証上の懸念を引き起こしており、人間の専門家がそれらを検証する時間や資格を欠くことが多いと指摘する。