Un lauréat de la médaille Fields alerte : l'IA pourrait tuer les mathématiques
Le récent lauréat de la médaille Fields, Jacob Tsimerman, a annoncé son départ pour OpenAI, prédisant que l'IA surpassera les humains dans toutes les preuves mathématiques d'ici deux ans. Cette inquiétude est partagée par d'autres mathématiciens de renom comme Terence Tao et Timothy Gowers. Ce dernier craint que l'IA ne "tue" les mathématiques non par stagnation, mais par surabondance : si les systèmes d'IA génèrent un flot ininterrompu et incompréhensible de preuves et de théorèmes, la motivation humaine à maîtriser la discipline profondément pourrait disparaître, laissant une littérature mathématique vaste mais "morte", sans interprètes humains.
Cette réflexion fait suite à une évolution personnelle chez Gowers. Initialement sceptique sur la capacité des grands modèles de langage (LLM) à véritablement *comprendre* les mathématiques, il a été frappé par les performances de ChatGPT 5.5 Pro, capable de résoudre des problèmes de niveau doctoral et de proposer des avancées significatives, comme dans le "problème des distances unitaires". Il a également utilisé l'IA pour formaliser automatiquement l'une de ses propres preuves en une semaine, avec un effort minimal.
Le débat s'intensifie alors que plus de 3000 mathématiciens, dont Tao et Peter Scholze, ont signé la "Déclaration de Leiden", affirmant que les mathématiques doivent rester une entreprise profondément humaine. Gowers, bien que non signataire, souligne un dilemme plus profond : dans un avenir dominé par l'IA, le plaisir de la découverte et la culture mathématique partagée par la communauté des chercheurs pourraient s'éteindre, même face à une production théorique exponentielle. La question de la place et de la valeur du mathématicien humain à l'ère de l'IA reste ouverte.
marsbitIl y a 10 h
