Un documentaire revient sur l'histoire extraordinaire d'André Weil, mathématicien français emprisonné durant la Seconde Guerre mondiale. Malgré le chaos du conflit, il a poursuivi ses recherches en cellule et produit certaines de ses intuitions les plus révolutionnaires.
Contenu insuffisant pour évaluation
Documentaire sur André Weil, l'un des plus grands mathématiciens du XXe siècle, qui a unifié les différentes branches des mathématiques. Du cours normal parisien à Princeton, en passant par la prison de Rouen où il a élaboré un théorème majeur, sa vie incarne une quête de structures mathématiques universelles.
Un documentaire en dix parties sur Kurt Gödel, le mathématicien autrichien dont les théorèmes d'incomplétude ont révolutionné les fondements des mathématiques et inspiré l'informatique et la philosophie. Le récit entrelace ses découvertes majeures, son amitié avec Einstein et sa vie personnelle marquée par la tragédie.
La startup Axiom a développé AxiomProver, une IA capable de résoudre des problèmes mathématiques ouverts. En quelques heures, elle a démontré quatre conjectures : une formule de géométrie bloquée 5 ans, un problème sur les semi-groupes numériques, une question de combinatoire et une propriété des nombres premiers liée au théorème de…
Lire un résumé →L'IA AxiomProver, créée par la startup Axiom, vient de démontrer quatre conjectures mathématiques majeures. Le cas le plus spectaculaire concerne le professeur Dawei Chen, bloqué pendant cinq ans sur une formule de géométrie ; l'IA a fourni une preuve complète en quelques heures. La clé de sa réussite réside dans la reformulation du problème selon un angle inédit, réduisant la démonstration à une identité mathématique connue.
Les trois autres résultats couvrent des domaines variés : les semi-groupes numériques (algèbre et théorie des nombres), la combinatoire (construction de suites infinies évitant certaines propriétés, avec un écart de 40 000 fois les prévisions probabilistes) et la théorie des nombres (démonstration que la quasi-totalité des nombres premiers satisfait une propriété liée au théorème de Vandiver). Tous les résultats sont vérifiés formellement en Lean, un langage informatique qui permet de vérifier chaque étape mécaniquement, et les démonstrations sont publiées en open-source sur GitHub pour reproduction complète.
Cette percée illustre une nouvelle approche de la validation scientifique : les machines explorent des chemins que l'esprit humain n'avait pas empruntés, ouvrant la voie à un « mathématicien artificiel » capable de naviguer autonomement dans l'espace mathématique.
Le Salon Culture et Jeux Mathématiques revient du 21 au 24 mai 2026 à Paris pour sa 27e édition. Gratuit et ouvert à tous, cet événement propose plus de 50 stands, conférences, ateliers et tournois autour des mathématiques, avec un accent particulier sur l'égalité dans les études scientifiques.
Lire un résumé →Le Salon Culture et Jeux Mathématiques, rendez-vous majeur de la vulgarisation scientifique en France, se tiendra place Saint-Sulpice à Paris du 21 au 24 mai 2026. Entièrement gratuit, il accueille plus de 50 exposants, des chercheurs, des associations et des professionnels pour faire découvrir les mathématiques sous toutes leurs formes.
Cet événement propose animations interactives, ateliers pratiques, conférences et spectacles destinés à tous les publics. Une attention particulière est portée à l'égalité et à la diversité dans les mathématiques, notamment la présence des filles dans les études scientifiques. Les visiteurs pourront aussi explorer les nombreux débouchés professionnels liés aux mathématiques et participer à des tournois et concours.
Le salon est également accessible en ligne sur salon-math.fr pour permettre une participation à distance. Soutenu depuis 2006 par la Région Île-de-France, cet événement bénéficie d'une inscription préalable conseillée pour les enseignants souhaitant réserver des créneaux les jeudi et vendredi.
MEGAVOLT, nouvelle équipe-projet commune à Sorbonne Université et Inria, établit un pont entre modélisation mathématique des phénomènes physiques et intelligence artificielle. Elle interprète les algorithmes d'apprentissage automatique par le prisme des équations aux dérivées partielles pour mieux maîtriser et certifier ces outils «…
Lire un résumé →Créée en 2025, l'équipe-projet MEGAVOLT vise à réconcilier deux domaines majeurs : les mathématiques appliquées et l'informatique. Dirigée par Bruno Després et Gérard Biau, elle observe les algorithmes d'apprentissage automatique à travers le prisme des équations aux dérivées partielles (EDP), des outils puissants pour modéliser des phénomènes complexes. L'objectif est de réécrire les problèmes d'IA sous forme mathématique pour mieux comprendre et maîtriser leurs mécanismes internes, souvent opaques même pour leurs concepteurs.
Cette approche repose sur une observation clé : plusieurs aspects du deep learning peuvent être interprétés comme de nouvelles classes d'équations d'évolution. En reliant modélisation physique et apprentissage automatique, MEGAVOLT vise à améliorer l'efficacité et la sécurité des systèmes d'IA, notamment les modèles de langage et les simulations de phénomènes physiques complexes. Cette démarche s'inscrit dans un contexte historique : l'informatique moderne ayant été fondée par des mathématiciens (Turing, von Neumann, Shannon), le projet entend restaurer un dialogue scientifique brouillé par l'autonomisation de l'apprentissage automatique.
Un documentaire biographique retrace la vie de Carl Friedrich Gauss, passé de la pauvreté à devenir le mathématicien majeur du XIXe siècle. Du enfant prodige aux découvertes fondamentales en arithmétique, géométrie et physique, un portrait du génie et de l'homme.
Un documentaire en dix parties retrace la vie extraordinaire de Grigori Perelman, mathématicien russe qui a résolu la conjecture de Poincaré. Le film explore son parcours d'exception et son choix de refuser la médaille Fields et le prix du millénaire, avant de disparaître de la vie publique.
Actu