어제 저녁 Caltech에서 제가 진행했던 공개 강연 “Math 2.0”의 슬라이드를 업로드하고 있습니다. (이 강연은 1년 전에 계획되었으며, 처음에는 “Machine Assisted Proof”라는 제목으로 5월에 진행될 예정이었습니다. 10월로 연기되었고, 최근 사건들로 인해 강연 내용은 상당히 변경되었지만, […]