#503 – AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory

Ankur Moitra、Steven Brunton 與 Alex Kontorovich 是三位數學家，他們能夠說明這個數學史上難以置信的時刻：AI 解決了其中一些最難的問題，例如 Navier-Stokes 方程、準黎曼猜想、唯一遊戲猜想以及數百個其他問題。 Ankur Moitra 是 MIT 的數學家（同時在普林斯頓高等研究院訪問），專研理論電腦科學，能談唯一遊戲猜想、複雜度理論以及 AI 學習的數學。 Steven Brunton 是華盛頓大學的數學家與流體動力學專家，能談 Navier-Stokes 方程、湍流以及流體動力學的機器學習。 Alex Kontorovich 是 Rutgers 大學的數學家，專精於數論，能談黎曼猜想、Lean 與機械驗證證明。 感謝您的收聽 ❤ 檢視我們的贊助商： https://lexfridman.com/sponsors/ep503-sc 以下提供時間戳、文字稿，以及提供回饋、提交問題、聯絡 Lex 等資訊。 文字稿： https://lexfridman.com/math-ai-crisis-transcript 聯絡 Lex：回饋 – 向 Lex 提供回饋：https://lexfridman.com/survey AMA – 提交問題、影片或電話：https://lexfridman.com/ama 招募 – 加入我們的團隊：https://lexfridman.com/hiring 其他 – 其他聯絡方式：https://lexfridman.com/contact 節目連結：Ankur’s 網站： https://people.csail.mit.edu/moitra/ Alex’s X： https://x.com/AlexKontorovich Alex’s 網站： https://sites.math.rutgers.edu/~alexk/ Steven’s X： https://x.com/eigensteve Steven’s YouTube： https://youtube.com/@Eigensteve Steven’s 網站： https://eigensteve.com Lean： https://lean-lang.org/ 贊助商：為支援此播客，請檢視我們的贊助商 & 享受折扣： Wispr Flow： AI 語音輸入應用。前往 https://wisprflow.ai/lex Fin：客戶服務 AI 代理。前往 https://fin.ai/lex LMNT：零糖電解質飲料混合物。前往 https://drinkLMNT.com/lex Blitzy：大型企業程式碼庫 AI 代理。前往 https://blitzy.com/lex Shopify：線上銷售。前往 https://shopify.com/lex NetSuite：商業管理軟體。前往 https://netsuite.ai/lex Perplexity：AI 驅動的答案引擎。前往 https://perplexity.ai/ 大綱： (00:00) – 介紹 (01:58) – 贊助商、評論與反思 (09:53) – 數學危機時刻 (18:10) – AI 是否能「解決」數學？ (34:21) – AI 能否創造新數學？ (1:13:53) – 黎曼猜想 (1:37:45) – Navier-Stokes (2:03:42) – 自然如何計算 (2:12:35) – 唯一遊戲猜想與複雜度理論 (2:27:28) – 數學家如何思考 (2:41:05) – 數學是發明還是發現？ (2:47:13) – AI 能否解決 P vs NP？ (2:57:28) – 為何大型語言模型表現如此出色 (3:11:54) – AI 尚未能解決的問題 (3:16:23) – Grigori Perelman (3:25:41) – 對年輕人的建議