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