IA para Mateméticas

¿Qué es Mathos AI y para qué sirve?