AI時代の数学の基盤を問い直す：テレンス・タオ氏が語る「価値観の危機」
Terence Tao: Mathematics in the Age of AI [pdf]
国際数学者会議2026での公開講演で、テレンス・タオ氏はAIが数学研究に与える影響について、数学コミュニティの価値観と目標を問い直す必要性を説く。AIの能力をめぐる議論を「AI Capability Conjecture」として定式化しつつ、その正否よりも、数学の目標が多様化・分岐する可能性に焦点を当てる。問題解決の加速と検証の自動化が進む中、人間の理解を超えた証明の登場など、AI時代の数学の実践が直面する課題を、数学の精密な言語を用いて分析する。
私たちは現在、数学の価値観と実践の基盤における危機という、同様に turbulent な時代に入りつつあると私は信じています。しかし、これらの基盤を徹底的に検討し成文化すれば、私たちのコミュニティは以前よりも強く、回復力のあるものになるでしょう。