The AIMing program supports research that combines AI technologies with new methods in mathematical reasoning to automate knowledge discovery. It focuses on enhancing human-like abilities in mathematics, such as conjecture, proof, and verification, using both formal methods and AI techniques. The program is interested in the growing collaboration between the fields of mathematics, computer sci…