La Science, CQFD Folgen

durée : 00:58:23 - La Science, CQFD - par : Natacha Triou, Antoine Beauchamp - Un projet collaboratif s’est donné pour objectif de formaliser la preuve du théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ? - réalisation : Olivier Bétard - invités : Riccardo Brasca Maître de conférences au département de mathématiques à l'Université de Paris-Cité; Assia Mahboubi Directrice de recherche INRIA au laboratoire des Sciences du Numérique de Nantes (LS2N)

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

durée : 00:05:26 - Avec sciences - par : Alexandre Morales - Dans The Lancet Gastroenterology & Hepatology, une équipe internationale de scientifiques présente un nouveau test rapide, peu cher, facile à réaliser.