Mathematics in AI (MathAi)