Actualités mathématiques

Les modèles de langage peinent traditionnellement en mathématiques, commettant des erreurs sur des calculs élémentaires. Pour remédier à ce problème, Apple développe un petit moteur de calcul local intégré à Siri, disponible à partir de la bêta 5 de macOS 27, qui prend le relais lors de questions mathématiques.

Ce MathComputeTool est capable de traiter des requêtes en langage naturel : arithmétique basique (y compris avec plusieurs opérations), conversions de fractions, calculs de surfaces, racines carrées et puissances. Contrairement aux calculatrices classiques de macOS, il accepte les formulations conversationnelles et fonctionne hors ligne, offrant aux utilisateurs une alternative plus fiable que l'actuel Siri pour des questions mathématiques.

Installée depuis septembre 2023 dans le 5e arrondissement parisien, la Maison Poincaré est le premier musée français entièrement dédié aux mathématiques. À travers des parcours et modules interactifs, le lieu montre les connexions entre les mathématiques, les sciences, la philosophie, les arts et la culture.

Le samedi 19 septembre 2026, à l'occasion de la 43e édition des Journées du Patrimoine, la Maison Poincaré accueillera le public gratuitement. Trois sessions de médiation flash d'une demi-heure chacune sont programmées dans les espaces d'exposition (14h30-14h50, 15h30-15h50, 16h30-16h50), offrant une opportunité d'explorer les mathématiques sous un nouvel angle et de redécouvrir leur présence omniprésente dans notre société.

Le document reçu ne constitue pas un article exploitable. Au lieu d'un développement sur les découvertes récentes concernant Pi en physique des hautes énergies (comme l'annonce le titre), on trouve une liste fragmentaire de titres de brèves variées (collégien honnête, semaine de 4 jours, épidémie, astronaute, etc.) sans rapport entre eux ni avec le sujet annoncé. Aucun contenu mathématique ou physique substantiel ne peut en être extrait pour former un résumé autonome.

En septembre 2021, trois mathématiciens — Jonathan Pila (Oxford), Ananth Shankar (Northwestern) et Jacob Tsimerman (Toronto) — ont publié la preuve d'une conjecture formulée en 1989 et 1995 par Yves André et Frans Oort. Cette avancée répond à une question vieille de plusieurs siècles : comment caractériser les solutions des équations polynomiales, une quête poursuivie depuis la résolution du dernier théorème de Fermat par Andrew Wiles en 1994.

La conjecture concerne les variétés de Shimura, des objets géométriques complexes qui encodent des structures mathématiques subtiles comme les courbes elliptiques. Elle établit que si une courbe tracée sur une variété de Shimura rencontre continuellement des « points spéciaux » (points associés à des courbes possédant des symétries particulières), alors cette courbe doit elle-même être une variété de Shimura. Les auteurs ont résolu ce problème en utilisant le concept de « hauteur » pour mesurer la complexité des points et estimer leur distribution.

Contrairement aux tentatives antérieures (notamment celle de 2014 par Yafaev et Klingler), cette démonstration ne repose pas sur l'hypothèse de Riemann, encore non résolue. Jacob Tsimerman, qui a reçu la médaille Fields en juillet 2026, est reconnu comme l'un des meilleurs mathématiciens de sa génération ; selon ses pairs, il possède une capacité remarquable à maîtriser l'ensemble des mathématiques.

Mohamadou Sy, doctorat en mathématiques de l'Université de Cergy-Pontoise (2017), transfère ses activités de recherche du Sénégal au Rwanda. Il s'installe à l'Institut africain des sciences mathématiques (AIMS Rwanda) pour y constituer un groupe de recherche dédié aux équations aux dérivées partielles stochastiques, en collaboration avec l'Université de Bielefeld en Allemagne.

Son équipe comprendra deux doctorants et trois chercheurs postdoctoraux. Le projet porte sur des problématiques avancées incluant les équations de Navier-Stokes (modélisation des fluides) et les équations de Schrödinger non linéaires, avec une portée jusqu'en 2028. Sy, qui a travaillé à Virginie, l'Imperial College London et Johns Hopkins, ambitionne de contribuer à l'émergence en Afrique d'un environnement de recherche mathématique de haut niveau intégré aux réseaux internationaux.

