4 ms·Akshay Venkatesh: (Re)imagining mathematics in a world of reasoning machines [video]2 points by nabla9 2y ago