Exponentiating mathematics (expmath)
Active Cooperative Agreement Awarded Last action
- Award ID
- HR0011262E018
- Recipient
-
Massachusetts Institute Of Technology UEI E2NYLCDML6V1
- Awarding agency
-
Defense Advanced Research Projects Agency
Department of Defense
- Obligated
- $672,981
Award facts
- Assistance listing
- 12.910 Research and Technology Development
- Completion date 21% complete
- Place of performance
- Cambridge, MA 02139, USA
Award details come from USAspending.gov.
About this award
The Defense Advanced Research Projects Agency awarded Massachusetts Institute of Technology a $672,981.14 cooperative agreement on March 17, 2026, under the Research and Technology Development program (CFDA 12.910) to deliver work on the Exponentiating Mathematics (EXPMATH) initiative through March 16, 2029. The award funds research in basic, applied, and advanced mathematics with potential military or dual-use applications, with performance at MIT's Cambridge, Massachusetts location.
MIT is passing through sub-awards to three research institutions to advance artificial intelligence approaches to mathematics. Columbia University received a sub-award on May 29, 2026, to improve AI mathematics capabilities. The University of North Carolina at Chapel Hill received a sub-award on May 13, 2026, to craft datasets and design algorithms, implementation, and high-quality embedding for mathematical theorems, concepts, proof ideas, and canonical examples for AI to advance auto-formalization. New York University received a sub-award on May 11, 2026, to deliver AI proof system training. The source does not specify individual sub-award amounts or obligations to these recipients.
Transactions
| Action | Obligated | Date |
|---|---|---|
| Amendment | $410,124 | |
| Amendment | $220,000 | |
| Original award | $42,857 |
Subawards
| Subrecipient | Amount | Awarded |
|---|---|---|
| The Trustees Of Columbia University In The City Of New York | $97,967 | |
| University Of North Carolina At Chapel Hill | $36,747 | |
| New York University | $36,485 |
Quick answers
Who received award HR0011262E018?
HR0011262E018 was awarded to Massachusetts Institute Of Technology by Defense Advanced Research Projects Agency (Department of Defense) on March 17, 2026.
How much is award HR0011262E018 worth?
$672,981 has been obligated on HR0011262E018.
On GovTribe
See this award's full record
- Every transaction and subaward
- The recipient's other awards and teaming partners
- Similar grant awards
- Ask GovTribe AI about this award