Funder: DARPA - Information Innovation Office
Due Dates: May 15, 2025 (Abstracts) | July 8, 2025 (Full Proposals)
Funding Amounts: Multiple awards anticipated; award size and duration will vary by project scope and instrument. 36-month period of performance. No minimum/maximum specified.
Summary: Supports research to radically accelerate progress in pure mathematics using AI, focusing on automating problem decomposition and formalization of proofs.
Key Information: All responsible sources may apply; both contracts and assistance instruments available; open to U.S. and non-U.S. organizations.