Un documentaire explore le théorème d'incomplétude de Gödel, qui établit l'existence de vérités mathématiques indémontrables. À travers les perspectives de lauréats du prix Nobel, il examine les implications de cette découverte pour notre compréhension des limites de la connaissance et de l'intelligence artificielle.
Un documentaire en dix parties retrace la vie de Leonardo Fibonacci, mathématicien médiéval qui a introduit les chiffres indo-arabes en Europe et donné naissance à la célèbre suite portant son nom, omniprésente dans la nature et l'art.
Un ouvrage explore le théorème du jury de Condorcet (1785), résultat fondateur montrant que si les électeurs ont une compétence supérieure au hasard, la majorité aboutit à des décisions correctes. Première étude exhaustive de ses implications pour la théorie démocratique contemporaine.
Lire un résumé →En 1785, Condorcet démontre mathématiquement que si les électeurs possèdent une compétence supérieure à 50%, une décision prise à la majorité a de grandes chances d'être correcte. Ce théorème du jury fournit une justification épistémique à la règle de majorité et suggère que l'élargissement du suffrage au plus grand nombre renforce la fiabilité des décisions collectives.
Cet ouvrage d'Antoine Houlou-Garcia offre la première étude exhaustive du théorème et de ses implications pour la démocratie moderne. Malgré son importance dans la théorie politique et la défense épistémique de la démocratie, aucune monographie ne lui avait encore été consacrée. Le livre examine l'énoncé original de Condorcet, sa réception historique, ses hypothèses mathématiques, sa pertinence épistémologique, ses racines médiévales, ses applications pratiques (décision médicale, prédiction, évaluation) et même son illustration inattendue dans le comportement collectif des abeilles lors de l'essaimage.
OpenAI a résolu un problème d'Erdos vieux de 80 ans grâce à ChatGPT, trouvant une disposition de points plus optimale qu'un quadrillage régulier. Cette percée fait débat dans la communauté mathématique, qui s'interroge sur l'encadrement de l'IA en recherche.
Lire un résumé →Un problème formulé par le mathématicien hongrois Paul Erdos il y a 80 ans vient d'être résolu par une version de ChatGPT utilisée par OpenAI. Il s'agissait de déterminer la meilleure façon d'arranger des points dans un plan pour maximiser le nombre de paires séparées par une même distance. Jusqu'à présent, on pensait que un quadrillage régulier était la solution optimale, mais l'IA a démontré l'existence d'une disposition bien supérieure.
Ce qui a particulièrement marqué la communauté scientifique n'est pas seulement le résultat obtenu, mais la méthode employée par l'intelligence artificielle. ChatGPT a raisonné comme un mathématicien en dialoguant avec lui-même, explorant différentes pistes, rejetant celles qui ne fonctionnaient pas et progressant graduellement vers la solution. Pour la première fois, une IA démontre une innovation véritablement novelle en mathématiques.
Cette avancée suscite cependant des réactions nuancées : certains jeunes chercheurs expriment des craintes pour leur avenir, tandis que d'autres envisagent une collaboration bénéfique où l'IA traiterait les tâches techniques et laisserait aux humains la formulation des problèmes. Pour encadrer cette nouvelle réalité, plus de 1200 mathématiciens ont signé une déclaration de bonnes pratiques visant à maintenir l'humain au coeur de la discipline.
Le domaine de l'écriture des nombres entiers est le mieux réussi quel que soit le niveau de scolarisation. Les évaluations les moins bien réussies sont la résolution de problèmes du CP au CE2 et les automatismes de calcul (mémorisation de faits numériques et de procédures) en CM1 et CM2.
Lire un résumé →Les résultats 2025 des évaluations Repères en mathématiques à l'école élémentaire révèlent une performance globalement stable par rapport aux années précédentes, sauf au CM1 où une hausse est observée entre 2023 et 2025. L'écriture des nombres entiers reste le domaine le mieux maîtrisé à tous les niveaux, tandis que la résolution de problèmes du CP au CE2 et les automatismes de calcul en CM1-CM2 constituent les points faibles identifiés.
Les écarts de performance selon le contexte socio-éducatif se creusent légèrement : les élèves scolarisés en éducation prioritaire accusent un retard particulièrement marqué en résolution de problèmes, et les écarts se sont légèrement accentués entre 2024 et 2025 pour quatre des six compétences en CM2. Par ailleurs, les disparités filles-garçons apparaissent à partir du CE1, avec des garçons globalement plus performants, sauf sur le calcul mental et certains exercices géométriques. À niveau social équivalent, les élèves des zones rurales réussissent mieux la résolution de problèmes que ceux des autres communes.
La suite de Fibonacci, née d'un problème de reproduction de lapins au Moyen Âge, révèle des connexions profondes avec le nombre d'or et apparaît dans la musique pop/rock, notamment chez le groupe Tool qui en aurait intégré les propriétés mathématiques.
Lire un résumé →Léonard de Pise, dit Fibonacci, mathématicien italien du XIIe siècle, a formulé dans son traité 'Liber Abbaci' une énigme devenue célèbre : le calcul du nombre de lapins dans un enclos lorsqu'un couple reproducteur génère régulièrement de nouveaux couples. La solution de ce problème engendre la fameuse suite de Fibonacci, où chaque terme est la somme des deux précédents.
Cette séquence numérique entretient une relation remarquable avec le nombre d'or, une constante mathématique présente dans la nature et l'art. Le groupe de rock américain Tool a exploité ces propriétés mathématiques dans sa composition musicale, illustrant comment les structures mathématiques fondamentales dialoguent avec la création artistique contemporaine.
Un documentaire retrace la vie de Blaise Pascal, du génie enfant qui réinventa les mathématiques seul à 12 ans au penseur qui posa les fondements des probabilités, révolutionna la physique et devint un auteur majeur de la prose française.
Des mathématiciens de Cambridge, Oxford, Columbia et ETH Zurich publient la Déclaration de Leiden pour dénoncer les risques de l'IA en mathématiques : preuves impossibles à vérifier indépendamment, résultats annoncés sans transparence méthodologique, et données d'entraînement exploitées sans consentement.
Lire un résumé →Des chercheurs de prestigieuses universités (Cambridge, Oxford, Columbia, ETH Zurich) ont publié la Déclaration de Leiden, un texte de onze pages soulevant des enjeux cruciaux pour la fiabilité mathématique à l'ère de l'IA. Le problème central : les systèmes d'IA produisent des arguments qui ressemblent formellement à des preuves mathématiques, mais sans garantie de correction et sans possibilité de vérification indépendante fiable par les pairs.
Le cas d'AlphaProof illustre cette préoccupation. Google DeepMind a annoncé en juillet 2024 la résolution de trois problèmes de l'Olympiade Internationale de Mathématiques, mais la méthodologie détaillée n'a été publiée que le 12 novembre 2025, plus d'un an après. Pendant ce délai, la communauté mathématique n'avait pas accès aux informations nécessaires pour évaluer la méthode globalement. Les signataires dénoncent également que les modèles d'IA exploitent massivement les publications mathématiques sans consentement explicite et ne citent souvent pas leurs sources, ce qui viole un principe fondamental : en mathématiques, citer les résultats antérieurs est inhérent à la démonstration elle-même. Sans ces citations, aucune vérification indépendante n'est possible.
Des chercheurs de Stanford, Wyoming et Colorado ont modélisé mathématiquement le niveau d'ambition optimal. Leur conclusion : viser légèrement au-dessus de la moyenne, mais trop exiger coûte plus cher que trop peu. L'excès d'ambition s'avère plus pénalisant que la modestie.
Lire un résumé →Une équipe internationale a publié dans Physical Review E une étude mathématique sur l'ambition optimale dans les affaires, la politique et la vie. En modélisant les choix répétés (emploi, partenaire, idée d'entreprise), les chercheurs montrent que le seuil idéal se situe strictement au-dessus de la moyenne, mais reste volontairement limité. Cette conclusion remet en question la culture du dépassement de soi : l'ambition démesurée produit des résultats pires que l'ambition raisonnable.
L'étude révèle une asymétrie majeure : fixer ses exigences trop haut coûte proportionnellement plus cher que les fixer trop bas. Cependant, ce niveau optimal n'est pas universel — il dépend de la structure statistique du domaine. En politique économique, où les récessions dépassent les booms, il faut être plus ambitieux que la moyenne. En entrepreneuriat, quelques succès spectaculaires gonflent artificiellement la moyenne, ce qui peut pousser à une ambition irréaliste.
Les chercheurs ont validé leur modèle sur des données concrètes : sites de rencontre, candidatures universitaires, sondages électoraux et statistiques économiques. Les utilisateurs de plateformes de rencontre, par exemple, concentrent naturellement leurs contacts vers des profils légèrement plus attractifs que le leur, confirmant les prédictions mathématiques. L'étude souligne aussi comment les réseaux sociaux, en affichant uniquement les succès mis en scène, déplacent le seuil d'ambition vers un idéal statistiquement inaccessible.
Actu