Peter Scholze
Mathematician whose formalized theorems were a point of discussion for a workshop Tao helped organize, highlighting developments in computer-assisted proof.
Save the 3 videos on Peter Scholze to your own pod.
Sign up free to keep building your knowledge base on Peter Scholze as more episodes are added.
Videos Mentioning Peter Scholze
Peter Woit: Theories of Everything & Why String Theory is Not Even Wrong | Lex Fridman Podcast #246
Lex Fridman
A mathematician whose recent major paper, co-authored with Laurent Fargues, made advances in number theory by reformulating a local problem as a pure geometry problem, linking it to the geometric Langlands program.
Jordan Ellenberg: Mathematics of High-Dimensional Shapes and Geometries | Lex Fridman Podcast #190
Lex Fridman
Mathematician who turned down a large monetary prize, possibly due to ideological reasons about the perception of mathematics.
Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
Lex Fridman
Mathematician whose formalized theorems were a point of discussion for a workshop Tao helped organize, highlighting developments in computer-assisted proof.