#Lean
4 videos
Terence Tao -- How the world's top mathematician uses AI
83:44 211.9K views 2026-03-20
Adam Marblestone -- AI is missing something fundamental about the brain
1:49:53 190.4K views 2025-12-30
What AI Is Missing for Real Reasoning? Axiom Math's Carina Hong on how to build an AI mathematician
32:46 4.6K views 2025-11-28
Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI
3:14:34 1.7M views 2025-06-14