Mathematics & AI Foundations