Deepwatch

Courses, Numberphile

The Math/AI Crisis

7 lectures, 4 hr 2 min in all

Discussing the AI events of 2026, including Navier-Stokes and the Proof Dump of October 2026

0 of 7 watched

Start lecture 1
  1. 1
    No More Heroes - Terence Tao Talks to Numberphile About AI

    20 min

  2. 2
    The Strip Mining of Mathematical Proofs (with Hugo Duminil-Copin) - Numberphile Podcast

    34 min

  3. 3
    SOLVED: Navier-Stokes cracked by AI - Numberphile

    30 min

  4. 4
    The Buckmaster Interview (Navier-Stokes) - Numberphile

    46 min

  5. 5
    Navier-Stokes solved by AI (extra) - Numberphile

    11 min

  6. 6
    The Glimmer in our Eye (with Grant Sanderson) - Numberphile Podcast

    57 min

  7. 7
    Learning to Live with AI (with Daniel Litt) - Numberphile Podcast

    44 min