Actualités mathématiques

OpenAI a publié le 1er août 2026 un manuscrit de 249 pages documentant la résolution de dix problèmes mathématiques majeurs par son système Astra : un groupe non sofique explicite (27 ans après sa formulation par Gromov), la réfutation de la conjecture de rigidité de Connes, et huit autres résultats inédits en géométrie haute dimension, complexité quantique, cryptographie sur réseaux et combinatoire extrémale. Les preuves sont formalisées en Lean 4 et publiées sous licence Apache 2.0.

Le coût d'inférence estimé à 2 000 dollars soulève des questions sur l'investissement réel en entraînement et infrastructure, tandis que la mise en forme reste artisanale. Noam Brown (OpenAI) a précisé qu'Astra n'avait pas attaqué les problèmes du prix du millénaire, maintenant une distinction nette entre ces résultats et les sept énigmes majeures restantes.

Astra demeure entièrement inaccessible au public. OpenAI a accordé un accès gratuit à ses modèles frontière pour 100 000 chercheurs académiques jusqu'en 2027 et soumis le système à un examen gouvernemental avant déploiement commercial. La crédibilité de l'annonce repose désormais sur la vérification indépendante par la communauté mathématique des 249 pages et preuves formelles.

Le musée consacré au mathématicien Pierre de Fermat, installé dans sa maison natale à Beaumont-de-Lomagne, prolonge son programme estival sur tout le mois d'août avec des activités destinées à tous les âges. Parmi les nouveautés, une exposition temporaire « Dans ma cuisine » explore les connexions entre mathématiques et informatique via les gestes quotidiens, tandis qu'un nouvel espace « Des petits Fermat » accueille les enfants dès 3 ans.

Les animations d'août incluent un atelier « Codes secrets » (13 août) explorant l'histoire de la cryptographie, des ateliers « Lectures et mise en voix » (6 août), un concert participatif « Artemisia » retraçant la vie de la peintre (6 août) et une murder party historique « Le trésor de Fouquet » (25 août). La plupart des événements sont gratuits ou à tarif réduit.

Ingrid Daubechies, née à Houthalen en Limbourg en 1954, a jeté les fondations mathématiques de la compression d'images numérique moderne. En 2025, le président Joe Biden lui a remis la plus haute récompense scientifique américaine. Bien que régulièrement citée pour le Nobel de physique, elle rappelle avec modestie que son apport, bien que décisif, s'inscrit dans un contexte collaboratif : ses ondelettes constituent un outil mathématique public, non breveté.

Au coeur de son innovation : découvrir dans les années 1980 des formules mathématiques qui préservent les propriétés utiles des ondelettes lors de leur application à la compression. Là où ses collègues acceptaient la perte de ces propriétés, elle a inversé le problème, partant des applications pratiques pour construire le cadre théorique. Ses ondelettes ont d'abord servi au FBI pour numériser des empreintes digitales, puis ont été intégrées au standard JPEG 2000, utilisé du cinéma numérique à l'imagerie médicale et aux archives d'oeuvres d'art.

Daubechies refuse le brevet et la commercialisation : elle conçoit les mathématiques comme une discipline vivante au service des autres. Ce choix d'ouverture a, selon elle, facilité l'adoption universelle de ses découvertes.

