Passer au contenu principal

Des mathématiques partout !

Nourrie de concepts qui empruntent à la logique formelle aussi bien qu'à la théorie des probabilités, l'IA est un vaste chantier qui prépare une partie significative de notre avenir. Les mathématiques y jouent, et y joueront, un rôle clé. Tous les secteurs sont concernés, de la logique aux réseaux de neurones, des probabilités aux statistiques… On y exploite même les propriétés algébriques des fonctions rationnelles. Il revient aux acteurs du monde mathématique de contribuer à éclairer les citoyens sur les enjeux de cette nouvelle transformation.

Tous les articles  de ce dossier

Les preuves par ordinateur | TangentePodcast

Les preuves par ordinateur | Tangente

La machine peut-elle démontrer ? Sans humain qui la dirige, sans doute non, mais l'ordinateur est de plus en plus utile pour l'assister, par exemple pour transformer une preuve humaine en preuve formelle. Des développements et applications spectaculaires sont actuellement en cours.

Hervé Lehning10 oct. 2018
Conduite éthique - Brève mathématique | TangentePodcast

Conduite éthique - Brève mathématique | Tangente

La programmation de voitures automatiques pose des questions éthiques. De nouveaux casse-têtes inattendus sont apparus. Certains ne demandent que de petites adaptations, mais d'autres se révèlent, pour l'instant, insolubles.

JEAN LOUIS LEGRAND10 oct. 2018
Voitures autonomes et dix-septième problème... | TangentePodcast

Voitures autonomes et dix-septième problème... | Tangente

Les mathématiques classiques du XIX?e siècle se combinent désormais avec les plus récentes mathématiques computationnelles ! Concrètement, les fonctions rationnelles sont convoquées pour permettre aux (futures) voitures autonomes de rouler en toute sécurité…

JEAN LOUIS LEGRAND10 oct. 2018
Dynamique des populations : pallier le manque... | Tangente

Dynamique des populations : pallier le manque... | Tangente

Dans certains domaines, les données sont peu nombreuses. Pas question d'utiliser la statistique descriptive ! Les mathématiques proposent alors d'autres outils : la topologie et les probabilités aident l'écologue à prévoir l'évolution de groupes d'espèces.

N. Peyrard12 oct. 2018
Comment l'ordinateur trie des photosPodcast

Comment l'ordinateur trie des photos

L'exemple du tri automatique de fichiers conduit à une réflexion plus globale sur… l'apprentissage des réseaux de neurones. Vous avez toujours voulu « ouvrir le capot » de l'intelligence artificielle et savoir « comment ça marche » ? Vos photos de vacances et un peu de maths vont vous aider…

Timothée Lacroix12 oct. 2018