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.

Une réunion à huis clos entre une quarantaine de mathématiciens de haut niveau et les équipes d'OpenAI a récemment mis en lumière les inquiétudes croissantes de la communauté scientifique face aux avancées de l'intelligence artificielle dans le domaine des mathématiques. Ces craintes sont alimentées par une série de résultats spectaculaires : en mai 2026, un modèle d'IA a réfuté la conjecture des distances unitaires, un problème ouvert depuis plus de quatre-vingts ans lié aux travaux de Paul Erdos ; en juillet, le modèle Claude Fable 5 d'Anthropic a trouvé un contre-exemple à la conjecture jacobienne, formulée en 1939 ; plus récemment encore, le modèle Astra d'OpenAI a annoncé dix avancées en mathématiques et en informatique théorique, dont la résolution d'un problème de théorie des groupes portant sur l'existence de groupes non sofiques.

Face à ces performances, les avis des spécialistes divergent. D'un côté, l'enthousiasme : ces outils pourraient permettre de résoudre en quelques jours des conjectures qui auraient autrement mobilisé des années de travail humain. De l'autre, l'anxiété : certains chercheurs redoutent que la recherche mathématique pilotée par des humains ne devienne obsolète. Pourtant, plusieurs experts tempèrent ce pessimisme en soulignant les limites actuelles de l'IA. Les percées réalisées relèvent essentiellement de deux types : la découverte de contre-exemples grâce à une recherche computationnelle intensive, et l'application inattendue de techniques connues à des problèmes existants. Ce que l'IA ne sait pas encore faire, selon un professeur de mathématiques de l'Université de Toronto, c'est construire un cadre conceptuel véritablement nouveau — une théorie originale pensée de zéro.

Le mathématicien britannique Henry Bradford, chercheur à Cambridge, rappelle à ce sujet la réflexion du grand géomètre américain Bill Thurston : ce que les mathématiciens recherchent vraiment, ce n'est pas une liste de résultats, mais une compréhension profonde, vivant dans des cerveaux humains. Si l'IA venait à surpasser l'humain dans tous les aspects de la pensée mathématique, la question de la valeur sociale de la recherche menée par des personnes physiques deviendrait alors cruciale.

Paradoxalement, l'engouement pour les mathématiques ne faiblit pas : au Royaume-Uni, les inscriptions en A-level de mathématiques ont progressé de 3,9 % en 2026, et les candidatures universitaires en sciences mathématiques ont bondi de 11 %. La médaille Fields Terence Tao mène d'ailleurs des projets collaboratifs associant IA et mathématiciens de tous niveaux. Si l'optimisme reste de mise, il doit s'accompagner d'un débat collectif sur l'avenir de la discipline — débat auquel la prochaine génération d'étudiants devra pleinement participer.

En août, à l'initiative de Sébastien Bubeck (OpenAI) et du médaillé Fields Jacob Tsimerman, environ 40 chercheurs se sont rassemblés pour discuter des enjeux posés par l'intelligence artificielle en mathématiques. Cette réunion survient après plusieurs résultats remarquables : une IA a résolu la Conjecture de la Distance Unitaire (restée ouverte 80 ans), OpenAI a annoncé dix nouvelles découvertes en mathématiques, et Claude a progressé sur l'Hypothèse de Riemann. Des mathématiciens comme Daniel Litt (Toronto) expriment l'inquiétude que la recherche de haut niveau disparaisse à mesure que les machines la supplantent.

Cependant, un débat profond émerge : les preuves produites par l'IA constituent-elles vraiment des avancées mathématiques ? Bryna Kra (Northwestern) et d'autres soulignent que les modèles actuels expliquent mal leurs résultats, passant trop rapidement sur les points difficiles. Melanie Matchett Wood (Harvard) a dû réécrire manuellement la preuve de l'IA pour la rendre compréhensible. Andreas Thom note que les véritables innovations conceptuelles émergent seulement lorsque des humains participent au processus. Cette tension — entre capacité calculatoire et compréhension profonde — structure désormais le débat mathématique autour de l'IA.

Le ministère de l'Éducation nationale a rendu public le calendrier des examens de la session 2027, couvrant le baccalauréat général, technologique et professionnel, le diplôme national du brevet (DNB) et le certificat d'aptitude professionnelle (CAP). Une nouveauté structurelle marque cette édition : toutes les épreuves écrites et orales sont désormais programmées exclusivement en matinée, en réponse aux épisodes de chaleur intense qu'avait connus la session de juin 2026, afin d'offrir aux candidats des conditions de passage plus sereines.

Pour les élèves de troisième, les épreuves du brevet se dérouleront sur trois jours consécutifs à la fin du mois de juin. Le jeudi 24 juin, la matinée sera consacrée au français, en deux temps : d'abord grammaire, compréhension et dictée de 8 h à 9 h 30, puis rédaction de 9 h 45 à 11 h 15. Le lendemain, vendredi 25 juin, les candidats composeront en histoire-géographie et enseignement moral et civique pendant deux heures. Le lundi 28 juin sera dédié aux sciences de 8 h à 9 h — l'épreuve portant sur deux des trois disciplines que sont la physique-chimie, les SVT et la technologie —, suivies des mathématiques de 10 h à 12 h. Les candidats individuels passeront en outre une épreuve de langue vivante étrangère le mardi 29 juin. Une session de remplacement est prévue les 9 et 10 septembre 2027.

