Lex Fridman Podcast
#503 – 数学におけるAI危機：ナビエ–ストークス、リーマン予想、計算複雑性
#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory
Lex Fridmanが、Ankur Moitra（MIT、理論計算機科学）、Steven Brunton（UW、流体力学）、Alex Kontorovich（Rutgers、数論）の3人の数学者と、AIが数学の難問を次々に解いたという出来事を議論した回。ナビエ–ストークスの有限時間爆発、quasi-リーマン予想、ユニーク・ゲーム予想などが話題になった。「証明すること」と「理解すること」の違い、Leanによる形式化、若手研究者の不安や進路への助言も語られた。