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. Key points to consider: • The program aims to advance machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification. • Recent technological advances have led to a surge of interest in machine-assisted mathematical reasoning from the mathematical sciences, formal methods, and AI communities. • The program has potential impact on research in AI. • Proposals may only be submitted by non-profit, non-academic organizations and institutions of higher education. • Any PI, co-PI, or senior/key personnel must hold a tenured or tenure-track position or a primary, full-time, paid appointment in a research or teaching position.