Actualités mathématiques

Les systèmes de raisonnement automatisé comme GoedelProver et APOLLO ont démontré en 2025 des progrès notables, produisant des preuves vérifiables et résolvant parfois des problèmes ouverts depuis longtemps. GoedelProver, entraîné sur 1,64 million d'énoncés formalisés, atteint une précision de 90,4 % avec auto-correction. Ces avancées ont été examinées lors de la conférence « IA et Mathématiques » (avril 2025) organisée par HiPARIS, révélant le rôle croissant de la vérification formelle en recherche mathématique.

Cependant, selon Amaury Hayat (École des Ponts ParisTech), les principaux obstacles restent méthodologiques : la rareté des données en domaines spécialisés limite l'efficacité de l'entraînement classique, et les IA maîtrisent mieux le langage naturel que le langage formel, pourtant indispensable pour la vérification automatique rigoureuse. Son projet DESCARTES explore l'apprentissage par renforcement et la traduction automatique langage naturel-formel pour progresser.

L'IA ne produit pas encore des preuves surpassant les mathématiciens, mais elle devient un assistant efficace : elle combine des fragments de solutions dispersées dans la littérature et gagne du temps en explorant plusieurs domaines simultanément, quasi comme « un collègue très expérimenté à disposition ».

Auditionné au Sénat en janvier 2026, Olivier Andriès, directeur général de Safran, a exprimé ses préoccupations quant à l'affaiblissement des compétences mathématiques chez les lycéens français. Il attribue cette situation à la réforme du baccalauréat de 2019, qui a fait sortir les mathématiques du tronc commun en les rendant optionnelles. Selon lui, cette décision crée une « bombe à retardement » pour l'industrie, risquant une pénurie d'ingénieurs alors que l'excellence scientifique constitue un atout historique de la France.

Andriès situe cette baisse dans un contexte plus large : l'objectif politique, poursuivi depuis décennies, d'amener 80 % d'une génération au baccalauréat. Il estime que cette démocratisation ne doit pas s'accompagner d'une réduction du niveau exigé, car la sélection s'opère inévitablement plus tard dans les parcours. Au-delà de la formation des ingénieurs, il souligne que les mathématiques structurent la pensée et développent l'analyse rationnelle, compétences essentielles dans tous les domaines. Il relève enfin que cette réduction affaiblit l'ensemble de l'appareil industriel et pèse sur la féminisation des métiers scientifiques.

La compréhension des écosystèmes marins repose largement sur la modélisation mathématique, en particulier sur la théorie des systèmes dynamiques. Les modèles fondés sur des équations différentielles, généralisant le célèbre modèle de Lotka-Volterra (1922-1925), permettent de représenter les interactions entre espèces marines de toutes tailles—du plancton microscopique aux mammifères marins—et de capturer les dynamiques de croissance et de déclin des populations observées en nature.

Ces modèles jouent un rôle crucial pour deux enjeux majeurs : d'une part, ils éclairent le fonctionnement des océans, notamment le rôle du phytoplancton dans la pompe biologique du carbone et la régulation climatique ; d'autre part, ils orientent la gestion durable des ressources halieutiques en modélisant l'impact de la pêche et en guidant la définition des quotas et des aires marines protégées. Les modèles intègrent également les conditions physiques et chimiques (courants, température, salinité) pour mieux comprendre les couplages entre processus biologiques et processus environnementaux.

Dans un contexte où l'accès direct aux écosystèmes marins est limité, ces outils mathématiques permettent de tester des hypothèses, de proposer des expériences en laboratoire, et de produire des scénarios prévisionnels utilisés par le GIEC et l'IPBES, faisant des mathématiques un instrument d'exploration indispensable face à la complexité de ces milieux.