Le 1er août 2026, OpenAI a publié un rapport faisant état d'une avancée spectaculaire : une version interne d'Astra, sa prochaine grande famille de modèles de langage, aurait résolu dix problèmes mathématiques ouverts dans des domaines particulièrement ardus. Parmi eux figurent la géométrie en grande dimension, la théorie des codes, la complexité quantique, la cryptographie sur réseaux et la combinatoire extrémale — des sujets sur lesquels la communauté scientifique butait depuis au moins une décennie, parfois bien davantage. Concrètement, le modèle aurait entre autres établi l'existence de groupes dits non sofiques, réfuté la conjecture de rigidité de Connes, prouvé un théorème quantique de répétition parallèle et amélioré pour la première fois depuis 1978 une borne sur la densité d'empilement de sphères. L'ensemble de ces arguments, entièrement générés par l'IA selon OpenAI, a ensuite été formalisé dans le langage de vérification Lean, qui garantit l'exactitude logique des preuves de manière automatique. Le coût de calcul annoncé est d'environ 2 000 dollars par problème aux tarifs de l'API, ce qui tranche radicalement avec les années, parfois les décennies, qu'auraient nécessitées des équipes humaines. Noam Brown, chercheur chez OpenAI, parle d'un « pas majeur pour le raisonnement scientifique », tout en reconnaissant qu'aucun des sept Problèmes du Prix du Millénaire — dotés chacun d'un million de dollars — n'a pu être résolu. Du côté des mathématiciens, les réactions mêlent émerveillement et inquiétude. Timothy Gowers, médaillé Fields, a rapporté qu'un outil d'OpenAI avait résolu dès la première tentative deux problèmes sur lesquels il travaillait depuis longtemps. Le mathématicien Jay Cummings a confié l'étrangeté de voir une machine venir à bout d'un sujet auquel il avait consacré des années. Thomas Bloom, de l'université de Manchester, juge les résultats d'Astra plus significatifs encore que la récente réfutation de la conjecture de distance unitaire, tout en rejetant l'idée d'un remplacement pur et simple des chercheurs. La question de l'attribution de la paternité scientifique surgit également : OpenAI estime qu'attribuer ces preuves à des humains serait inexact, puisque les arguments mathématiques ont été produits de façon autonome par le modèle. Au-delà de la prouesse technique, une autre difficulté émerge, signalée notamment par le mathématicien Terence Tao : l'IA génère désormais un flux de résultats si abondant que la communauté scientifique peine à les vérifier et à les assimiler. Ce déséquilibre entre la vitesse de production et la capacité humaine d'évaluation constituerait un problème inédit pour la discipline. Jacob Tsimerman, futur lauréat de la médaille Fields 2026, a récemment quitté l'université de Toronto pour rejoindre OpenAI, signe du bouleversement en cours. Il estime que si la tendance se confirme, il faudra très prochainement « repenser le fonctionnement de toute la discipline ».

Context Free Art est un programme open source (GPLv2) qui utilise une syntaxe de langage formel pour créer des images. L'utilisateur écrit des commandes décrivant des formes de base (cercles, carrés, triangles) et leurs transformations géométriques, que le logiciel interprète pour générer des dessins complexes.

L'un des atouts majeurs du logiciel est la récursion : une forme peut générer des copies modifiées d'elle-même, permettant la création de structures fractales rencontrées dans la nature, comme le chou romanesco. Le programme intègre des mécanismes pour arrêter la récursion (réduction de taille) et permet l'introduction de variations aléatoires via des règles pondérées, offrant une grande flexibilité créative.

Le nom « sans contexte » fait référence à la théorie des langages formels : la syntaxe utilisée est une grammaire non contextuelle, ce qui signifie que les instructions de dessin ne dépendent jamais du contexte déjà dessiné. Context Free est disponible sur Linux, Windows et macOS, avec une riche documentation et une galerie d'images fractales et esthétiques créées par la communauté.

La Maison Poincaré, musée des mathématiques situé rue Pierre-et-Marie-Curie dans le 5e arrondissement de Paris, participera à la Fête de la Science 2026 en ouvrant gratuitement ses portes le samedi 10 octobre, dans le cadre d'une manifestation nationale qui se tiendra du 2 au 12 octobre. Cette journée exceptionnelle propose un programme varié, conçu pour tous les publics à partir de 11 ans, avec pour ambition commune de démystifier les mathématiques et d'en révéler la dimension à la fois humaine et ludique.

