Dix résultats mathématiques ouverts attribués à un modèle d’OpenAI

Le fait — OpenAI a publié le 1er août 2026 un billet listant dix résultats en mathématiques et informatique théorique. L’entreprise dit qu’un modèle non publié a contribué à des avancées sur des problèmes ouverts depuis au moins dix ans. Le billet cite aussi un désaccord antérieur avec la conjecture des distances unitaires d’Erdős. Les domaines cités incluent les codes correcteurs, la complexité des circuits, les groupes non sofiques et la cryptographie sur réseaux.

Le contexte — Les mathématiques servent souvent de test exigeant pour le raisonnement abstrait. Elles limitent les effets de style qui brouillent certains benchmarks généraux. Depuis 2024, plusieurs laboratoires présentent la preuve formelle, la résolution de problèmes et la recherche assistée comme des indicateurs de progrès vers des systèmes plus généraux. OpenAI place ici ses modèles sur un terrain où les résultats peuvent, en principe, être vérifiés par des spécialistes.

L’analyse — Si ces résultats sont confirmés par la communauté, ils suggèrent une progression au-delà de l’imitation textuelle. Ils pointeraient vers une capacité à explorer des espaces conceptuels peu balisés. Cela ne démontre pas une AGI, car la généralité, l’autonomie et la robustesse hors domaine restent séparées. La question reste aussi celle de l’attribution exacte entre génération du modèle, sélection humaine et validation mathématique.