Lex Fridman Podcast cover image

#472 – Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI

Lex Fridman Podcast

00:00

From Paper to Proof: Embracing Lean in Mathematics

This chapter explores the transition from traditional mathematical methods to modern computational tools like the Lean proof assistant. It discusses the benefits of using formal systems for rigorous reasoning and collaboration among mathematicians, while also addressing challenges faced during this shift. The conversation highlights the potential for scaling mathematical research through innovative software platforms and underscores the importance of teamwork in solving complex problems.

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