Peter Scholze

Person

Mathematician whose formalized theorems were a point of discussion for a workshop Tao helped organize, highlighting developments in computer-assisted proof.

Mentioned in 3 videos

Videos Mentioning Peter Scholze

Peter Woit: Theories of Everything & Why String Theory is Not Even Wrong | Lex Fridman Podcast #246

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

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

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.