Artificial intelligence with mathematical didactic embeddings for education