(Re)imagining mathematics in a world of reasoning machines. ~ Akshay Venkatesh. https://youtu.be/vYCT7cw0ycw #Math #ITP #AI