durée : 00:07:46 - La Science au labo - par : Céline Loozen, Loïc Duthoit - Le grand défi collaboratif de faire apprendre à un ordinateur la démonstration du dernier théorème de Fermat requiert une mobilisation dans l’instruction de l’intégralité des étapes du raisonnement : c'est l'objectif de l'outil LeanBluePrint. - réalisation : Olivier Bétard