Creating a Superhuman AI Mathematician with Sanjeev Arora (2011 ACM Prize in Computing)