Describir: Learning Math through interactions with peers and with intelligent machines