1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
This listing may be outdated. Verify details at the official source before applying.
Find similar grantsDARPA Exponentiating Mathematics (expMATH) program is sponsored by Defense Advanced Research Projects Agency (DARPA). This initiative aims to dramatically accelerate progress in pure mathematics by developing AI co-authors capable of proposing and proving useful abstractions.
Get a weekly digest of new grants like this
A free weekly digest of new foundation and federal funding opportunities as they're added to Granted. Unsubscribe anytime.
Or search similar grants →Extracted from the official opportunity page/RFP to help you evaluate fit faster.
Department of War organization. Exponentiating Mathematics Mathematics is the source of significant technological advances. However, progress in math is slow for two primary reasons.
Decomposing problems into useful lemmas is a laborious and manual process. To advance the field of mathematics, mathematicians use their knowledge and experience to explore candidate lemmas, which, when composed together, prove theorems. Ideally, these lemmas are generalizable beyond the specifics of the current problem so they can be easily understood and ported to new contexts.
Proving candidate lemmas is slow, effortful, and iterative. Putative proofs may have gaps, such as the one in Wiles’ original proof of Fermat’s last theorem, which necessitated more than a year of additional work to fix. In theory, formalization in programming languages, such as Lean, could help automate proofs, but translation from math to code and back remains exceedingly difficult.
Recent advances in artificial intelligence (AI) suggest the possibility of increasing the rate of progress in mathematics. Still, a wide gap exists between state-of-the-art AI capabilities and pure mathematics research. 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. DARPA hosted the expMath kickoff event from March 2025 in Arlington, Virginia.
expMath brings together an interdisciplinary community across industry, academia, and U.S. government towards enabling new mathematical discoveries and creating more rigorous foundations for – and possibilities in – AI. The program convened more than 130 attendees, including Fields medalists, Turing Award winners, and experts in mathematics and AI, for the kickoff.
The videos below feature presentations and discussions from the event, including an expMath overview provided by DARPA Program Manager Patrick Shafto. The videos also share complementary approaches from industry and their capabilities relevant to the expMath community. Information Processing Techniques Office Program overview: Program Manager Patrick Shafto discusses expMath’s program objectives and approach.
| 11:25 Harmonic: CEO & Co-founder Tudor Achim discusses formal verification and the future of math research. | 9:49 Axiom: Founder and CEO Carina Hong presents the company’s technology and how it is relevant for expMath performers. | 14:02 Community resources panel: Panelists share perspectives on catalyzing the future of math research.
| 31:59 Principia Labs: Harry Sanders and Elliot Glazer present the company’s approach and how it is relevant for expMath performers. | 12:15 Math Inc.: CEO Jesse Han presents the company’s technology and how it is relevant for expMath performers. | 30:44 Logical Intelligence: CTO Alex Fetisov presents the company’s approach and how it is relevant for expMath performers.
| 15:09 Content posted on this page does not constitute or imply endorsement by the Department of War or DARPA.
According to the current listing, eligibility includes: University-based teams. Confirm the full requirements in the official notice before applying.
The current listing shows varies (e.g., $5,000,000 awarded to UCLA). Verify award ceilings, matching requirements, and allowable costs in the official notice.
DARPA Exponentiating Mathematics (expMATH) program is funded by Defense Advanced Research Projects Agency (DARPA). Verify program details on the funder's official page before applying.
Yes — this listing is flagged as national in scope, so applicants across the U.S. may apply, subject to the sponsor's other eligibility criteria.
Applications go through the funder's official portal — the Apply Now link on this page goes there directly.
DPA26BZ06-DV023 is a Direct-to-Phase-II SBIR paying $700,000 over 18 months plus a $500,000 option. The physics demands 256x more transmit power than the systems that qualify you to compete, and DARPA will not accept modeling alone as proof. Here is the eligibility wall, the five engineering problems, and who can realistically win it before the October 21 close.
Read articleRelease 6's SBIR topics got the attention. Its three STTR topics — SHIELDER, fuel-flexible electric propulsion, and hypersonic wind tunnel noise diagnostics — are all Direct-to-Phase-II, all require a research institution to perform at least 30 percent of the work, and all close October 21, 2026. The feasibility gates are the real filter.
Read articleDPA26BZ06-DV026 offers $300,000 at Phase I or $1,800,000 as a single Direct-to-Phase-II tranche with no options. The deliverable is a simulated auction market that measures whether AI agents deceive, collude, or manipulate the humans they serve — measured entirely from the outside. Here is the 90% efficiency gate, the team composition most bidders will get wrong, and why this topic sits in DARPA's biology office.
Read article