Wolfram Alpha, un fort en mathématiques

Le site wolframalpha.com risque de vous surprendre par ses capacités de calcul, voire de raisonnement, en mathématiques. Non seulement ce service (gratuit) calcule, mais en plus il démontre certains résultats, en guidant l'internaute dans les étapes de la démonstration.
Wolfram Alpha pourrait être un moyen, pour les élèves, de vérifier leurs résultats, en particulier dans le cadre des études de fonctions, mais aussi de les aider, parfois, à trouver les étapes d'une démonstration à mener.
Pour découvrir la puissance de ce service, visualisez la vidéo ci-dessous (en plein écran, c'est mieux) :


Bonjour
Je me demande quel est; alors, le travail demandé à l'élève? Que va apprendre l'élève à l'aide de ce logiciel? Est il un moyen d' apprentissage de raisonnement ou de vérification?
Autrement dit: comment faire bénéficier l'élève de ce logicie? .Quel est le moment oppurtun de son utilisation?
Merci