Peter Scholze: Condensed Mathematics [video] · HackerTrans