Computer Science
Plongez dans l'univers fascinant des mathématiques avec nos articles captivants, rédigés par des experts passionnés. Que vous soyez un amateur curieux ou un mathématicien chevronné, nos articles couvrent une vaste gamme de sujets, des concepts fondamentaux aux découvertes les plus récentes, en passant par des applications pratiques et des réflexions philosophiques.
PodcastIA générative : les mathématiques cachées derrière ChatGPT
Tokens, réseaux de neurones et descente de gradient : ce sont les mathématiques qui permettent aux IA génératives de produire du texte.
PodcastTerence Tao et l’IA : les mathématiques à l’épreuve des machines
Terence Tao examine les solutions proposées par l’IA aux problèmes ouverts d’Erdős, entre vérification rigoureuse et défense d’une recherche mathématique humaine.
PodcastIA et alignement : comment apprendre aux machines nos valeurs
L’IA optimise ce qu’on lui demande, parfois au détriment de nos intentions. Découvrez comment l’alignement cherche à intégrer nos valeurs implicites.
PodcastApprentissage statistique : entraînement, test et généralisation
Découvrez les bases de l’apprentissage statistique : entraînement, test, généralisation et surapprentissage, à travers l’exemple de la distinction entre 2 et 7.
PodcastL’IA : petit guide pour s’y retrouver
Des systèmes experts aux grands modèles de langage, découvrez l’histoire, les principes et les usages de l’intelligence artificielle.
Margaret Hamilton et le logiciel qui a guidé Apollo vers la Lune
Margaret Hamilton est morte à 90 ans. Sous sa direction, l’équipe du MIT a conçu le logiciel qui a permis à l’ordinateur d’Apollo 11 de faire le tri, malgré les alarmes, à quelques instants de l’alunissage.
Chair44 : monotuile 3D apériodique découverte par intelligence artificielle
Découverte via IA, Chair44 serait la première monotuile tridimensionnelle capable de paver l'espace de façon fortement apériodique, sans période ni symétrie d'ordre infini.
377 réussites, 3 600 échecs : une IA et un taux de réussite de 9,4 %
OpenAI annonce 377 problèmes mathématiques résolus par son IA. Mais sur 4 000 tentatives, le taux de réussite n'est que de 9,4 %. Analyse critique d'un chiffre incomplet.
Navier-Stokes résolu par l'IA : pourquoi trois camps se disputent la preuve
OpenAI claim avoir résolu le problème du millénaire Navier-Stokes grâce à 10 000 agents IA. Mais la communauté mathématique conteste la paternité de la découverte.
Intelligence artificielle et science-fiction : des promesses aux fantasmes
Comment la science-fiction a anticipé les angoisses liées à l'IA, de Frankenstein au film The Invisible Boy.
PodcastTerence Tao alerte : l'IA écrit des preuves que personne ne peut lire
Terence Tao alerte sur un nouveau seuil : l'IA accélère la formalisation des preuves, mais génère des résultats trop verbeux pour être compris par les humains.
PodcastQuand l'IA "résout" une conjecture sans preuve : la riposte des mathématiciens
La communauté mathématique se mobilise face aux annonces de l'IA. La Déclaration de Leiden trace les limites entre génération et vérification des preuves.
PodcastCerveau humain et conduite autonome : un mécanisme biologique qui révolutionne l'IA
Une équipe de l'Université de Valence transpose un mécanisme du cortex visuel dans les réseaux de neurones, améliorant de 20 % la conduite autonome en conditions difficiles.
PodcastLeibniz, Yi Jing et le système binaire : une rencontre improbable
Découvrez comment Leibniz, en étudiant le Livre des mutations chinois, y a trouvé une，预figuration du système binaire qui révolutionnera l'informatique moderne.
PodcastConjecture abc : pourquoi la vérification par ordinateur pourrait résoudre le plus grand scandale mathématique
Depuis 2012, la démonstration de la conjecture abc par Shinichi Mochizuki divise la communauté mathématique. Des chercheurs ont recours à la vérification formelle assistée par ordinateur pour trancher enfin.
PodcastBusy Beaver : la fonction qui dépasse toute calculabilité
La fonction Busy Beaver croît plus vite que toute fonction calculable. Découvrez pourquoi certains nombres sont mathématiquement inaccessibles.
PodcastTerence Tao et l'intelligence artificielle : ce qu'elles changent aux mathématiques
Terence Tao, médaillé Fields, partage son expérience avec l'IA en recherche mathématique : un партнер d'exploration qui transforme la façon de formuler les problèmes.
PodcastConcours Alkindi 2026 : finale de cryptanalyse pour collégiens à l'École des Mines
Vingt équipes de collégiens et lycée s'affrontent le 13 mai à l'École des Mines de Paris pour décrocher le titre de meilleur cryptanalyste junior de France.
PodcastAce : le robot qui bat des champions de ping-pong grâce aux mathématiques
Découvrez comment Ace, un robot utilisant l'apprentissage par renforcement et la vision événementielle, peut battre des champions de ping-pong. Analyse des maths derrière cette performance publiée dans Nature.
PodcastÉconométrie : mesurer pour comprendre | Insee
L'économétrie révèle les relations causales dans les phénomènes économiques grâce aux mathématiques et aux statistiques, au service des politiques publiques.