Professors Guido Montúfar and Deanna Needell have received a National Science Foundation grant on Artificial Intelligence, Formal Methods, and Mathematical Reasoning. This program (AIMing) supports research at the “interface of innovative computational and artificial intelligence (AI) technologies and new strategies/technologies in mathematical reasoning to automate knowledge discovery”. This grant is a collaboration between Cal Tech, BYU, and UCLA, and will advance AI with mathematical foundations, aiming for more interpretable, controllable, and trustworthy AI models.
Mathematics is uniquely positioned to drive major advances in AI because it is the foundational language of science, excels at rigorous abstraction, and offers deep, well-defined problems whose solutions may require automated reasoning. At the same time, mathematical research produces rich, structured datasets that are ideal for applying and testing modern AI and machine learning techniques. These datasets are inexpensive to generate, scalable in complexity, and rich in symmetry, making them powerful testbeds for developing models that can learn, reason, and generalize. Applying AI to mathematics can both accelerate progress on long-standing mathematical problems and motivate mathematicians to engage directly with AI system design, creating a mutually reinforcing bridge between advancing mathematics and foundational AI research.
Learn more about the grant here.
