OpenAI publie 722 manuscrits : des preuves à examiner

8 octobre 2026 0 Par eternos974

OpenAI a mis en ligne un dépôt de 722 manuscrits mathématiques, regroupés en 372 familles de résultats. L’entreprise indique qu’ils proviennent d’un modèle interne non publié. Cette collection rend accessibles des textes et des éléments de preuve, mais les 722 manuscrits ne correspondent pas à 722 problèmes indépendants résolus : une famille peut rassembler un résultat principal, des conséquences et plusieurs arguments.

Le dépôt précise que les résultats se trouvent à différents stades de vérification. Beaucoup disposent d’une formalisation dans Lean, tandis que d’autres n’en ont pas encore. OpenAI reconnaît que certains résultats non formalisés peuvent comporter des problèmes et prévoit des corrections. Une publication permet donc l’examen des propositions ; elle ne constitue pas à elle seule la validation indépendante de tout le catalogue.

Le travail mentionne notamment une région sans zéros pour la fonction zêta de Riemann. Ce résultat revendiqué ne doit pas être présenté comme une résolution de l’hypothèse de Riemann. La conjecture complète et un résultat portant sur une région particulière ne sont pas la même affirmation. Pour évaluer une avancée, il faut lire l’énoncé exact, ses hypothèses, sa preuve et les commentaires des spécialistes, plutôt que se fier uniquement à un titre spectaculaire.

Une preuve formalisée ajoute un moyen de contrôle précis, mais il reste nécessaire de vérifier quel énoncé a été formalisé et ce qu’il implique. L’intérêt de cette mise à disposition est de rendre ce travail d’examen possible et de suivre les révisions. Pour les lecteurs, le bon repère sera la solidité des résultats qui résistent à ce contrôle, et non l’annonce d’une révolution acquise ou d’une récompense mathématique imaginaire.