AI in Math related domains (1)