Uploaded April 2025 | Updated September 2026, 1 week ago

---

The goal of Exponentiating Mathematics (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 comprise 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.

https://www.darpa.mil/research/programs/expmath-exponential-mathematics?utm_source=youtube&utm_medium=social&utm_campaign=programs-expmath&utm_id=programs-expmath&utm_term=expmath&utm_content=expmathintro