AI4M (The AI Alliance for Solving Mathematics for All (AI4M))