Open media modal

L'Académie norvégienne des sciences et des lettres a décidé d'attribuer le prix Abel 2024 à Michel Talagrand, qui a effectué sa carrière de chercheur au CNRS. L'équivalent du prix Nobel des mathématiques lui est décerné «pour ses contributions révolutionnaires à la théorie des probabilités et à l'analyse fonctionnelle, avec des applications remarquables en physique mathématique et en statistique». Michel Talagrand est ainsi distingué pour ses travaux en théorie des…

Vidéo
8014
Rencontre avec Michel Talagrand, lauréat du prix Abel 2024
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait d'Elise Goujard, Médaille de bronze 2023 du CNRS, maîtresse de conférences en géométrie à l'université de Bordeaux, spécialiste des problèmes de comptage sur des surfaces plates et leurs espaces de modules, au sein de l'Institut de mathématiques de Bordeaux. Dans le cadre de ses recherches, Élise Goujard s'intéresse, plus ou moins, au billard. Ce n'est pas le sport qui la fascine, mais plutôt la géométrie et la dynamique des trajectoires d'une bille dans un…

Vidéo
7825
Médaille de bronze 2023 : Elise Goujard, enseignante-chercheuse en géométrie
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait de Sophie Achard, Médaille d'argent 2023 du CNRS, directrice de recherche en statistiques des réseaux, appliquées aux neurosciences au Laboratoire Jean Kuntzmann. Les recherches de Sophie Achard permettent d'analyser des réseaux sur lesquels se propagent des signaux. En utilisant pour la première fois la théorie des graphes en neurosciences, elle a remarquablement contribué à la compréhension du fonctionnement du cerveau humain. Ses recherches en collaboration ont également…

Vidéo
7831
Médaille d'argent 2023 : Sophie Achard, chercheuse en statistiques appliquées aux neurosciences
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait de Henri Duvillard, Médaille de cristal 2023 du CNRS, assistant bibliothécaire au sein de l'Institut Henri Poincaré (IHP). Depuis 2016, Henri Duvillard occupe les fonctions d'assistant bibliothécaire au sein de l'Institut Henri Poincaré, centre de recherche international en mathématiques et physique théorique fondé par Émile Borel, qui promeut et accueille des échanges scientifiques internationaux au plus haut niveau depuis près d'un siècle. L'IHP dispose en particulier d…

Vidéo
7849
Médaille de cristal 2023 : Henri Duvillard, ingénieur en valorisation du patrimoine des mathématiques
20230095_0003
Open media modal

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Photo
20230095_0003
Vérification d'une preuve mathématique par ordinateur par Sandrine Blazy, médaille d'argent du CNRS 2023
20230095_0004
Open media modal

