The 3b1b podcast cover image

1 - Alex Kontorovich: Improving math

The 3b1b podcast

00:00

Is Lean a Tactic?

Mathematicians get turned off by the number of steps it takes to solve a problem, he says. "If there's something deep happening, i want to understand it right" He argues that if you don't know how to do certain things, then lean is not for you....

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app