Being a theory builder more than a problem solver I am excited for the future.
Also excited for fully formalised mathematics to hit main stream!