Funder: DARPA Information Innovation Office (I2O)
Due Dates: Abstracts: May 15, 2025 (strongly encouraged) | Full Proposals: July 15, 2025, 5:00 PM ET
Funding Amounts: Multiple awards anticipated; project duration up to 36 months; funding level commensurate with scope and instrument type; no minimum or maximum specified.
Summary: Supports innovative research to develop AI systems that radically accelerate progress in pure mathematics through automation of abstraction, lemma decomposition, and formalization.
Key Information: Multiple award types available (contracts, cooperative agreements, OTAs); open to a broad range of organizations; strong emphasis on open-source and collaboration.