# Simpler Grants.gov #24-554

NSF AIMing Research Grant Program for AI and Mathematical Reasoning

**Buyer:** U.S. National Science Foundation
**Posted:** October 13, 2026
**Identifier:** 24-554
**NAICS:** 541715

The National Science Foundation is funding research through its Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program.
- **Government buyer:** U.S. National Science Foundation (NSF); the program is AIMing, solicitation 24-554.
- **Funding:** The program indicates $6,000,000 in total funding, expects 10 awards, and sets a maximum award of $1,200,000. Cost sharing is not required.
- **Research focus:** Combine computational and artificial intelligence technologies with mathematical reasoning to advance knowledge discovery, including machine-assisted conjecture, proof, and verification.
  - Relevant approaches include formal methods, interactive theorem provers, and AI techniques.
- **Applicants:** Qualifying U.S. nonprofit, non-academic research or educational organizations and accredited U.S. institutions of higher education.
- **OEMs and vendors:** None specified. No commercial products or services are requested.

### Description

The AIMing program supports research combining innovative computational and artificial intelligence technologies with new strategies and technologies in mathematical reasoning to automate knowledge discovery. The scope includes machine-assisted mathematical reasoning, including conjecture, proof, and verification, through formal methods, interactive theorem provers, and AI techniques. Proposals may be submitted by eligible U.S. non-profit, non-academic organizations and accredited U.S. institutions of higher education. The opportunity is archived, and proposals are not accepted.

[View original listing](https://simpler.grants.gov/opportunity/364068)