Lex 邀三位数学家聊「数学危机」:AI 已攻下数百难题
Lex Fridman · youtube · 2026-10-27
Lex Fridman 播客第 503 期请来三位数学家对谈 AI 冲击数学的时刻：MIT 理论计算机科学家 Ankur Moitra、华盛顿大学流体力学专家 Steven Brunton、罗格斯大学数论学者 Alex Kontorovich。
- 讨论背景是 AI 据称解决了 Navier-Stokes、准黎曼猜想、Unique Games 猜想等数百个难题
- 话题覆盖 AI 能否「解决」数学、能否创造新数学、黎曼猜想、Lean 与机器校验证明、P vs NP、LLM 为何有效
- 3.5 小时长谈，附完整时间戳与文字稿
所属事件:Lex Fridman 对谈三位数学家：AI 数周攻克顶级数学难题(3 条相关)→
「漫话AGI」频道最新
- Richard Socher:Transformer 最大突破不是注意力,而是砍掉 RNN 层 — DeryaTR_ · 2026-10-27
- Reddit 用户惊现 AI 视频评论区全由 AI 生成，直呼死互联网已至 — stupidunluckytrader · 2026-10-27
- Carmack 泼冷水:全球没有任何机器人能换个南瓜灯电池 — ID_AA_Carmack · 2026-10-27
- Stripe 高管疑惑:AI 用文字训练却最不擅长写作 — jeff_weinstein · 2026-10-27
- Thiel 谈 SI 之后什么最重要，思考 30 秒答：人际关系 — kleffew94 · 2026-10-27
- Claude Opus 5.5 一日抛出三大成果:证伪ETH、全维Kakeya、Yang-Mills存在性 — repligate · 2026-10-27