Du côté du baccalauréat général et technologique, la semaine décisive s'ouvre le lundi 14 juin 2027 avec la philosophie, suivie des épreuves de spécialités les mercredi 16, jeudi 17 et vendredi 18 juin. Les oraux du Grand oral sont quant à eux fixés entre le 21 juin et le 2 juillet, selon les académies. Les élèves de première, eux, passeront l'épreuve anticipée écrite de français dès le mardi 15 juin et celle de mathématiques le lundi 21 juin. Le baccalauréat professionnel débute pour sa part début juin, avec notamment des épreuves de langues vivantes le 3 juin, de français le 8 juin et d'histoire-géographie le 9 juin pour le brevet des métiers d'art.

Ce calendrier anticipé et réorganisé entend tirer les enseignements concrets des difficultés climatiques récentes, tout en préservant l'équité entre les candidats des différentes zones géographiques, les territoires d'outre-mer disposant d'horaires adaptés à leur fuseau horaire local.

Développé par le studio indépendant Souris-Lab, Néro & Sci ? Integral Edition est un jeu vidéo éducatif disponible sur Nintendo Switch — et également sur PC — qui tente le pari ambitieux de réconcilier les joueurs avec les mathématiques, sans jamais donner l'impression d'assister à un cours. Le titre prend la forme d'un puzzle-platformer en 2D : le joueur incarne Néro, un jeune extraterrestre curieux qui, à la suite d'une maladresse dans une bibliothèque, libère accidentellement une multitude de connaissances scientifiques dispersées dans son monde. Accompagné de Sci, son fidèle compagnon, il doit alors parcourir 36 niveaux répartis en quatre mondes distincts pour remettre de l'ordre dans ce chaos intellectuel.

L'originalité du jeu réside dans sa manière d'intégrer la logique mathématique directement aux mécaniques de jeu, plutôt que de se contenter de soumettre des exercices sur une feuille virtuelle. La progression est pensée pour introduire graduellement de nouveaux concepts, invitant le joueur à réfléchir sans que l'expérience ne ressemble à une séance de travail scolaire. L'univers visuel, coloré et fantaisiste, évoque selon un critique l'atmosphère d'un cahier de mathématiques revisité de manière très décalée.

Le scénario reste volontairement discret : les deux personnages servent avant tout de guides pour faire découvrir les mécaniques, et l'aventure n'ambitionne pas de rivaliser avec les grandes productions narratives du moment. Le véritable fil conducteur du jeu, c'est la résolution d'énigmes. L'expérience n'est cependant pas sans défauts : certaines énigmes manqueraient parfois de clarté dans leur formulation, la dimension plateforme demeure assez légère, et l'ensemble peut s'avérer exigeant par moments. Ces réserves mises à part, le titre est salué pour son originalité et sa capacité à stimuler la réflexion de manière ludique, à l'image de ce que firent en leur temps les jeux éducatifs emblématiques de l'enfance pour de nombreux joueurs. Néro & Sci ? Integral Edition s'adresse ainsi à un public curieux, que ce soit des enfants souhaitant apprivoiser les mathématiques ou des adultes désireux de solliciter leurs neurones sous un angle inhabituel.

Scott Aaronson, théoricien de l'informatique et spécialiste de la complexité algorithmique et du calcul quantique, ancien professeur au MIT et aujourd'hui enseignant à l'Université du Texas à Austin, se retrouve au coeur d'un débat qui prend une nouvelle ampleur réglementaire. Depuis le 2 août, l'AI Act européen contraint les fournisseurs d'intelligence artificielle à rendre détectables les contenus générés ou manipulés par leurs modèles. Dans ce contexte, Anthropic a annoncé l'intégration d'un filigrane numérique invisible dans les textes produits par Claude, son assistant conversationnel, ravivant une série de questions techniques et éthiques sur lesquelles Aaronson travaille depuis plusieurs années.

C'est à l'été 2022, peu après son recrutement chez OpenAI par Ilya Sutskever et Jan Leike — alors responsables de la recherche sur l'alignement —, qu'Aaronson dit avoir été le premier à concevoir spécifiquement le principe du tatouage numérique appliqué aux grands modèles de langage. L'idée repose sur une modification imperceptible du processus de génération textuelle : une signature statistique est discrètement encodée dans la fonction pseudo-aléatoire cryptographique qui régit le choix des mots. Le résultat produit est indiscernable d'un texte ordinaire du modèle, mais il devient possible d'identifier non seulement qu'un texte est d'origine artificielle, mais aussi quel modèle précis l'a généré.

Cette technique soulève pourtant plusieurs interrogations. Sa robustesse face aux outils cherchant à effacer ces marqueurs reste incertaine. Certains se demandent si elle ne servirait pas surtout aux laboratoires pour filtrer leurs données d'entraînement, afin d'éviter d'alimenter leurs modèles avec du contenu généré par IA — pratique soupçonnée de dégrader la qualité et la fiabilité des systèmes. Des questions de propriété intellectuelle pourraient également surgir à mesure que le procédé se répand.

Au-delà de la technique, Aaronson évoque le contexte intellectuel de ses années chez OpenAI, marquées par une approche encore largement empirique de la sécurité de l'IA, et par la constitution de ce qu'il appelle des « constitutions » : des ensembles explicites de valeurs destinés à guider le comportement des modèles. Il confie avoir été personnellement ébranlé par une campagne de harcèlement en ligne qui l'a rendu durablement méfiant quant à l'authenticité des identités numériques. Lauréat de l'ACM Prize in Computing en 2020 et élu à la National Academy of Sciences en 2026, il exprime par ailleurs une inquiétude profonde sur ce qui lui apparaît comme la fin de la recherche mathématique telle qu'elle a été pratiquée jusqu'ici.

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.