Exponentiating mathematics (expmath) program.
Active Definitive Contract Awarded Last action
- Contract number
- HR001126CE054
- Awardee
-
University Of California, LOS Angeles UEI RN64EPNH8JC6
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $1,542,857
Award facts
- Opportunity
-
- Exponentiating Mathematics (expMath) Solicitation · HR001125S0010 · Posted Apr 30, 2025
- Contract value 31% obligated
- $5,046,736.00 Current and potential, with all options
- Completion date 20% complete
- Current and potential, with all options
- Contracting staff
- NAICS code
- 541715 Research and Development in the Physical, Engineering, and Life Sciences (except Nanotechnology and Biotechnology)
- Set-aside
- No set-aside
- Competition
- Full and Open Competition · 43 offers Basic Research
- Pricing
- Cost No Fee
- Place of performance
- Los Angeles, CA 90024, USA
- Legislative mandates
-
- Employment Eligibility Verification (E-Verify) FAR subpart 22.18
Award details come from SAM.gov/FPDS.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Funding Only Action | $1,100,000 | |
| Original award | $442,857 |
About this award
The Defense Advanced Research Projects Agency awarded a $5.046 million definitive contract to University of California, Los Angeles on March 18, 2026, for the Exponentiating Mathematics program under cost-no-fee pricing with no set-aside.
The originating solicitation seeks artificial intelligence technologies to accelerate pure mathematics research, with two technical areas: TA1 will develop AI for automated problem decomposition and formalization/informalization of mathematical proofs, while TA2 will create evaluation methods for assessing AI performance at professional mathematics levels. The program aims to achieve 90% accuracy in predicting and proving lemmas and demonstrate a 100x reduction in solution time compared to manual graduate student work. The performance period runs 36 months from January 1, 2026, through March 18, 2029. Place of performance is Los Angeles, CA.
Quick answers
Who was awarded contract HR001126CE054?
HR001126CE054 was awarded to University Of California, LOS Angeles by Defense Advanced Research Projects Agency (Department of Defense) on March 18, 2026.
How much is contract HR001126CE054 worth?
The government has obligated $1,542,857 on HR001126CE054. Its current value, with exercised options, is $5,046,736.
Was contract HR001126CE054 competed?
The extent of competition for HR001126CE054 was full and open competition. The government received 43 offers.
On GovTribe
See this award's full record
- Every transaction and funding action
- The awardee's other awards and teaming partners
- Similar awards and recompete opportunities
- Ask GovTribe AI about this award