Sanjeev Arora – the director of Princeton Language and Intelligence – talks about his current research on the development of a Superhuman AI Mathematician. Sanjeev received the 2011 ACM Prize in Computing for his work in computational complexity.