1,000+ Opportunities
Find the right grant
Search federal, foundation, and corporate grants with AI — or browse by agency, topic, and state.
This listing may be outdated. Verify details at the official source before applying.
Find similar grantsExponentiating Mathematics (expMATH) program is sponsored by Defense Advanced Research Projects Agency (DARPA). This initiative aims to dramatically accelerate progress in pure mathematics by developing AI co-authors capable of proposing and proving useful abstractions.
Get a weekly digest of new grants like this
A free weekly digest of new foundation and federal funding opportunities as they're added to Granted. Unsubscribe anytime.
Or search similar grants →Extracted from the official opportunity page/RFP to help you evaluate fit faster.
UCLA Team Awarded $5 Million DARPA Contract to Develop AI for Math Advancement | UCLA Samueli School Of Engineering UCLA Team Awarded $5 Million DARPA Contract to Develop AI for Math Advancement Fields medalist and mathematics professor Terence Tao is part of Team ALPHA The Exponentiating Mathematics program aims to dramatically accelerate progress in pure mathematics by developing an AI co-author capable of proposing and proving useful abstractions.
A team of UCLA computer scientists and mathematicians has been awarded a three-year, $5 million grant by the Defense Advanced Research Projects Agency to develop artificial intelligence tools aimed at transforming how mathematical discoveries are made, formalized and verified.
The project, titled “ALPHA” — Accelerated Formal Proof Synthesis with Neuro-Symbolic Automation — is led by Wei Wang , a professor and chair of the Computer Science Department at the UCLA Samueli School of Engineering.
Other ALPHA team members include: Andrea Bertozzi , distinguished professor of mathematics and mechanical and aerospace engineering and holder of UCLA’s Betsy Wood Knapp Chair for Innovation and Creativity Kai-Wei Chang , associate professor of computer science Nanyun (Violet) Peng , associate professor of computer science Amit Sahai , a professor of computer science and mathematics and holder of the Symantec Term Chair in Computer Science Terence Tao , professor of mathematics, holder of the James and Carol Collins Chair and director of special projects at the Institute for Pure and Applied Mathematics Progress in mathematics remains relatively slow compared with other fields for two primary reasons.
First, breaking down complex problems into smaller components, known as lemmas, is a time-intensive manual process. Second, proving those lemmas requires significant effort and expertise. To address these challenges, ALPHA will automate key aspects of mathematical reasoning, including theorem decomposition, lemma identification and the generation of novel proof strategies.
The open-source AI platform will also translate seamlessly between natural language and formal proof systems while maintaining precision. The project will focus on three major areas of mathematics — partial differential equations, number theory and complexity theory — with the goal of solving advanced mathematical problems and extending its impact beyond these core areas.
By integrating open-source proof assistants such as Lean and Isabelle , ALPHA will ensure output accuracy while leveraging existing formal libraries and developer communities. Built upon advances in large language models, neuro-symbolic AI, code generation and automated theorem proving, the system aims to bridge human intuition and machine verification to fundamentally reshape mathematical research.
“This is a major step toward bridging human intuition and machine verification,” said Wang, who holds the Leonard Kleinrock Term Chair in Computer Science. “Our goal is to fundamentally expand how mathematicians explore and validate new ideas. ” UCLA is one of 13 university-based teams selected March 21 for DARPA’s expMATH (Exponentiating Mathematics) program .
The initiative seeks to accelerate progress in pure mathematics by developing AI systems that can function as collaborative research partners.
According to the current listing, eligibility includes: University-based teams. Confirm the full requirements in the official notice before applying.
The current listing shows $5,000,000. Verify award ceilings, matching requirements, and allowable costs in the official notice.
Exponentiating Mathematics (expMATH) program is funded by Defense Advanced Research Projects Agency (DARPA). Verify program details on the funder's official page before applying.
Yes — this listing is flagged as national in scope, so applicants across the U.S. may apply, subject to the sponsor's other eligibility criteria.
Start from the official opportunity page linked in this listing — it carries the sponsor's submission instructions.
DPA26BZ06-DV023 is a Direct-to-Phase-II SBIR paying $700,000 over 18 months plus a $500,000 option. The physics demands 256x more transmit power than the systems that qualify you to compete, and DARPA will not accept modeling alone as proof. Here is the eligibility wall, the five engineering problems, and who can realistically win it before the October 21 close.
Read articleRelease 6's SBIR topics got the attention. Its three STTR topics — SHIELDER, fuel-flexible electric propulsion, and hypersonic wind tunnel noise diagnostics — are all Direct-to-Phase-II, all require a research institution to perform at least 30 percent of the work, and all close October 21, 2026. The feasibility gates are the real filter.
Read articleDPA26BZ06-DV026 offers $300,000 at Phase I or $1,800,000 as a single Direct-to-Phase-II tranche with no options. The deliverable is a simulated auction market that measures whether AI agents deceive, collude, or manipulate the humans they serve — measured entirely from the outside. Here is the 90% efficiency gate, the team composition most bidders will get wrong, and why this topic sits in DARPA's biology office.
Read article