YouTube
Feed
Channels
Reports
Tags
#lean-mathlib
1 video
Grant Sanderson (@3blue1brown) – AI disproved a famous math conjecture. Now what?
93:39
265.6K views
2026-06-30
