Information Innovation Office
The Exponentiating Mathematics (expMath) program aims to develop an AI collaborator to increase the rate of
progress in mathematics by orders of magnitude. The program will also aim to develop new evaluation
methods to assess the progress of AI systems towards professional mathematics.