The Math AI Seminar is a research seminar on computer-assisted mathematics with topics ranging from mathematical formalization, mathematics of ML and AI, applications of machine learning in mathematical formalization, and applying machine learning to research mathematics.