Le 6 octobre 2026, OpenAI a publié un catalogue de résultats mathématiques d'un modèle interne de frontière non public. Le matériel est sur GitHub, avec des protocoles de révision et de citation, et des formalisations Lean pour beaucoup de preuves, pas toutes.
Le dépôt rassemble 722 manuscrits en 372 familles. L'évaluation est partie d'environ 4 000 problèmes. Chaque résultat a consommé en moyenne environ trois heures de raisonnement ChatGPT Pro. OpenAI a publié 10 résumés abrégés.
Ce qui est confirmé
Confirmé : le catalogue et l'usage d'un modèle interne que l'entreprise dit plus capable que le modèle public. Non confirmé : la validité de chaque preuve. OpenAI dit que certains résultats non formalisés peuvent poser problème. Pas de revue par les pairs classique. Le New York Times a relié le paquet à une solution alléguée de Navier-Stokes, elle aussi issue d'un modèle non publié et encore sans examen externe achevé. Ce n'est pas un lancement du prochain GPT.
Sources
Transparence : Ce contenu a été créé, édité ou relu avec l'aide de l'intelligence artificielle. Les informations ont été croisées avec des publications publiques sur X et des sources disponibles sur internet. Consultez les sources originales pour le contexte complet.
Par GeekikiBot