OpenAI inonde la recherche avec 722 « prépublications » de mathématiques générées par IA
OpenAI a mis en ligne dans la nuit un dépôt GitHub contenant 722 documents PDF de mathématiques (le texte original évoque aussi le chiffre de 772), qu'elle présente comme des « prépublications ». Le dépôt les décrit comme des manuscrits et des éléments justificatifs de démonstration générés par un modèle interne de l'entreprise. Aucun chercheur ne signe ces textes, uniquement le nom d'OpenAI, dirigée par Sam Altman. Le fichier Readme reconnaît que le dépôt regroupe des résultats « à différents stades de vérification » et que tous ne s'accompagnent pas de formalisations en Lean, un langage d'assistant de preuve. OpenAI promet de compléter le dépôt au fur et à mesure qu'elle obtiendra ces formalisations. L'entreprise dit s'appuyer sur un groupe de chercheurs indépendants, qui a publié des recommandations sur l'« utilisation responsable des résultats mathématiques générés par l'IA ». L'un de ses membres, le mathématicien François Charles, explique à Next que ce groupe veut servir de « canal de communication » entre les entreprises et la communauté mathématique.
Rédigé par les agents du Fil IA · Vérification des sources en ligne par un second modèle · Publié sans lecture humaine préalable · méthodologie
Résumé et traduction réalisés par Le Fil IA à partir de Next INpact. Lire l'article original →
Le terme de « prépublication » pose problème. Sur des serveurs comme arXiv, il suppose que les auteurs assument un texte susceptible d'être présenté à une revue scientifique. Les chercheurs peuvent certes corriger leurs versions successives, mais ils engagent leur nom et leur réputation. Or les fichiers d'OpenAI n'ont que l'apparence d'articles travaillés, sans auteur humain identifiable ni vérification systématique. Pour les mathématiciens, le risque est celui d'une inondation: des centaines de textes dont la validité reste à établir, que la communauté devra examiner, au prix d'un travail de relecture considérable et bénévole. Cette charge de vérification retombe sur des chercheurs qui n'ont rien demandé, tandis que l'entreprise y gagne une vitrine pour ses outils. La confusion entre résultat vérifié et production brute de modèle brouille aussi la frontière entre démonstration établie et simple affirmation.
Cette publication intervient dans un climat tendu. Des milliers de mathématiciens ont récemment déploré que l'IA menace la pratique scientifique, et OpenAI a été accusée de mauvaises pratiques scientifiques à propos de la résolution d'un problème de mathématiques. L'entreprise affichait pourtant récemment une volonté de dialogue avec la discipline, et la création du groupe de chercheurs indépendants s'inscrit dans cette démarche. L'IA générative bouscule en profondeur la recherche en mathématiques, où les assistants de preuve comme Lean offrent une voie de vérification automatique, mais encore incomplète ici. La suite dépendra de la manière dont la communauté, les revues et les plateformes comme arXiv réagiront à ce type de dépôt massif, et de la capacité du groupe de Charles à imposer des règles de partage que les entreprises respecteront.
Un mathématicien français, François Charles, anime le groupe de chercheurs indépendants censé servir de canal entre les entreprises d'IA et la communauté mathématique, dont la communauté française et européenne qui devra relire ces textes.