DARPA program on math

[Evan Miyazono]

Possibly of interest 

https://sam.gov/opp/4def3c13ca3947069b1779e7ff697c6a/view

> The goal of expMath is to radically accelerate the rate of progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions. expMath will be comprised of teams focused on developing AI capable of auto decomposition and auto(in)formalization and teams focused on evaluation with respect to professional-level mathematics. We will robustly engage with the math and AI communities toward fundamentally reshaping the practice of mathematics by mathematicians.