AI w matematyce