Lex Fridman Podcast #503: Three mathematicians on AI's crisis in math
Lex Fridman · youtube · 2026-10-27
Lex Fridman hosts MIT theoretical computer scientist Ankur Moitra, UW fluid dynamics expert Steven Brunton, and Rutgers number theorist Alex Kontorovich to discuss the moment when AI reportedly solved Navier-Stokes, the quasi-Riemann hypothesis, the unique games conjecture, and hundreds of other problems.
- Topics: whether AI will "solve" mathematics, whether it can create new math, Riemann hypothesis, Lean and machine-checked proofs, P vs NP, why LLMs work
- A 3.5 hour conversation with timestamps and full transcript available
Related event: Lex Fridman Talks to Three Mathematicians as AI Cracks Top Math Problems(3 posts)→
More from AGI Musings
- Richard Socher: Transformer's real breakthrough was killing recurrence, not attention — DeryaTR_ · 2026-10-27
- Reddit user finds Instagram reel's comment section entirely AI-generated — stupidunluckytrader · 2026-10-27
- John Carmack: no robot today can change batteries in a jack-o-lantern — ID_AA_Carmack · 2026-10-27
- Stripe exec: AI trains on words yet is terrible at writing — jeff_weinstein · 2026-10-27
- Thiel asked what matters most post-SI, pauses 30 seconds: "Human Relationships" — kleffew94 · 2026-10-27
- Claude Opus 5.5 claims ETH false, all-dimension Kakeya and Yang-Mills in one day — repligate · 2026-10-27