L'événement phare de la journée est une rencontre avec Sylvia Serfaty, mathématicienne et professeure à Sorbonne Université ainsi qu'au Courant Institute de la New York University. S'inscrivant dans le thème national de l'édition 2026, « Saveurs savantes », elle livrera un récit très personnel de son parcours scientifique : passions, doutes, rencontres décisives et découvertes progressives. Cette approche vise à montrer que la recherche mathématique se construit dans le temps, à travers des efforts et des questionnements, bien loin de l'image d'une science froide et inaccessible. Sylvia Serfaty s'appuiera notamment sur son premier ouvrage grand public, Des équations personnelles, paru chez Flammarion, qui met en avant les motivations intimes du chercheur. La réservation est obligatoire pour assister à cette conférence, destinée aux adolescents de 15 ans et aux adultes.

Trois autres séquences, en entrée libre, complètent la programmation. À 14h30, une présentation explore le célèbre problème de l'empilement des oranges : comment agencer des sphères pour occuper un espace minimal ? Cette question, apparemment simple, a occupé les mathématiciens pendant plusieurs siècles avant d'être résolue. À 15h30, une session intitulée « La beauté des mathématiques » propose de découvrir des formes abstraites rendues tangibles grâce à des objets et des photographies. Enfin, à 16h30, le double pendule est mis à l'honneur : ce dispositif illustre de façon concrète le chaos mathématique, en montrant comment de très légères variations initiales peuvent produire des trajectoires radicalement différentes, phénomène au coeur de nombreux systèmes physiques complexes.

Cette journée reflète la vocation première de la Maison Poincaré : réconcilier le grand public avec les mathématiques en les rendant sensibles, accessibles et vivantes.

La ministre gabonaise de l'Éducation, Camélia Ntoutoume-Leclercq, a lancé lundi la première édition du programme « Les maths autrement : un levier de compétitivité », conçu par le cabinet Giamillys Consulting & Services. Cette initiative répond à un constat : pour de nombreux élèves, les mathématiques demeurent une source d'appréhension et de découragement, ce qui limite les orientations vers les filières scientifiques et d'innovation.

Les experts impliqués, dont Dr Monica Neagoy (experte de la Méthode de Singapour), soulignent que cette perception négative entrave la réussite scolaire et freine l'accès aux carrières d'ingénierie et de technologie. Le programme propose une approche innovante pour réconcilier élèves, familles et école avec la discipline. Selon la ministre, il s'agit de repenser l'enseignement des mathématiques non pas sur la peur, mais sur la passion, afin de transformer l'école gabonaise et de positionner les mathématiques au coeur des transformations économiques et technologiques.

Yu Deng, mathématicien chinois, devient médaillé Fields pour ses travaux à l'interface des équations aux dérivées partielles, des probabilités et de la physique mathématique. Le prix couronne notamment une démonstration réalisée avec Zaher Hani et Xiao Ma, qui établit comment le comportement collectif d'un gaz peut émerger des collisions entre milliards de particules. Cette question résistait depuis les années 1970, quand Oscar Lanford n'avait pu le montrer que sur des temps très courts.

La percée consiste à combler le chaînon longtemps manquant entre les lois de Newton (particule individuelle), l'équation de Boltzmann (description statistique) et les équations de Navier-Stokes (fluide continu). Les chercheurs ont résolu l'obstacle majeur : contrôler mathématiquement les recollisions multiples entre particules en temps long, une explosion combinatoire que la preuve précédente n'avait pu dominer. Ce résultat constitue l'une des avancées les plus importantes du sixième problème de Hilbert.

Cependant, les mathématiciens notent que la démonstration, bien qu'exploit technique spectaculaire, n'apporte pas de compréhension nouvelle des mécanismes physiques : elle repose essentiellement sur de la combinatoire complexe plutôt que sur des insights conceptuels. Paradoxalement, cette « clôture technique » pourrait ouvrir la voie à des preuves futures plus élégantes et plus proches de l'intuition physique.