OpenAI publie des manuscrits mathématiques dont la portée reste à évaluer

OpenAI annonce la publication de nouveaux résultats sur des problèmes ouverts en mathématiques, issus d’un modèle avancé interne, ainsi que le partage de preuves formalisées en Lean et de détails de recherche sur GitHub. The Verge décrit un ensemble de 722 manuscrits, regroupés en 372 familles de résultats, produits par un modèle non publié. Selon AGMAI, le groupe consultatif indépendant constitué pour accompagner leur communication, cet ensemble comprend des solutions à des centaines de questions ouvertes.

Cette appréciation reste attribuée au groupe. Le volume annoncé ne suffit pas à établir la validité de chaque démonstration ni à mesurer l’importance de chaque résultat. The Verge souligne que la communauté mathématique doit encore examiner et assimiler les travaux.

AGMAI avait publié ses premières recommandations fin septembre, demandant une diffusion rapide et, lorsque possible, par les canaux universitaires établis. Le groupe réclame aussi des informations sur le modèle, les instructions utilisées et les coûts de calcul. Il déconseille de transformer ces publications en supports promotionnels.

OpenAI indique utiliser un dépôt GitHub, avec des procédures de révision des articles et de citation. Selon The Verge, les documents comprennent notamment des résumés du raisonnement du modèle, des estimations de calcul et des statistiques sur les problèmes tentés. L’enjeu est désormais de distinguer les solutions revendiquées, leur vérification et leur contribution scientifique. Les informations diffusées peuvent faciliter cet examen, sans en remplacer les conclusions.