Actualités mathématiques

La différenciation pédagogique en mathématiques pose un défi chronophage aux enseignants : adapter le matériel didactique à chaque élève demande un investissement de temps considérable. Pour y répondre, Cléa propose une solution basée sur l'intelligence artificielle capable de générer des activités structurées et modulables directement intégrées au contexte scolaire québécois.

L'application offre aux enseignants la possibilité de créer et de personnaliser des exercices mathématiques adaptés au profil et aux progressions de leurs élèves, réduisant ainsi la charge de préparation tout en permettant une meilleure différenciation.

Jacob Tsimerman, nouveau médaillé Fields, a rejoint OpenAI pour la recherche en sécurité de l'IA. En août, il a organisé avec Sébastien Bubeck une réunion fermée de quarante mathématiciens au siège de San Francisco, où Daniel Litt a présenté un exposé intitulé « La Fin des mathématiques », envisageant un scénario où l'expertise mathématique humaine disparaîtrait. Cette inquiétude fait suite à une série de percées de l'IA : en mai, un modèle non publié d'OpenAI a résolu la Conjecture de la Distance Unitaire (ouverte depuis 80 ans) ; en août, OpenAI a annoncé dix découvertes mathématiques générées par IA couvrant plusieurs domaines. Ces résultats ont déclenché une réaction de la communauté mathématique, dont le manifeste de Leiden signé par plus de 3000 mathématiciens appelant à l'usage responsable des outils d'IA.

Cependant, un débat substantiel émerge : tandis que l'IA peut *prouver* des théorèmes, peut-elle les *comprendre* et les *expliquer* ? Bryna Kra et Melanie Matchett Wood soulignent que les meilleurs modèles d'IA peinent à identifier les passages vraiment difficiles d'une preuve et à les clarifier. Andreas Thom note que les nouveaux concepts n'émergent que lorsque des humains participent au processus de preuve, ce que l'IA ne réalise pas encore seule. Le coeur du problème : une preuve non comprise ne devient pas part de la littérature mathématique.

Le ministère de l'Éducation nationale a rendu public le calendrier des examens de la session 2027 pour le baccalauréat, le brevet des collèges et le certificat d'aptitude professionnelle. Une décision structurante marque ce millésime : en réponse aux épisodes de fortes chaleurs enregistrés lors de la session 2026, l'ensemble des épreuves écrites et orales sera organisé le matin, aux heures où les températures sont les plus clémentes. Seules les épreuves de pratiques professionnelles feront l'objet d'une attention particulière en raison de leur format spécifique.

Pour le diplôme national du brevet, les épreuves se dérouleront sur trois jours en fin de mois de juin. La matinée du jeudi 24 juin 2027 sera consacrée au français, avec une première partie portant sur la grammaire, la compréhension et la dictée de 8 h à 9 h 30, suivie de la rédaction de 9 h 45 à 11 h 15. Le vendredi 25 juin accueillera l'épreuve d'histoire-géographie et d'enseignement moral et civique, de 8 h à 10 h. Le lundi 28 juin verra se succéder les sciences le matin et les mathématiques de 10 h à 12 h.

Pour le baccalauréat général et technologique, la semaine du 14 juin 2027 concentre les épreuves écrites finales. La philosophie ouvrira le bal le lundi 14 juin au matin, suivie des épreuves de spécialités les mercredi 16, jeudi 17 et vendredi 18 juin. Les épreuves anticipées concernent les élèves de première : le français écrit aura lieu le mardi 15 juin 2027, et les mathématiques anticipées le lundi 21 juin. Le Grand oral est quant à lui programmé entre le 21 juin et le 2 juillet 2027, selon l'organisation propre à chaque académie.

Le baccalauréat professionnel et le certificat d'aptitude professionnelle bénéficient de leurs propres calendriers, organisés plus tôt dans le mois de juin. Des sessions de remplacement sont prévues pour l'ensemble de ces examens, permettant aux candidats empêchés de composer à une date ultérieure. Ces dispositions valent pour la métropole, La Réunion et Mayotte, des horaires adaptés étant fixés pour les territoires d'outre-mer comme la Guadeloupe, la Martinique, la Guyane ou la Polynésie française.

Disponible sur Nintendo Switch, Néro & Sci ? Integral Edition est un jeu indépendant développé par Souris-Lab qui tente le pari audacieux de transformer les mathématiques en véritable expérience vidéoludique, loin des exercices scolaires habituels. Le joueur incarne Néro, un jeune extraterrestre qui, à la suite d'une maladresse dans une bibliothèque, libère accidentellement des connaissances scientifiques éparpillées à travers son monde. Accompagné de son compagnon Sci, il doit alors les rassembler en traversant trente-six niveaux répartis en quatre mondes distincts.

Le titre se présente comme un puzzle-platformer en 2D : on saute, on franchit des obstacles et on résout des énigmes dont la logique est directement ancrée dans les mécaniques mathématiques. L'ambition affichée n'est pas de faire remplir des additions sur un écran, mais bien d'intégrer la réflexion mathématique au coeur du gameplay lui-même, en introduisant progressivement les concepts au fil de la progression.

L'univers graphique, coloré et fantaisiste, rappelle un cahier de mathématiques réinventé, tandis que les deux personnages principaux, sympathiques mais peu développés, servent davantage de guides que de héros d'une véritable intrigue. Le scénario reste en effet très léger et clairement secondaire : l'intérêt du jeu réside dans ses puzzles et ses nouvelles mécaniques, non dans sa narration.

