Posted on September 11, 2020 by Praveen NairBookmark: Lecture on “Automating Mathematics?” by Siddhartha Gadgil