UT computer scientists and mathematicians are teaming up to shape AI’s role in mathematical discovery. With involvement from the UT Austin-based Institute for the Foundations of Machine Learning, the new Math and AI Group is advancing open research infrastructure, evaluating AI-generated mathematics and exploring how AI can support learning.