Le bilan reste globalement positif malgré quelques réserves. Certaines énigmes manquent parfois de clarté, la dimension plateforme demeure discrète, et le titre peut s'avérer exigeant par moments. Néanmoins, la proposition est jugée suffisamment originale pour mériter l'attention, notamment pour un public en quête d'un jeu qui fait travailler le cerveau sans donner l'impression d'être en cours. Le jeu est par ailleurs également disponible sur PC, ce qui élargit son accessibilité au-delà de la console de Nintendo.

À l'heure où l'Union européenne oblige, depuis le 2 août, les fournisseurs d'intelligence artificielle à rendre leurs contenus identifiables comme tels, et où Anthropic vient d'annoncer l'intégration d'un filigrane invisible dans les textes produits par son modèle Claude, la question du marquage des productions de l'IA revient au premier plan. C'est Scott Aaronson, théoricien de l'informatique et spécialiste de la complexité algorithmique et du calcul quantique, aujourd'hui professeur à l'Université du Texas à Austin, qui est à l'origine de cette idée appliquée aux grands modèles de langage. Il retrace la genèse de cette invention dans un long entretien.

Aaronson rejoint OpenAI à l'été 2022, recruté par Ilya Sutskever et Jan Leike pour réfléchir aux apports de l'informatique théorique à la sécurité de l'IA — une mission qui l'amène à imaginer ce que l'on appelle le « watermarking » textuel. Le principe repose sur une modification infime du mécanisme de génération de mots : en introduisant un signal statistique dans la fonction pseudo-aléatoire cryptographique qui préside au choix des termes, il devient possible non seulement de détecter qu'un texte a été produit par une machine, mais aussi d'identifier quel modèle en est l'auteur, sans que la qualité des réponses en soit altérée.

Cette technique soulève néanmoins plusieurs questions non résolues. Sa robustesse face aux outils conçus pour l'effacer reste incertaine. Certains s'interrogent également sur ses usages réels : le filigrane servirait-il avant tout aux laboratoires eux-mêmes, pour distinguer les textes d'origine humaine des productions algorithmiques lors de l'entraînement de nouveaux modèles, par crainte qu'un entraînement sur des données générées par l'IA n'entraîne une dégradation progressive de la qualité ? Des implications en matière de propriété intellectuelle se posent aussi à l'horizon.

Aaronson évoque par ailleurs le contexte dans lequel cette réflexion a émergé : une campagne de harcèlement subie sur son blog à l'été 2022, où des individus usurpaient l'identité de ses collègues, l'a conduit à développer une vigilance aiguë sur l'authenticité des messages en ligne. Il partage enfin ses inquiétudes sur ce qu'il perçoit comme la fin de la recherche mathématique « dans la forme que nous lui connaissions », à mesure que l'IA s'y impose comme acteur à part entière.

John Pardon, 37 ans, mathématicien américain au Simons Center for Geometry and Physics, est lauréat de la médaille Fields. Il est récompensé non pour la résolution d'un unique problème emblématique, mais pour une succession de percées majeures dans plusieurs domaines de la géométrie et de la topologie, notamment la géométrie symplectique née de la mécanique classique.

Parmi ses contributions marquantes figure un résultat obtenu avec Sheel Ganatra et Vivek Shende : l'introduction des secteurs de Liouville, une nouvelle manière de découper les espaces géométriques complexes sans perdre leurs propriétés essentielles. Cette idée, qui semblait impossible aux yeux de nombreux spécialistes, a débloqué des problèmes résistant depuis des décennies. En géométrie énumérative, Pardon a également proposé une approche révolutionnaire des cycles fondamentaux virtuels, permettant de compter rigoureusement des objets géométriques dans des configurations dégénérées – une simplification conceptuelle majeure dans un domaine devenu d'extrême complexité.

Le talent distinctif de Pardon réside dans sa capacité à identifier le coeur véritable d'un problème plutôt que de le résoudre par des calculs monumentaux. Ses travaux irriguent aujourd'hui les fondements de la mécanique classique et quantique, ainsi que certaines des théories les plus ambitieuses de la physique moderne comme la théorie des cordes.

Le 1er août, OpenAI a annoncé que son modèle Astra avait résolu dix problèmes mathématiques ouverts en géométrie haute dimension, théorie des codes, cryptographie sur réseaux et autres domaines. Chaque preuve a été vérifiée formellement dans Lean, l'assistant de preuve qui en garantit la cohérence logique. Contrairement aux exploits isolés antérieurs, cette série de résultats marque un changement d'échelle : ce ne sont plus des démonstrations de laboratoire, mais des avancées susceptibles de lancer des carrières académiques.

Le choc provient des questions qu'Astra pose à la discipline. Des chercheurs s'inquiètent pour des doctorants dont les sujets de thèse pourraient être résolus avant la soutenance, et redoutent un déplacement des compétences mathématiques vers la vérification plutôt que la création. François Yvon (CNRS, Sorbonne Université) souligne cependant qu'une expertise mathématique solide restera nécessaire pour poser les bonnes questions, comprendre les résultats et juger leur portée.

La communauté mathématique s'organise face à ces enjeux. La Déclaration de Leiden (juin 2024), soutenue par l'Union mathématique internationale, appelle à la transparence, à l'attribution honnête et à la vérification indépendante. Mais le débat reste ouvert : si la transparence et l'accès public (OpenAI offre ses meilleurs modèles à 100 000 scientifiques) sont des progrès, ils concentrent aussi le pouvoir scientifique entre les mains d'acteurs privés.