The Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing) program seeks to support research at the interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery. Mathematical reasoning is a central ability of human intelligence that plays an important role in knowledge discovery. In the last decades, both the mathematics and computer science communities have contributed to research in machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. This has been in the form of both formal methods and interactive theorem provers, as well as using techniques from artificial intelligence. Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities. In turn, advances in this field have potential impact on research in AI.
Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
U.S. National Science Foundation · Opportunity number 24-554
Details summarized from the official notice as of Oct 15, 2026. Always confirm eligibility, deadlines and requirements in the official notice before applying.
Independent platform. Not affiliated with or endorsed by any government agency. Data from public federal sources.
Key facts
| Opportunity number | 24-554 |
|---|---|
| Agency | U.S. National Science Foundation |
| Assistance listing (ALN, formerly CFDA) | 47.049 |
| Posted | Oct 13, 2026 |
| Deadline | Not listed |
| Award ceiling | $1,200,000 |
| Expected number of awards | 10 |
| Estimated total program funding | $6,000,000 |
| Cost sharing or matching required | No |
| Funding type | Grant |
| Category | Science technology and other research and development |
| Last updated here | Oct 15, 2026 |
Summary from the notice
Who can apply
The official notice lists these applicant types as eligible:
- Others named in the notice (see the eligibility text)
Not listed as eligible
- Small businesses
- Nonprofits
- Colleges and universities
- State governments
- Local governments
- Tribal governments and organizations
- Larger for-profit companies
- Individuals
Unless the eligibility text in the notice names you, this opportunity is probably not for you.
Eligibility details from the notice
*Who May Submit Proposals: Proposals may only be submitted by the following: -null -Non-profit, non-academic organizations: Independent museums, observatories, research laboratories, professional societies and similar organizations located in the U.S. that are directly associated with educational or research activities. -Institutions of Higher Education (IHEs) - Two- and four-year IHEs (including community colleges) accredited in, and having a campus located in the US, acting on behalf of their faculty members. *Who May Serve as PI: As of the date the proposal is submitted, any PI, co-PI, or senior/key personnel must hold either: · a tenured or tenure-track position, or · a primary, full-time, paid appointment in a research or teaching position at a US-based campus of an organization eligible to submit to this solicitation (see above), with exceptions granted for family or medical leave, as determined by the submitting organization. Individuals with primary appointments at for-profit non-academic organizations or at overseas branch campuses of U.S. institutions of higher education are not eligible.
Registrations you will likely need
Most applications submitted through Grants.gov need the following. Registration can take several weeks, so start early. The notice lists the exact requirements.
- SAM.gov registration for your organization, which also gives you a Unique Entity ID (UEI). Registration is free.
- A Login.gov account, which Grants.gov uses for sign-in.
- A Grants.gov applicant registration linked to your organization's UEI.
Past awards for this program
Totals for assistance listing 47.049 from public USASpending.gov data, as of Sep 23, 2026. Past awards do not predict future funding.
| Year | Listing | Awards | Total | Average |
|---|---|---|---|---|
| 2026 | 47.049 | 16 | $1,790,278,386 | $111,892,399 |
| 2025 | 47.049 | 21 | $1,947,852,199 | $92,754,867 |
| 2024 | 47.049 | 22 | $1,981,475,770 | $90,067,080 |
Similar open opportunities
Historically Black Colleges and Universities - Excellence in Research (HBCU - EiR)
U.S. National Science Foundation · 23-598
Mathematical Sciences Postdoctoral Research Fellowships (MSPRF)
U.S. National Science Foundation · 23-603
Geometric Analysis
U.S. National Science Foundation · PD-22-1265
Topology
U.S. National Science Foundation · PD-22-1267
SBE Postdoctoral Research Fellowships
U.S. National Science Foundation · 23-500