Preuve mathématique vérifiée par ordinateur. La démonstration est menée au moyen de commandes écrites par l’utilisateur indiquant comment progresser, en interaction avec un assistant de preuve (à l'écran). Ce logiciel automatise une partie du raisonnement, s’assurant de la validité de la démonstration. Les recherches de Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui…

Photo
20230095_0004
Vérification d'une preuve mathématique par ordinateur par Sandrine Blazy, médaille d'argent du CNRS 2023
20230095_0005
Open media modal

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Photo
20230095_0005
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0006
Open media modal

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, explique le domaine de la vérification déductive de logiciels, qui permet d'avoir des garanties très fortes sur l’absence d'erreur dans un logiciel. Plusieurs techniques de preuve, plus ou moins automatisées par des logiciels d’aide à la preuve, sont disponibles. Les recherches de Sandrine Blazy visent au développement de logiciels sûrs et se concentrent sur les compilateurs, des outils informatiques qui permettent à un programme…

Photo
20230095_0006
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0007
Open media modal

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Photo
20230095_0007
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0008
Open media modal

Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, discute des modèles et abstractions à concevoir afin de raisonner sur les logiciels étudiés. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement, ils ne sont pas vérifiés avec des garanties mathématiques, et peuvent donc compiler…

Photo
20230095_0008
Sandrine Blazy, médaille d'argent du CNRS 2023, en discussion avec des membres de son équipe
20230095_0001
Open media modal

Avant d'entamer une preuve mathématique (une démonstration) vérifiée par ordinateur, Sandrine Blazy, lauréate de la médaille d'argent du CNRS 2023, réfléchit aux grandes lignes de la démonstration et aux principes de raisonnement à appliquer. Les recherches de cette spécialiste de sciences du logiciel visent au développement de logiciels sûrs. Sa contribution se concentre sur les compilateurs, des outils informatiques qui permettent à un programme écrit de devenir exécutable. Traditionnellement…

Photo
20230095_0001
Sandrine Blazy, médaille d'argent du CNRS 2023, prépare une preuve mathématique vérifiée par ordinateur
Open media modal

Uniquement disponible pour exploitation non commerciale

Le "Cool Boole School Game" est un jeu sérieux d'évaluation et d'apprentissage de la cognition logique. Il propose un nouveau mode d'évaluation et d'apprentissage de la cognition en logique mathématique des enfants, qui cible l'acquisition des connecteurs booléens ET, OU, NON et leurs combinaisons : lois de double négation ou de Morgan. Développer un mode ludique et interactif d'évaluation du raisonnement logique par le jeu, mais qui ne passe pas par le langage, permet de déterminer si des…

Vidéo
7427
Cool Boole School Game
Open media modal

Uniquement disponible pour exploitation non commerciale

Directeur de recherche émérite au CNRS et secrétaire perpétuel de l'Académie des sciences depuis 2019, Étienne Ghys a fortement contribué à développer la diffusion des mathématiques en France. Livres grand public, films à utiliser en classe par les enseignants, livre audio dédié aux malvoyants, pilotage de l'Année des mathématiques, site web, conférences, passage dans les médias… Le chercheur varie autant les supports que les publics et les sujets. Fervent défenseur de l…

Vidéo
7551
Médaille de la médiation scientifique 2022 : Etienne Ghys
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait de Penka Georgieva, médaille de bronze du CNRS 2022, professeure à Sorbonne Université, spécialiste internationale de la géométrie symplectique et tout particulièrement des invariants de Gromov-Witten. Depuis son doctorat obtenu en 2011, Penka Georgieva travaille à bâtir une théorie complète des invariants de Gromov-Witten réels. Les invariants de Gromov-Witten permettent de compter le nombre de courbes répondant à des critères prédéfinis dans les variétés symplectiques. Ils…

Vidéo
7587
Médaille de bronze 2022 : Penka Georgieva, géométrie et topologie
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait de Sepideh Mirrahimi, médaille de bronze 2022, directrice de recherche au CNRS à l'Institut montpelliérain Alexander Grothendieck, spécialiste en modélisation mathématique pour la biologie. Docteure en mathématiques appliquées à la biologie de l'université Pierre et Marie Curie à Paris, Sepideh Mirrahimi est recrutée en 2012, après un postdoctorat à l'École polytechnique à Palaiseau, comme chargée de recherche CNRS à l'Institut de mathématiques de Toulouse puis…

Vidéo
7597
Médaille de bronze 2022 : Sepideh Mirrahimi, mathématicienne, directrice de recherche
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait de Vincenzo De Risi, médaille de bronze du CNRS 2022, chargé de recherche au laboratoire Sciences philosophie histoire (SPHERE), spécialiste de l'histoire de la philosophie et des sciences, et de Kant, Euclide et Leibniz Rattaché à un laboratoire français et détenteur d'une double nationalité italienne et allemande, Vincenzo De Risi incarne la réussite d'une recherche européenne s'affranchissant des frontières. Il tisse des liens entre l'histoire de la philosophie et…

Vidéo
7711
Médaille de bronze 2022 : Vincenzo De Risi, chercheur en épistémologie des mathématiques
20220099_0001
Open media modal

Usage interne et presse uniquement

Hugo Duminil-Copin est un probabiliste. Ses travaux portent sur la branche mathématique de la physique statistique. Il utilise des idées provenant de la théorie des probabilités pour étudier le comportement critique de divers modèles sur réseaux tels que les modèles d’Ising, de Potts, de marches auto-évitantes, et de percolation. Ces objets mathématiques décrivent un certain nombre de phénomènes physiques (tels que la magnétisation, les polymères, la porosité des matériaux, etc.) en les…

Photo
20220099_0001
Hugo Duminil-Copin, mathématicien lauréat de la médaille Fields 2022
20220145_0009
Open media modal

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Photo
20220145_0009
Diagramme espace-temps d’un automate cellulaire captif
20220145_0050
Open media modal

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Photo
20220145_0050
Calculer avec des bactéries
20220145_0051
Open media modal

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Photo
20220145_0051
Calculer avec des bactéries
20220145_0046
Open media modal

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Photo
20220145_0046
Calculer avec des bactéries
20220145_0047
Open media modal

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Photo
20220145_0047
Calculer avec des bactéries
20220145_0048
Open media modal

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Photo
20220145_0048
Calculer avec des bactéries
20220145_0049
Open media modal

Le calcul distribué a une longue histoire d'analyse des systèmes distribués dans des conditions environnementales difficiles, des défaillances de nœuds et de liens de communication, avec différents modèles de fautes, jusqu'aux réseaux complètement dynamiques. La modélisation et l'analyse mathématiques ont permis de prouver la correction et la robustesse de solutions algorithmiques et de comprendre comment les différents paramètres influent sur leur qualité. Ceci a permis de prendre des…

Photo
20220145_0049
Calculer avec des bactéries
20220063_0002
Open media modal

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (en bleu) et les comptes relayant des thèses climatosceptiques (en rouge). Cette image a été générée à…

Photo
20220063_0002
Cartographie des échanges Twitter sur le thème du changement climatique en 2019
20220063_0005
Open media modal

Localisation des comptes Twitter, actifs en 2022, ayant participé aux principales campagnes d'influence et de désinformation abordées dans l'ouvrage "Toxic data". Les comptes qui ont participé à la diffusion de fausses nouvelles (fake news) en 2017 sont en bleu et violet, ceux qui ont pris part à des campagnes en 2021-2022 sont en orange. En rose, les comptes ayant diffusé des fausses nouvelles durant ces deux périodes qui correspondent aux 11e et 12e élections présidentielles françaises. Les…

Photo
20220063_0005
Comptes Twitter ayant participé à des campagnes d'influence d'opinion en 2017 et 2021-2022
20220063_0004
Open media modal

Twittersphère politique de l’automne 2021 (1er octobre 2021-16 janvier 2022). Quelques mois avant les douzièmes élections présidentielles françaises, les communautés constituées autour de Florian Philippot (29,39 %) et autour d’Éric Zemmour (20,15 %) dominent le paysage. Ces deux communautés d’extrême droite étaient quasiment inexistantes avant la pandémie de COVID-19. Une bonne partie du Rassemblement national (RN) a migré dans la communauté d’Éric Zemmour, ainsi que certains ténors des…

Photo
20220063_0004
Twittersphère politique de l’automne 2021
20220063_0003
Open media modal

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (à gauche de l’image) et les comptes relayant des thèses climatosceptiques (à droite de l’image). Ces deux…

Photo
20220063_0003
Cartographie des échanges Twitter sur le thème du changement climatique en 2019
20220063_0001
Open media modal

Cartographie des échanges Twitter sur le thème du changement climatique entre janvier et décembre 2019. Chaque point est un compte Twitter ayant émis des messages à propos du changement climatique. Les liens sont des trajectoires de retweet. Cette visualisation montre que les débats en ligne sur ce sujet sont polarisés, avec deux groupes bien définis : les partisans du consensus climatique (à gauche de l’image) et les comptes relayant des thèses climatosceptiques (à droite de l’image). Ces deux…

Photo
20220063_0001
Cartographie des échanges Twitter sur le thème du changement climatique en 2019
20220122_0012
Open media modal

Voici la vue rapprochée d’une surface représentant l’espace hyperbolique et son bord à l’infini. L’existence d’une telle surface a été prédite par le mathématicien John Nash dans les années 50. Sa construction effective vient d’être réalisée par une équipe de scientifiques, assistés par ordinateur, qui cherchent à visualiser des objets mathématiques paradoxaux. Cette surface, issue d’un enchevêtrement infini de corrugations (ou plissements), hérite d’une propriété étonnante : le chemin le plus…

Photo
20220122_0012
L'infini trouve toujours son chemin
20220122_0015
Open media modal

La géométrie hyperbolique, introduite au XIXème siècle, est un domaine mathématique qui a profondément bouleversé le savoir géométrique enseigné depuis l’Antiquité. Dans cet espace aux propriétés insolites, la lumière ne se déplace pas en ligne droite mais selon des géodésiques, les courbes les plus courtes entre deux points, chamboulant ainsi notre perception visuelle du monde. Les scientifiques ont développé une application permettant de simuler en temps réel ce que verraient les "habitants"…

Photo
20220122_0015
Bleu hyperbolique
20220145_0008
Open media modal

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Photo
20220145_0008
Diagramme espace-temps d’un automate cellulaire captif
20220145_0010
Open media modal

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Photo
20220145_0010
Diagramme espace-temps d’un automate cellulaire captif
20220145_0007
Open media modal

Diagramme espace-temps d’un automate cellulaire captif. La plupart des automates cellulaires captifs sont des exemples visuellement frappants de comportements "à la limite du chaos" : à partir d'une configuration de départ aléatoire, on oberve l'émergence de comportements organisés mais complexes et échappant à une description mathématique systématique (le temps va de bas en haut).

Photo
20220145_0007
Diagramme espace-temps d’un automate cellulaire captif
Open media modal

Uniquement disponible pour exploitation non commerciale

Il est un domaine des mathématiques capable de modéliser des épidémies : trouver son point d'origine, étudier sa propagation en fonction des propriétés du virus, mais aussi réfléchir à des moyens de limiter sa propagation dans des situations très précises. Ainsi, des mathématiciens travaillent sur des modèles permettant d'adapter les emplois du temps d'une école, optimiser la disposition des lits dans un hôpital ou encore étudier les lieux les plus touchés par les contaminations. Mieux : l…

Vidéo
7279
Mathématiciens sur le front du Covid (Les)
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait de Gabriel Peyré, lauréat de la médaille d'argent du CNRS 2021, directeur de recherche en intelligence artificielle au Département de mathématiques et applications de l'École normale supérieure et spécialiste en science des données. " Je travaille sur la théorie du transport optimal et ses applications à l'imagerie et l'apprentissage machine. Formulé par le mathématicien Gaspard Monge au XVIIIe siècle, le transport optimal cherche le moyen le plus économique…

Vidéo
7475
Médaille d'Argent du CNRS 2021 : Gabriel Peyré, chercheur en intelligence artificielle
Open media modal

Uniquement disponible pour exploitation non commerciale

Portrait de Rémi Bardenet, médaille de bronze du CNRS 2021, chercheur au sein de l'équipe Signaux, modèles et applications du Centre de recherche en informatique, signal et automatique de Lille. "Adolescent, je voulais faire de la recherche pour deux raisons : toucher du doigt les limites de la connaissance et ne pas me lever trop tôt le matin ! Si j'ai abandonné mes rêves de sommeil, travailler au CNRS me donne l'opportunité de jouer quotidiennement avec l…

Vidéo
7787
Médaille de bronze 2021 : Rémi Bardenet, chercheur en intelligence artificielle
20210128_0005
Open media modal

Susanna Zimmermann est chercheuse en géométrie algébrique au Laboratoire angevin de recherche en mathématiques (Larema). Elle étudie les surfaces algébriques réelles qui contiennent une sphère. Des travaux qui lui valent de recevoir la médaille de bronze du CNRS 2020. Elle réfléchit ici au tableau noir, un outil parfait pour esquisser des réflexions, modifier facilement des dessins et des équations, devant lesquels il est possible de discuter à plusieurs.

Photo
20210128_0005
Susanna Zimmermann, médaille de bronze du CNRS 2020, esquisse des dessins et équations au tableau noir
20210128_0011
Open media modal

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020, dans son bureau au Laboratoire angevin de recherche en mathématiques à Angers (Larema). Elle vérifie un théorème qu'elle pense avoir démontré la veille. Elle sourit car le théorème et la preuve qu'elle a trouvée sont corrects. Ce plaisir est la motivation principale de Susannna Zimmermann à faire de la recherche en mathématiques fondamentales et contribue à la passion qu'elle a d'exercer son métier.

Photo
20210128_0011
Susanna Zimmermann chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020
20210128_0014
Open media modal

Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020. Ici, elle est à la recherche d'un endroit calme dans la nature, à l'écart des gens et des préoccupations du quotidien, pour se détendre et retrouver la créativité nécessaire à sa réflexion. Selon Susanna Zimmermann, les meilleures idées viennent au cours d'une balade, sous la douche ou avant de s'endormir.

Photo
20210128_0014
Susanna Zimmermann, chercheuse en géométrie algébrique et médaille de bronze du CNRS 2020
20220039_0004
Open media modal

Edouard Pauwels, médaille de bronze du CNRS 2020, décrit les briques élémentaires d'un algorithme d'optimisation. Enseignant-chercheur en informatique et mathématiques, il étudie et développe des algorithmes d’optimisation numérique utilisés pour les statistiques et l'intelligence artificielle, à l'Institut de recherche en informatique de Toulouse (IRIT).

Photo
20220039_0004
Edouard Pauwels, médaille de bronze du CNRS 2020, décrit les briques élémentaires d'un algorithme d'optimisation

CNRS Images,

Nous mettons en images les recherches scientifiques pour contribuer à une meilleure compréhension du monde, éveiller la curiosité et susciter l'émerveillement de tous.