More
This week on the channel +1.8M views this week

Lex Fridman's math panel asks what AI leaves for humans

Ankur Moitra, Steven Brunton and Alex Kontorovich consider proof, discovery and mentorship in a conversation stretching beyond three hours.

Why this story? The channel's weekly summary: what went up this week, what is drawing views now, and where the channel stands among similar channels.

AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503

Things we can learn from the video

Press to jump

  1. 3:40Moitra describes excitement about AI advances alongside concern for students and postdocs.
  2. 11:02Kontorovich uses human-computer chess partnerships as a model for mathematicians collaborating with AI.
  3. 20:00Moitra argues that theorem production alone misses mathematics' deeper work of discovery and understanding.
  4. 50:03Kontorovich uses Perelman's Poincaré conjecture proof to explain the community's deliberate process of checking major results.
  5. 56:58Lean and Mathlib allow formal proofs to be checked down to their underlying axioms.

A proof can answer a question without explaining why that question was worth asking. That distinction gives Lex Fridman's only new upload this week its human center, beneath the imposing title "AI Crisis in Math: Navier-Stokes, Riemann Hypothesis & Complexity Theory | Lex Fridman Podcast #503".

Fridman convenes the panel around AI announcements he presents as major mathematical breakthroughs. Rutgers number theorist Alex Kontorovich sees an opportunity for a golden age of knowledge. MIT theoretical computer scientist Ankur Moitra brings a different concern: what happens to students, postdocs and the patient work of understanding? University of Washington fluid dynamics expert Steven Brunton pairs optimism about practical discoveries with questions about human purpose.

Moitra's affection for mentorship makes the stakes particularly tangible. He argues that mathematics cannot be reduced to producing proofs: conceptual connections and the less measurable work of mathematicians matter too. Later, the discussion gets concrete about checking results, with Kontorovich explaining how Lean and the Mathlib library support formal verification.

The episode drew roughly 559,000 views in its opening stretch. Viewers are picking up on the same tension: some compare mathematicians' predicament with chess players confronting powerful engines; others wonder whether finding good problems will become more important than solving them. Several also single out the explanatory graphics and Brunton's appearance.

The channel added 10,000 subscribers over seven days, while its current daily views are running at more than four times their usual pace. That is a sharp lift today, rather than a description of the entire week.

Away from the panel, "The FULL Taiwan Experience w/ Jensen Huang | Lex Fridman" remains the next most active upload. Its night markets and conversations about computing offer a distinctly different setting for Fridman's continuing interest in what AI changes.

Published on Trari

Where next?

What viewers say

  • Only a couple of minutes into this, but I guess that the future of mathematicians is not to solve problems, but to find them.
    @chockablocksSee it on YouTube
  • Steven Brunton ! Wow what a pleasant surprise! Love that guy's YouTube videos.
  • The current subject aside., I love hearing mathematician talk like this because they make such careful distinctions and summarize a topic so clearly, it's just pleasing to hear in the same way that anything aesthetically pleasant is.
    @workingTchrSee it on YouTube
4 more comments
  • Why is NO ONE commenting on the mostrous amount of 3-Blue 1-Brown level animations illustrating every complex argument? This level of production is bananas, even for a channel as big as Lex's.
    @FelipedeOliveiraTubeSee it on YouTube
  • Thank you for bringing on EIGENSTEVE!
    @swinginsteel8519See it on YouTube
  • Never had such clear and consistent explainers, keep it up lex..
    @InfoMeNow-x5lSee it on YouTube
  • This is what I needed. Thanks Lex.
    @djsharp5753See it on YouTube

Public comments from the video's page on YouTube

Or follow us on Telegram

The videos drawing views on Lex Fridman right now

The facts
Subscribers
5,070,000 ▲ 10,000 this week
Channel views, last 7 days
1,832,874
Videos published this week
1
Video published
October 26, 2026
Video views so far
558,605
Views on its first day
476,555

The numbers

Here is how Lex Fridman's uploads and audience moved over the past seven days.

views gained this week: this channel and similar channels
Shawn Ryan Show
34,890,162
Team Coco
12,175,110
Theo Von
5,032,089
PBD Podcast
4,883,377
Lex Fridman
1,832,874
subscribers
5,070,000
▲ 10,000 in the last 7 days
total views
934,369,730
views per day
705,796
typical day: 171,551
first-day views of each video posted this week
subscribers: this channel and similar channels
Team Coco
9,220,000
Lex Fridman
5,070,000
Theo Von
4,790,000
PBD Podcast
2,990,000
As of October 28, 2026 · Data source: Trari Social News, Trari Traffic Trends and Ranking Platform, Google YouTube
Subscriber, view, like and comment counts are YouTube's. Rates, usual days, rankings, comparisons and categories are Trari's own calculations.
Developed with YouTube

💡 Test your knowledge

Which proof assistant is discussed in Lex Fridman's mathematics panel?