ActiveGRANT

Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)

Name: Artificial Intelligence, Formal Methods, and Mathematical Reasoning (AIMing)
Creator: U.S. National Science Foundation
Keywords: GRANT

U.S. National Science FoundationU.S. National Science Foundation

AI Overview

NSF's AIMing program funds research combining AI with formal methods and interactive theorem provers to automate mathematical reasoning. The goal is machine-assisted conjecture, proof, and verification that can accelerate knowledge discovery and advance AI itself.

This summary is AI-generated from the official solicitation.

Key Details

Agency

U.S. National Science Foundation

Funding Amount

Up to $1,200,000

Release Date

October 13, 2026

Due Date

—

Official Description

<p>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 h...

View on official source

Change History

Opportunity AddedOct 13, 2026 at 9:04 PM