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. The program aims to advance machine-assisted mathematical reasoning, encompassing conjecture, proof, and verification, and to explore the potential impact of advances in this field on research in AI. Key aspects of the program include: • Support for research in machine-assisted mathematical reasoning • Exploration of the interface between AI and mathematical reasoning • Advancement of formal methods and interactive theorem provers • Investigation of the potential impact of advances in this field on research in AI • Eligibility for non-profit, non-academic organizations and institutions of higher education