Des manuscrits de maths rédigés par une IA bousculent la place des chercheurs

Une machine peut désormais aligner des démonstrations plus vite que les mathématiciens ne les lisent, et c’est la fonction même du chercheur qui se retrouve en discussion. Le débat est relaté par Webmanagercenter, à propos d’une publication d’OpenAI.

Une moisson de manuscrits, mais pas autant de problèmes clos

Le 6 octobre 2026, OpenAI a rendu publique une vaste collection de travaux mathématiques produits par l’un de ses modèles d’intelligence artificielle. Ces textes s’organisent autour de 372 familles de résultats. Ils touchent notamment à des problèmes qui restaient ouverts depuis longtemps, ce qui explique l’intérêt scientifique suscité par l’annonce, mais aussi les inquiétudes d’ordre professionnel.

Il faut pourtant lire ce chiffre avec précision : il désigne des ensembles de résultats, et non 372 questions définitivement tranchées. Certaines démonstrations existent en version formalisée, ce qui autorise un contrôle par ordinateur. D’autres conclusions demandent encore un examen approfondi de la part de spécialistes. La portée réelle de la collection dépend donc d’un travail de vérification qui se poursuit.

Dans un article daté du 17 octobre 2026, Webmanagercenter décrit la mise en ligne de centaines de travaux générés par IA comme une onde de choc dans la recherche. Au-delà des performances affichées, c’est le devenir de la profession de chercheur qui alimente les questionnements.

L’inquiétude de deux chercheurs

Le 9 octobre, le Club de Mediapart a accueilli une tribune d’Ahmed Abbes, directeur de recherche au CNRS, et de Haynes Miller, professeur émérite au MIT. Les deux auteurs assimilent l’irruption massive de l’IA à l’occupation d’un territoire par une puissance étrangère.

Leur crainte s’articule autour de plusieurs points : le sort réservé aux chercheurs humains, la manière dont les connaissances sont fabriquées, et le fait que les ressources technologiques se retrouvent aux mains de grands groupes. Ils ne se limitent donc pas aux performances techniques et visent l’organisation de la recherche elle-même.

Pour certains mathématiciens, le trouble déborde largement le cadre des capacités techniques des modèles. Il touche à la fonction même du chercheur dans une discipline où des machines livrent désormais en grand nombre des textes que des humains doivent encore lire, contrôler et situer par rapport aux connaissances déjà établies.

Ce qui reste du côté des humains

Pour l’article de Webmanagercenter, obtenir un résultat ne résume pas l’activité scientifique. Elle comprend aussi plusieurs gestes que la rapidité d’une machine ne remplace pas :

• contrôler un raisonnement ;
• en saisir les conséquences ;
• passer le savoir à d’autres ;
• poser des questions inédites.

La vitesse de production, ajoute le texte, ne garantit ni une compréhension partagée par la communauté ni l’intégration durable d’un résultat dans l’ensemble des connaissances établies. C’est là que se situe la controverse : quelle valeur donner à la recherche humaine quand des systèmes automatisés livrent vite des démonstrations complexes ?

Le 15 octobre, OpenAI a annoncé verser 5 millions de dollars à un programme de la Simons Foundation. Celui-ci doit épauler les mathématiciens chargés d’étudier et de prolonger les travaux issus de l’IA.

1. 6 octobre OpenAI publie les manuscrits mathématiques.
2. 9 octobre Ahmed Abbes et Haynes Miller font paraître leur tribune.
3. 15 octobre OpenAI annonce son financement à la Simons Foundation.

Cette réponse met en avant une tâche devenue centrale : organiser la coopération entre chercheurs et systèmes automatisés tout en préservant l’indépendance de la science. L’interrogation porte désormais moins sur ce que l’IA peut démontrer que sur la place que les chercheurs garderont dans la construction et la compréhension du savoir.

Photo : Monstera Production / Pexels