The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative proposals in
the technical area of artificial intelligence (AI) to dramatically increase the rate of progress in
mathematics. Proposed research should investigate innovative approaches that enable
revolutionary advances in science, devices, or systems. Specifically excluded is research that
primarily results in evolutionary improvements to the existing state of practice.

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.

Proposal Abstract due May 15th.