Contexte du préprint OpenAI

Le 8 octobre 2026, OpenAI a diffusé un préprint affirmant que le Principe de partition (PP) n’implique pas l'Axiome du choix (AC). Le PP, problème de logique combinatoire datant de plus d’un siècle, est considéré comme l’un des points ouverts majeurs de la théorie des ensembles. Le document, rédigé en anglais, comporte un texte très volumineux accompagné d’un dépôt Lean dont la taille est décrite comme « énorme ». L’auteur du billet, Asaf Karagila, souligne que le texte inclut plusieurs lemmes numérotés 7.4 et 8.1, des références à des notes de cours non publiées (dont une de son propre travail) et des citations d’articles non référencés sur arXiv.

Analyse du contenu technique

Karagila indique que la structure du préprint est « confuse » et que la terminologie employée diffère de l’usage habituel en théorie des ensembles. Les lemmes 7.4 et 8.1, selon lui, ne correspondent à aucune étape attendue d’une démonstration du PP, ce qui rend difficile l’identification du fil conducteur. De plus, la bibliographie s’appuie sur trois documents de cours non évalués, ce qui affaiblit la crédibilité scientifique du travail. L’absence de références à des publications revues par les pairs empêche de vérifier la solidité des arguments avancés.

Implications pour la communauté mathématique

Le préprint suscite une réaction immédiate : plusieurs chercheurs demandent des clarifications, et le blog de Karagila signale une hausse du nombre de demandes d’information au cours de la même journée. Il compare la situation à un « refus de bureau » potentiel si le texte était soumis à une revue traditionnelle, en raison de son manque de lisibilité et de rigueur. L’auteur met en garde contre le risque d’une surcharge de travail pour les mathématiciens, qui devraient analyser des centaines de « solutions » peu claires, au détriment de leurs propres projets de recherche.

Réflexions sur l’usage de l’IA en recherche

Au-delà du contenu du préprint, Karagila évoque les changements induits par les outils d’IA dans la pratique scientifique. Il cite l’introduction d’une limitation de débit (rate limiting) par arXiv, mise en place en réponse à la prolifération de travaux générés par IA. Il propose que chaque article indique explicitement l’implication de l’IA, que ce soit pour signaler son absence ou pour fournir les logs de conversation. Cette exigence viserait à préserver la transparence et à permettre aux évaluateurs de juger de la contribution réelle des auteurs. Enfin, il critique la posture d’OpenAI qui, selon lui, impose ses standards de communication aux mathématiciens plutôt que d’adapter ses outils aux exigences de la discipline.