Я загружаю свои слайды к моей публичной лекции "Математика 2.0", которую я прочитал вчера вечером в Калтехе. (Доклад был запланирован более года назад и изначально назывался "Доказательство с помощью машины" и должен был состояться еще в мае. Его перенесли на октябрь, и с учетом недавних событий доклад значительно изменился, но [...])