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
Dates
Eligibility
Keywords
Supporting Links
Documents
Similar Opportunities
-
Broad Agency Announcement for Fundamental AI Research
Army Contracting Command Rock Island
-
Mathematical Foundations of Artificial Intelligence (MFAI)
National Science Foundation
-
Artificial Intelligence Performance Evaluation Tool
U.S. Department of Defense
-
MPS Mathematical Sciences Research Programs (MPS MathSci)
U.S. National Science Foundation
-
Association for Computer Machinery (ACM) A.M. Turing Award
Association for Computer Machinery
Find tens of thousands more opportunities — free
Scout accounts are free. Sign up to browse the full funding database, unlock the solicitation links and documents for this opportunity, and see how well each one fits your organization.
-
Tens of thousands of funding opportunities
Search and filter every grant and solicitation in Scout — all free, no credit card required.
-
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.
-
Source links & full documents
Jump straight to the solicitation and download every attachment.
-
Save opportunities & track deadlines
Keep the opportunities that fit in one place and stay ahead of every due date.
Already have an account? Sign In
Trusted by 500+ Happy Customers