Exponentiating Mathematics (expMath)
SAM.GOV Due: July 15, 2025 at 05:00 PM UTC
In-Active Solicitation Source Url

Summary

The Exponentiating Mathematics (expMath) opportunity, issued by the Defense Advanced Research Projects Agency (DARPA), seeks innovative proposals aimed at leveraging artificial intelligence to significantly enhance the pace of mathematical progress. This program is focused on developing an AI collaborator that can automate the decomposition of complex mathematical problems into manageable lemmas and facilitate the transition between natural language and formal theorem proving languages. The goal is to revolutionize the practice of mathematics, moving beyond mere incremental improvements to achieve substantial advancements. Contractors with expertise in AI, mathematics, and formal methods are encouraged to submit proposals, particularly those capable of addressing the challenges of abstraction and proof automation in professional mathematics.
Description
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 pure m
Entities
DOD
Department of Defense
DARPA(
Defense Advanced Research Projects Agency
NAICS
541715
Set Aside
None
Point of Contact
Full Name Email Phone Type
BAA Coordinator [email protected] None primary
Attachments
  • P4_-_DARPA_Standard_Cost_Proposal_Spreadsheet.xlsx
  • Baseline_Model_Contract__Large_Business__Mar_2025.pdf
  • P2_-_Proposal_Instructions_and_Volume_II_Template__Cost.docx
  • Baseline_Model-_Contract_Addendum_Circumstance-Driven_Additional_Clauses.docx
  • Baseline_Model-_Cooperative_Agreement_11-21-24.docx
  • P5_-_Associate_Contractor_Agreement__ACA.docx
  • SAMPLE_OT_P__-_Cost-Share_Expenditure_Based_-_2025.02.28.docx
  • P1_-_Proposal_Instructions_and_Volume_I_Template__Technical_and_Management.docx
  • A2_Abstract_Summary_Slide_Instructions_and_Template.pptx
  • Baseline_Model_Contract__Small_Business__Mar_2025.pdf
  • A1_Abstract_Instructions_and_Submission_Template.docx
  • SAMPLE_OT_R__-_Articles_of_Collaboration_Model_-_2025.02.28.docx
  • SAMPLE_OT_P__-_Expenditure_Based_Approach_-_2025.02.28.docx
  • SAMPLE_OT_R__-_Fixed_Support_Consortium_-_2025.02.28.docx
  • SAMPLE_OT_P__-_Streamlined__Fixed_-_2025.02.28.docx
  • SAMPLE_OT_R__-_Expenditure_Consortium_-_2025.02.28.docx
  • SAMPLE_OT_P__-_Fixed_Support_Traditional_Cost-Share_-_2025.02.28.docx
  • P3_-_Proposal_Summary_Slide_Instructions_and_Template.pptx
  • SAMPLE_OT_R__-_Streamlined-fixed_-_2025.02.28.docx
  • HR001125S0010.pdf
  • SAMPLE_OT_R__-_Fixed_Support_Company_-_2025.02.28.docx
  • HR001125S0010-Amendment-01.pdf
  • SAMPLE_OT_P__-_Fixed_Support_Nontraditional_-_2025.02.28.docx
  • SAMPLE_OT_R__-_Expenditure_Company_-_2025.02.28.docx
  • HR001125S0010-Amendment-02.pdf