Luis David Garcia Puente, Professor of Mathematics and Computer Science, will be a co-PI on a $1.2 million collaborative research grant awarded to Clemson University titled "AIMing: Interactive Conjecture Proving." The objective of this project is to enhance the functionality of interactive theorem provers (ITPs) in mathematical reasoning by integrating advanced artificial intelligence (AI) technologies with formal methods. This endeavor, named MathScy, aims to assist in conjecture formulation, proof construction, and counterexample finding. Dr. Garcia Puente will lead Colorado College's participation in the project, which will be supported with a subaward to Colorado College of $299,961. Ben Nye, Assistant Professor of Mathematics and Computer Science, will collaborate on the project.