昨夜カルテックで行われた私の公開講演「Math 2.0」のスライドをアップロードしています。（この講演は1年以上前に計画され、当初は「Machine Assisted Proof」というタイトルで5月に開催される予定でした。10月に延期され、最近の出来事により講演内容は大きく変更されましたが、[...]