L'hypothèse de Riemann, l'un des problèmes mathématiques les plus célèbres et les plus anciens encore non résolus, fait l'objet d'une avancée notable annoncée par Anthropic. Formulée il y a plus de cent cinquante ans, cette hypothèse porte sur la distribution des nombres premiers et affirme, de façon simplifiée, que certains points particuliers d'une fonction mathématique complexe s'alignent tous sur une même droite. Une récompense d'un million de dollars attend celui ou celle qui parviendra à la démontrer complètement — récompense toujours non réclamée à ce jour.

Le modèle d'Anthropic concerné n'a pas encore été rendu public. Il n'a pas résolu le problème dans son intégralité, mais a sensiblement repoussé la borne inférieure des cas pour lesquels l'hypothèse est vérifiée, ce qui constitue en soi une avancée significative. Ce qui frappe les observateurs autant que le résultat lui-même, c'est la façon dont ce progrès a été obtenu : un employé d'Anthropic sans formation mathématique avancée a simplement demandé au modèle de « s'attaquer sérieusement » au problème, puis l'a laissé travailler en autonomie pendant trente-six heures. Durant cette période, le système a testé 650 approches différentes, coordonné 60 sous-agents et généré 31 millions de tokens de sortie.

La répartition des tâches entre ces agents était précisément organisée : deux d'entre eux développaient les concepts mathématiques fondamentaux, treize contribuaient aux pistes déjà ouvertes, trente tentaient de formuler de nouvelles théories sans y parvenir, treize autres assuraient la vérification des résultats, et deux derniers rédigeaient le document de synthèse. Deux mathématiciens internes à Anthropic ont ensuite confirmé les conclusions, et les résultats ont été formalisés grâce à Lean, un assistant de preuve open source garantissant la rigueur logique du raisonnement.

Cette annonce s'inscrit dans une série de percées récentes attribuées à des modèles d'intelligence artificielle : plusieurs problèmes d'Erdos ont été résolus cette année par des systèmes IA, OpenAI a publié dix résultats majeurs prouvés par son modèle interne, et Anthropic a par ailleurs réfuté la conjecture jacobienne le 5 août 2026.

Ces succès successifs suscitent des réactions contrastées dans la communauté mathématique. Un groupe de chercheurs éminents a signé en juin une déclaration exprimant la crainte que l'IA ne compromette des valeurs essentielles à la discipline, notamment l'exigence que toute preuve soit attribuable à un auteur humain identifiable et responsable. Le mathématicien d'Oxford James Maynard, lauréat de la médaille Fields, confie s'interroger depuis plusieurs mois sur l'avenir de sa discipline. Timothy Gowers, également médaillé Fields, nuance ce pessimisme mais soulève une autre préoccupation : sans générations futures de mathématiciens capables de lire et de comprendre les productions de l'IA, la discipline pourrait se retrouver avec une littérature enrichie mais sans communauté humaine pour la maîtriser. Il note toutefois que si les théorèmes cessent d'être associés à leurs auteurs, cela ne sera peut-être « guère plus problématique que l'anonymat des étoiles ».

Combien de mélanges faut-il pour qu'un jeu de cartes soit véritablement mélangé ? Derrière cette question apparemment simple se cache un problème mathématique fascinant. Avec 52! arrangements possibles, un paquet ordinaire peut se combiner de façons quasi infinies, rendant crucial le nombre exact de brassages nécessaires.

Dave Bayer et Persi Diaconis ont résolu cette énigme en étudiant le riffle shuffle, ce mélange où le paquet se coupe en deux avant de s'entrelacer. En utilisant le modèle de Gilbert-Shannon-Reeds et la distance en variation totale comme mesure de l'aléatoire, ils ont observé qu'après cinq ou six mélanges, le paquet conserve encore une structure invisible mais réelle. Au septième mélange intervient un « cutoff » : la distance chute brutalement de 0,614 à 0,334, marquant le passage soudain d'un état ordonné à un quasi-aléatoire.

Cette règle du sept reste pertinente, bien qu'elle demande nuances. Le seuil exact dépend du modèle et de la mesure retenue, et de récents travaux sur arXiv (2025) confirment la robustesse du phénomène dans diverses variantes. Chaque mélange supplémentaire améliore l'aléa, mais avec des gains décroissants.