Exponentiating Mathematics (expMath)
SAM.GOV Due: July 8, 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 accelerate advancements in pure mathematics. The program aims to develop an AI collaborator that can automate the decomposition of mathematical problems into useful lemmas and facilitate the formalization of these lemmas for theorem proving. This initiative is particularly suited for contractors with expertise in AI, mathematics, and formal methods, who can contribute to the development of new evaluation methods and innovative approaches that go beyond current capabilities in the field. The goal is to fundamentally reshape the practice of mathematics and enhance productivity among mathematicians through advanced AI technologies.
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
  • SAMPLE_OT_P__-_Fixed_Support_Nontraditional_-_2025.02.28.docx
  • SAMPLE_OT_R__-_Expenditure_Company_-_2025.02.28.docx