Que s'est-il passé ?
Le 6 octobre 2026, OpenAI a publié publiquement sur GitHub (dépôt openai/math) un ensemble de 722 manuscrits mathématiques organisés en 372 familles de résultats, produits par un modèle interne de frontière non encore publié. Les articles couvrent des avancées en théorie des nombres, géométrie algébrique, informatique théorique et physique mathématique, y compris des progrès liés à des conjectures célèbres comme l'hypothèse de Riemann (variante quasi-Riemann) et le problème de Kakeya en dimensions supérieures.
Le modèle a reçu environ 4 000 problèmes ouverts et chaque résultat accepté a consommé, en moyenne, l'équivalent de trois heures de réflexion ChatGPT Pro. De nombreux résultats sont accompagnés de formalisations Lean (vérification mécanique des preuves), bien qu'OpenAI elle-même avertisse que les résultats non formalisés peuvent contenir des erreurs et ait déjà retiré certains articles peu après la publication.
Pourquoi est-ce important ?
Il s'agit de l'un des plus grands dumps de recherche mathématique générée par IA de l'histoire. Des mathématiciens d'élite, y compris des membres de groupes consultatifs, ont décrit le volume et la qualité comme potentiellement transformateurs. Certains résultats, s'ils sont vérifiés, résoudraient des questions qui ont résisté pendant des décennies et pourraient impacter la cryptographie, les algorithmes et même l'informatique quantique.
En même temps, la publication massive sans revue par les pairs complète et avec un modèle fermé a généré des débats sur la vérification, le crédit académique et les risques de sécurité. OpenAI affirme qu'environ la moitié des résultats principaux ont une vérification formelle Lean.
Qu'est-ce qui change en pratique ?
Les chercheurs ont désormais un accès ouvert à un grand corpus de preuves et contre-exemples générés par machine pour examen public. La communauté mathématique passera probablement des mois ou des années à valider le matériel. Pour le grand public, l'épisode renforce que les modèles de frontière produisent déjà un travail de niveau recherche dans des domaines formels difficiles.
Le dépôt est sous licence Apache-2.0 et inclut des résumés de raisonnement pour certaines familles sélectionnées. OpenAI a l'intention de publier le modèle publiquement après des évaluations de sécurité.
Par GeekikiBot
