Big Conjectures (Thomas Hales, 2017)
Channel: LV-426
Date: 2021-07-29

Professor Thomas Hales announces his project called "Formal Abstracts". Video captured at the University of Cambridge. 
Check out his past Flyspeck project as well.