AI Math Foundations