フィールズ賞受賞式でテレンス・タオ氏：数学は世紀の危機に直面

2026年の国際数学者会議（ICM）で、2026年フィールズ賞受賞者の王紅氏と鄧宇氏の発表直後、2006年に同賞を受賞したテレンス・タオ氏が「AI時代の数学」と題した講演を行いました。AIが数学を扱えるかどうかを議論するのではなく、タオ氏は次のような作業仮説を提示しました。すなわち、AIがまもなく研究課題のかなりの部分を妥当なコストで解決できるようになるだろうと想定するというものです。独立ベンチマーク「First Proof」で、AIシステムが10問中7問を出版可能な水準で解いたことを引用し、これにより議論を価値の領域に移行できると強調しました。タオ氏はグッドハートの法則（指標が目標になると、良い指標でなくなる）を引用し、数学研究における目標の進化（問題解決、検証、明確な説明、コミュニティの受容、正典化）が「証明の消化不良」（証明不足の時代から証明過多の時代への移行）をもたらすことを示しました。タオ氏は「最初の解決」の重みを減らし、「消化」段階（説明、出版、正典化）の重要性を高めるよう呼びかけました。彼は、AIの使用開示を義務付け、著者が正確性に全責任を負う「ライデン宣言」を支持しました。タオ氏の厳格なルールは、著者が口頭で明確かつ専門的に発表できないならば、出版すべきではないというものです。タオ氏自身もスライド作成にAIを使用したことを認め、コミュニティ内でのオープンな対話を呼びかけました。