How To Do Really Hard Math