Scout | Exponentiating Mathematics (expMath)

This opportunity is no longer accepting applications.

grant

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…

Source

Agency: DARPA - Information Innovation Office

Dates

Solicitation Posted: April 30, 2025

Application Response Due: July 8, 2025

Solicitation Closed: August 7, 2025

Eligibility

Others (see text field entitled "Additional Information on Eligibility" for clarification)

Keywords

AI in mathematics

automated theorem proving

mathematical decomposition

autoformalization

AI co-author

formal languages

proof automation

Lean programming language

pure mathematics research

AI in technological advances.

Supporting Links

Documents

Similar Opportunities

Unlock similar opportunities

Get the full picture on this opportunity

Create a free Scout account to unlock everything you need to decide fast and win the grant.

Instant Fit Analysis

Let our grant expert AI score how well this opportunity aligns with your organization, strengths, gaps, and how to improve your chances of winning funding.
Deep agency & funder detail

Program context, sub-agency structure, and a full eligibility breakdown.
Source links & full documents

Jump straight to the solicitation and download every attachment.
Similar opportunities

Discover related funding matched to your work.

Get a Demo Sign Up

Already have an account? Sign In

Trusted by 500+ Happy Customers