The AIMing program by the National Science Foundation is designed to fund research that combines artificial intelligence (AI) with mathematical reasoning. This research aims to develop new technologies that help automate the process of discovering new knowledge. The program is particularly interested in projects that use AI to enhance mathematical reasoning, which is key to human intelligence and knowledge discovery.
Who it's for: This grant is open to anyone interested in conducting research at the intersection of AI and mathematical reasoning. This includes researchers, institutions, and organizations that are working on innovative computational technologies and mathematical strategies.
More details
Likely Disqualifiers
- Incomplete application
- Non-compliance with NSF guidelines
- Proposals not related to AI or mathematical reasoning
- Lack of a detailed research plan
- Insufficient evidence of capability to conduct proposed research
What You May Need
- Detailed research proposal
- Budget plan
- Proof of eligibility
- Past research accomplishments
- Institutional support letter
- CVs of key personnel
- Project timeline
- Data management plan
- Compliance with NSF guidelines
- Registration with NSF's FastLane or Research.gov
Cautions
- Ensure your proposal aligns with the program's focus on AI and mathematical reasoning.
- Follow NSF's application guidelines closely.
- Be prepared to demonstrate how your research will contribute to the field.
- Keep track of all submission deadlines.
Generated from official source details for readability
Eligibility
Eligible Applicant Types
Additional Criteria
The AIMing program is open to all eligible applicants without restrictions. This means that individuals, institutions, and organizations interested in research at the intersection of AI and mathematical reasoning can apply. There are no specific limitations on the type of entities that can apply, making it accessible to a wide range of researchers and institutions.
Overview
This grant is open to anyone interested in conducting research at the intersection of AI and mathematical reasoning. This includes researchers, institutions, and organizations that are working on innovative computational technologies and mathematical strategies.
Likely Disqualifiers
- Incomplete application
- Non-compliance with NSF guidelines
- Proposals not related to AI or mathematical reasoning
- Lack of a detailed research plan
- Insufficient evidence of capability to conduct proposed research
Use of Funds
Funds from this grant can be used to support research activities that integrate AI with mathematical reasoning. This includes developing new technologies, conducting experiments, and collaborating with other researchers in the field.
Total Program Funding
$6,000,000
Expected Awards
10
Cost Sharing
Not Required
Important Dates
- Posted
- Oct 13, 2026
- Archive Date
- Oct 14, 2026
- Est. Application Due (AI estimate)
- Winter 2027
- Est. Award Date (AI estimate)
- Spring 2027
Application Checklist
- Register with NSF's FastLane or Research.gov
- Prepare a detailed research proposal
- Develop a comprehensive budget plan
- Gather CVs and past research accomplishments
- Obtain institutional support letter
- Create a project timeline
- Draft a data management plan
- Ensure compliance with NSF guidelines
- Submit application before the deadline