Three hints to the future of AI in this paper: 1) It is close to outperforming the top humans at geometry (superhuman performance is possible) 2) It combines a language model & other AI approaches (hints of the value of tools) 3) It trained on AI-generated data (big for training)