Exponentiating Mathematics (expMath)
The expMath grant aims to significantly speed up progress in pure mathematics by leveraging AI technology. It addresses two main challenges: the slow and manual process of breaking down math problems into solvable parts (lemmas), and the time-consuming effort required to prove these parts. While recent AI advancements fall short of fully automating these tasks, expMath intends to develop an AI…
MATHEMATICS IS THE SOURCE OF SIGNIFICANT TECHNOLOGICAL ADVANCES; HOWEVER, PROGRESS IN MATH IS SLOW. 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 pu…
Funding Source
Eligibility
All responsible sources capable of satisfying the Government's needs may submit a proposal that shall be considered by DARPA. See the Eligibility Information section of the BAA for more information.
Dates
Supporting links
Documents
- A1 Abstract Instructions and Submission Template
- A2 Abstract Summary Slide Instructions and Template
- Baseline Model - OT for Research Streamline Fixed
- Baseline Model - Possible Additional Contract Clauses
- Baseline Model - Small Business Contract
- HR001125S0010.pdf
- Baseline Model - Cooperative Agreement
- Baseline Model - Large Business Contract
- Baseline Model - OT for Prototype Cost Share
- Baseline Model - OT for Prototype Expenditure
- Baseline Model - OT for Prototype Fixed Support NT
- Baseline Model - OT for Prototype Fixed Support T
- Baseline Model - OT for Prototype Streamlined Fixed
- Baseline Model - OT for Research Articles of Collab
- Baseline Model - OT for Research Expenditure Co
- Baseline Model - OT for Research Expenditure Consortium
- Baseline Model - OT for Research Fixed Support Co
- Baseline Model - OT for Research Fixed Support Consortium
- P1 Proposal Instructions and Volume I Template (Technical and Management)
- P2 Proposal Instructions and Volume II Template (Cost)
- P3 Proposal Summary Slide Instructions and Template
- P4 DARPA Standard Cost Proposal Spreadsheet
- P5 Associate Contract Agreement (ACA)
Secure Grant Funding 10x Faster
Scout delivers AI-powered grant writing paired with experts that's faster, more affordable, and built to win.
Already have an account? Sign In
Trusted by 500+ Happy Customers