# Exponentiating Mathematics (expMath)

**R-2A activity** of project EMR-01 — MATH AND COMPUTER SCIENCES  
**Program element:** 0601122E — Emerging Opportunities  
**Component:** Defense-Wide · **Budget Activity:** 1  
**Vintage:** President's Budget PB2027  
**Canonical URL:** https://hitchintel.com/programs/0601122E/EMR-01/a2  
**Parent:** https://hitchintel.com/programs/0601122E/EMR-01

## Summary

This activity requests $14.1M in FY2027, 7.2% of project EMR-01, up 1.7% on FY2026. The R-2A exhibit describes it across FY2026–FY2027, including what the FY2027 money is planned to buy.

## What the FY2027 request buys

**FY2027 planned work.** - Integrate automated mathematical techniques in an AI system capable of performing complex mathematical derivations and proofs. - Perform initial demonstrations of mathematical knowledge discovery on mathematical problem domains/sub-domains of particular importance for national security. - Demonstrate math automation capabilities at a major mathematics and/or AI conference and to U.S. Government and Department of War stakeholders.

**FY2026 to FY2027 change.** The FY 2027 increase reflects continued development of math automation techniques and additional efforts to implement and demonstrate math automation system.

## Before the request year

**FY2026 plans — current year.** - Develop automated techniques for translating natural language lemmas into formal language, executing proof steps when possible, and translating the derived proof back to natural language. - Formulate mathematical problems in domains relevant to national security in terms amenable to automated analysis by an AI system specialized to discover mathematical knowledge. - Explore architectural implementation options for an AI system specialized to perform the decomposition/abstraction and formalization/informalization functions required for the discovery of mathematical knowledge.

## Funding

| Fiscal Year | Estimate Type | Amount ($M) |
|---|---|---|
| FY2026 | Enacted | 13.9 |
| FY2027 | Request | 14.1 |

> Prior, current and budget year only — an R-2A activity carries no five-year plan. It sums exactly into its project in the request year and not necessarily in any other.

## Other activities in project EMR-01

- [Math and Algorithms Studies and Concepts](https://hitchintel.com/programs/0601122E/EMR-01/a11) — FY2027 54.4
- [Artificial Intelligence Studies and Concepts](https://hitchintel.com/programs/0601122E/EMR-01/a10) — FY2027 38.3
- [Logic Understanding for Complex Information Dissemination (LUCID)](https://hitchintel.com/programs/0601122E/EMR-01/a7) — FY2027 23.7
- Foundational Artificial Intelligence (AI) Science — FY2027 16.1
- [Young Faculty Award (YFA)](https://hitchintel.com/programs/0601122E/EMR-01/a1) — FY2027 16.0
- Translating All C To Rust (TRACTOR) — FY2027 9.8
- Intrinsic Cognitive Security (ICS) — FY2027 7.5
- Fostering Research and Growth in Emerging Artificial Intelligence (AI FORGE) — FY2027 6.6
- Scientific Feasibility (SciFy) — FY2027 4.5
- Mapping Machine Learning to Physics (ML2P) — FY2027 2.8
- Advanced Tools for Modeling and Simulation — FY2027 1.8
- In The Moment (ITM) — FY2027 —
- Enhanced SBOM for Optimized Software Sustainment (E-BOSS) — FY2027 —
- Advanced Research Concepts (ARC) — FY2027 —

## Source & machine access

- **Source:** FY2027 Office of the Secretary of Defense RDT&E Budget Justification, Exhibit R-2A, PE 0601122E project EMR-01 (PB PB2027). Narrative is the government's own text.
- **No marks, no contractors at this grain** — congressional marks land on the program element and R-3 performers on the project.
- **MCP:** `mcp.hitchintel.com` — `budget_get_activity`.

*HitchAI is an independent intelligence service, not affiliated with the U.S. Department of Defense. Budget figures are requests/estimates, not obligations.*