フィールズ賞受賞者でカリフォルニア大学ロサンゼルス校教授のテレンス・タオは、国際数学者会議（ICM 2026）で「AI時代の数学」と題した講演を行いました。彼は、人工知能が数学研究の方法を根本から変えつつあると指摘し、定理証明から計算まで、AIの導入が前例のない機会と課題をもたらしていると述べました。
タオは、数学におけるAIの応用は現在主に二つの側面があると論じました。第一に、複雑な記号計算や数値シミュレーションを処理する強力な計算ツールとしての役割、第二に、機械学習モデルを用いて命題の真偽を予測したり証明のヒントを提供する論理的推論の補助です。彼は特に、具体的な問題解決におけるAIの能力は伝統的な手法に匹敵しつつあるが、抽象的思考や創造的推論には依然として大きな限界があると述べました。
「AIは数学者に取って代わるのではなく、数学者の働き方を変えるでしょう」とタオは講演で強調しました。将来の数学研究は人間とAIの協働になるとし、数学者はAIツールを活用して予想を検証し、未知の領域を探求すると同時に、数学の本質への深い理解を維持する必要があると述べました。彼は数学界にAIを積極的に受け入れるよう呼びかける一方で、過度な依存のリスクにも警鐘を鳴らしました。
数学教育に関して、タオは批判的思考とAIとの協力能力の育成に重点を置くべきだと提言しました。AIが反復的な計算を引き受けることで、研究者はより高次の問題に集中できるようになるでしょう。
講演の最後に、タオはAIが導く可能性のある数学の新たな方向性について展望しました。自動定理発見、分野横断的なアナロジー転移、確率に基づく数学的直観の構築などが挙げられます。彼は、AIがまだ数学の基礎を完全に変えていないものの、新しい数学の世界への扉を開きつつあると結論づけました。
さらに、タオはAIが数学教育に与える潜在的な影響についても議論し、将来の数学者は伝統的な数学の技術だけでなく、AIシステムと協働するスキルを習得する必要があると述べました。AIは学生が複雑な概念をより速く理解する助けとなる一方で、基礎訓練の重要性を弱める可能性もあるため、教育者はAIの利点を活用しつつも厳格な訓練を維持するバランスを見つける必要があると指摘しました。
タオの講演は大きな議論を呼び、多くの参加者がAIが数学研究のパラダイムを完全に変えるだろうと述べました。しかし彼は、AIは依然として真の理解能力を欠いており、人間の創造性や直感を代替することはできないとも注意を促しました。今後の数学の進歩は人間とAIの協調に依存するでしょう。