Interview with MPIM Director Peter Scholze

マックスプランク数学研究所　所長Peter Scholzeへインタビュー。

・数論と幾何学の関係を理解する事

・14分頃から
leanによる形式化と数学の証明。
定義や小さな構文がトリックの可能性があるかどうか自ら確認
していない