P

Peter Scholze

PersonMentioned in 1 video

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

Videos Mentioning Peter Scholze

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.