Actualités mathématiques

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.

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.

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.

Les systèmes d'intelligence artificielle franchissent des étapes remarquables en mathématiques : ils résolvent des problèmes sur lesquels les chercheurs buten­taient depuis des décennies et établissent des théorèmes jusque-là inaccessibles. Cette avancée soulève des questions fondamentales sur le rôle futur des mathématiciens et des enseignants.

La mathématicienne Sylvia Serfaty, reçue à l'Académie des sciences, et le chercheur Amaury Hayat, spécialiste de l'IA en mathématiques, examinent ces enjeux : l'intelligence artificielle doit-elle être considérée comme un outil au service de la recherche ou comme une menace pour le métier ? Ces débats interviennent au moment où des centaines de milliers de lycéens passent l'épreuve de mathématiques du baccalauréat, soulevant des questions sur la pertinence des évaluations traditionnelles face à ces nouvelles capacités.

Emmanuel Candès (X1990), titulaire de la chaire Barnum-Simons de mathématiques et de statistiques à l'université de Stanford, partage le Shaw Prize in Mathematical Sciences 2026 avec Camillo De Lellis. Cette distinction internationale récompense des avancées majeures dans l'utilisation de techniques avancées d'analyse mathématique.

Le mathématicien français est distingué pour ses contributions révolutionnaires à la compréhension rigoureuse de problèmes appliqués en théorie de l'information, traitement du signal et statistiques. Docteur en statistiques de Stanford (1998), Candès a occupé des postes prestigieux au Caltech avant de rejoindre Stanford en 2009, où il a notamment dirigé le département de statistiques de 2016 à 2018. Il est membre de l'Académie nationale des sciences des États-Unis et de l'Académie américaine des arts et des sciences.

Les prix Shaw, décernés depuis 2004 par la fondation Shaw à Hong Kong, récompensent annuellement des scientifiques de renommée mondiale dans trois domaines : l'astronomie, les sciences biologiques et médicales, et les mathématiques. Souvent assimilés aux « Prix Nobel asiatiques », ils constituent une distinction majeure du paysage scientifique international.

Sylvia Serfaty, mathématicienne et professeure au Laboratoire Jacques-Louis Lions, a été reçue dans le Grand Entretien de Radio France pour discuter de son entrée à l'Académie des sciences. Autrice de l'ouvrage « Des équations personnelles » (Flammarion, 2026), elle aborde les enjeux actuels de sa discipline.

Le coeur de l'entretien porte sur la manière dont l'intelligence artificielle bouleverse la recherche en mathématiques. Sylvia Serfaty est rejointe par Amaury Hayat, professeur à l'École nationale des Ponts et Chaussées et porteur de la chaire Descartes de l'Institut Polytechnique de Paris, pour une discussion approfondie sur les transformations induites par l'IA dans le travail des mathématiciens et les implications pour la formation des futurs chercheurs.

À partir de 2026, une nouveauté importante marque le calendrier du baccalauréat : l'épreuve anticipée de mathématiques devient obligatoire pour tous les élèves de première en filière générale et technologique, indépendamment de leur choix de spécialité.

Les candidats scolarisés dans les établissements français d'Amérique du Nord ont été les premiers à passer cette épreuve le 1er juin. Les élèves en France métropolitaine passeront leur épreuve le 12 juin. Les sujets d'Amérique du Nord sont mis à disposition comme matériel d'entraînement pour préparer le jour J.

La Déclaration de Leiden sur l'intelligence artificielle et les mathématiques, issue d'un atelier aux Pays-Bas et soutenue par l'Union mathématique internationale, ne rejette pas l'IA mais appelle à encadrer son usage. Les mathématiciens craignent que les modèles ne puissent pas fournir des démonstrations véritablement compréhensibles et vérifiables : une preuve mathématique ne se réduit pas à une réponse correcte, elle doit pouvoir être lue, validée et intégrée dans le corpus des connaissances.

Le texte soulève plusieurs enjeux concrets : le contrôle des outils par des entreprises privées crée un déséquilibre avec les laboratoires universitaires ; l'absence de citation des sources utilisées par l'IA efface la contribution des chercheurs ; enfin, la rapidité des annonces publiques devance souvent la vérification rigoureuse par la communauté. Pour préserver l'autonomie intellectuelle des mathématiques, la déclaration propose notamment de rendre obligatoire la divulgation de l'usage de l'IA, de renforcer l'évaluation par les pairs et d'investir dans des infrastructures publiques de calcul.