Future Program: Exponentiating Mathematics (expMath)
ID: DARPA-SN-25-41Type: Special Notice
Overview

Buyer

DEPT OF DEFENSEDEFENSE ADVANCED RESEARCH PROJECTS AGENCY (DARPA)DEF ADVANCED RESEARCH PROJECTS AGCYARLINGTON, VA, 222032114, USA

NAICS

Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology) (541715)

PSC

NATIONAL DEFENSE R&D SERVICES; DEPARTMENT OF DEFENSE - MILITARY; APPLIED RESEARCH (AC12)

Original Source

https://sam.gov/opp/4def3c13ca3947069b1779e7ff697c6a/view
Timeline
    Description

    The Defense Advanced Research Projects Agency (DARPA) has announced a Special Notice regarding its upcoming Exponentiating Mathematics (expMath) program, which aims to enhance advancements in pure mathematics through the application of artificial intelligence (AI). The initiative seeks to overcome the slow progress in mathematical research caused by labor-intensive problem decomposition and the iterative nature of lemma proving, by developing AI systems capable of automating these processes while collaborating with mathematicians and AI professionals. This program is significant for reshaping mathematical practices through innovative AI collaboration, although it is important to note that this notice does not solicit proposals and DARPA has no obligation to issue a formal solicitation at this time. For further inquiries, interested parties can contact the BAA Coordinator at expMath@darpa.mil.

    Point(s) of Contact
    BAA Coordinator
    expMath@darpa.mil
    Files
    Title
    Posted
    DARPA-SN-25-41.pdf
    The Defense Advanced Research Projects Agency (DARPA) has issued a Special Notice about its forthcoming Exponentiating Mathematics (expMath) program, aimed at accelerating advancements in pure mathematics through artificial intelligence (AI). Current mathematical research progresses slowly due to the labor-intensive processes of problem decomposition into lemmas and the iterative nature of proving these lemmas. Despite advancements in AI, significant gaps remain in automating these mathematical tasks. The expMath initiative seeks to address these challenges by developing AI systems capable of auto decomposition and auto(in)formalization while engaging mathematicians and AI professionals. This Special Notice serves as preliminary information about the program and does not solicit proposals, emphasizing that DARPA has no obligation to issue a formal solicitation at this time. The underlying objective is to reshape mathematical practices significantly through innovative AI collaboration.
    Lifecycle
    Title
    Type
    Future Program: Exponentiating Mathematics (expMath)
    Currently viewing
    Special Notice
    Similar Opportunities
    Critical Orientation of Mathematics to Produce Advancements in Science and Security (COMPASS)
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is soliciting innovative research concepts through its Critical Orientation of Mathematics to Produce Advancements in Science and Security (COMPASS) initiative, aimed at enhancing national security applications via advanced mathematics. Researchers are invited to submit abstracts that propose novel mathematical frameworks capable of addressing complex defense challenges across various domains, including air, land, maritime, space, and cyberspace. This initiative underscores the critical role of robust mathematical solutions in improving military decision-making and operational effectiveness, with funding ranging from $100,000 to $300,000 for projects lasting up to 12 months. Abstract submissions will be evaluated on a rolling basis until May 12, 2025, and interested parties can reach out to the BAA Coordinator at COMPASS@darpa.mil for further information.
    Program Announcement for Artificial Intelligence Exploration (AIE)
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is inviting proposals for its Artificial Intelligence Exploration (AIE) program, aimed at advancing AI technologies critical to national security. This initiative seeks innovative and high-risk projects that can lead to significant advancements in AI, with funding typically provided through Other Transactions for Prototype agreements, capped at $1 million per project, and requiring cost sharing in some cases. The AIE program emphasizes a two-phase structure, consisting of a Phase 1 Feasibility Study and a Phase 2 Proof of Concept, with specific performance durations and evaluation criteria focused on scientific merit and relevance to DARPA's objectives. Interested parties can reach out to the BAA Coordinator at DARPA-PA-25-03@darpa.mil for further details and guidance on proposal submissions.
    Microsystems Exploration
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is seeking proposals for its Microsystems Exploration program, aimed at developing high-risk, high-reward technologies that can lead to significant advancements in materials, devices, and microsystems. The program encourages rapid responses to emerging opportunities with targeted investments, allowing for project initiation within 120 days of topic announcements, and funding up to $2 million for projects that include a feasibility study and proof of concept phases. This initiative is crucial for fostering innovative solutions in areas such as photonics and quantum computing, contributing to national security objectives. Interested applicants can reach out to Dr. Whitney Mason at DARPA-PA-25-01@darpa.mil for further information regarding submission requirements and deadlines.
    Disruptioneering Program Announcement
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is announcing the Disruptioneering Program, inviting proposals for high-risk, high-reward research initiatives aimed at advancing national security applications. This program seeks to rapidly investigate new technologies through targeted Disruption Opportunities (DOs), enabling the development of innovative prototypes within a streamlined timeframe of less than 120 days from idea inception. Proposals must be unclassified and adhere to specific submission formats, with funding awards anticipated to reach up to $2 million, requiring a minimum one-third cost share. Interested parties can contact the BAA Coordinator at DARPA-PA-24-04@darpa.mil for further details and guidance on proposal submissions.
    Future Program: Securing Artificial Intelligence for Battlefield Effective Robustness (SABER)
    Buyer not available
    The Department of Defense, through the Defense Advanced Research Projects Agency (DARPA), is initiating the Securing Artificial Intelligence for Battlefield Effective Robustness (SABER) program, aimed at enhancing the robustness and security of AI technologies in military applications. This initiative seeks to establish a dedicated red team to operationally assess AI-enabled systems against potential adversarial threats, addressing the current lack of comprehensive testing in real-world scenarios. As AI becomes increasingly integral to military operations, the program emphasizes the importance of developing countermeasures and integrating advanced technologies to ensure operational security. Interested parties can reach out to the BAA Coordinator at SABER@darpa.mil for further information, as this Special Notice serves as an announcement of upcoming opportunities rather than a formal solicitation for proposals.
    Critical Orientation of Mathematics to Produce Advancements in Science and Security (COMPASS) Workshop
    Buyer not available
    The Department of Defense, through the Defense Advanced Research Projects Agency (DARPA), is hosting the Critical Orientation of Mathematics to Produce Advancements in Science and Security (COMPASS) Workshop on March 5, 2025. This workshop aims to facilitate technical exchanges regarding innovative mathematical frameworks that can enhance national security applications, particularly in military operations involving complex systems and stochastic processes. The event is open to U.S. citizens, permanent residents, and foreign nationals, and while attendance is voluntary and free, prior registration is required by March 4, 2025. For further inquiries, participants can contact the BAA Coordinator at COMPASS@darpa.mil.
    Future Program: The Right Space (TRS)
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is announcing a Special Notice regarding its anticipated program, The Right Space (TRS), which focuses on advancing mathematical and computational methods through Scientific Machine Learning. The primary objective of TRS is to systematically discover new mathematical transformations that can simplify and enhance the resolution of complex modeling problems relevant to the Department of Defense, thereby reducing the effort required for scientific problem-solving. This initiative is crucial for fostering innovation in defense-related research and development, aligning with DARPA's strategic goals. Interested parties are encouraged to reach out to the BAA Coordinator at TRS@darpa.mil for further information, as this notice serves as an informational tool rather than a formal solicitation for proposals.
    DLA Emergent IV Research and Development Program
    Buyer not available
    The Defense Logistics Agency (DLA) is seeking innovative research and development solutions through the Emergent IV Research and Development Program, designated as BAA0001-22. This Broad Agency Announcement (BAA) aims to address unanticipated needs in various areas of interest, including advanced manufacturing, medical logistics, and artificial intelligence applications, with a funding ceiling of $125 million over a five-year period. The program emphasizes the importance of fostering technological advancements to enhance operational efficiency and effectiveness within the DLA's logistics and supply chain processes. Interested parties are encouraged to submit initial White Papers summarizing their proposals, with key deadlines for submissions and notifications outlined in the amendments. For further inquiries, potential contractors can contact the DLA at RandD.DCSO@dla.mil or Sara Lobley at sara.lobley@dla.mil.
    Securing AI for Battlefield Effective Robustness (SABER) Proposers Day
    Buyer not available
    The Department of Defense, through the Defense Advanced Research Projects Agency (DARPA), is hosting a Proposers Day for the Securing AI for Battlefield Effective Robustness (SABER) program on March 12, 2025. This event aims to inform potential proposers about the program's objectives, which include enhancing the security and reliability of military AI applications by establishing a sustainable operational AI red team to assess vulnerabilities against adversarial threats. The Proposers Day will feature presentations from DARPA officials, networking opportunities, and sessions tailored for both U.S. persons and interested international participants, with registration required by February 25, 2025. For further inquiries, interested parties can contact the BAA Coordinator at SABER@darpa.mil.
    Strategic Technology Office-wide Broad Agency Announcement
    Buyer not available
    The Defense Advanced Research Projects Agency (DARPA) is inviting proposals for its Strategic Technology Office-wide Broad Agency Announcement (BAA) HR001125S0001, aimed at funding innovative research that leads to revolutionary advances in technology for national security. Proposals should focus on disruptive technologies across various domains, including artificial intelligence, advanced computing, and robotics, while avoiding evolutionary improvements to existing practices. This initiative is critical for developing new capabilities that enhance the U.S. military's operational effectiveness and adaptability in complex environments. Interested organizations, including small and minority-owned businesses, must submit their proposals by October 31, 2025, and are encouraged to contact the BAA Coordinator at HR001125S0001@darpa.mil for further information.