Simpler Grants.gov #24-554

NSF AIMing Research Grant Program for AI and Mathematical Reasoning

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