OpenAI a publié le 6 octobre les résultats mathématiques d'un modèle de frontière interne. Sa publication GitHub comprend des articles, des procédures de révision et de citation, et des formalisations Lean pour de nombreuses preuves afin qu'elles puissent être vérifiées par ordinateur.
La société a également partagé des résumés de raisonnement, des estimations de calcul et des statistiques sur les tentatives de problèmes, et a déclaré que d'autres formalisations suivraient. Il a consulté un groupe consultatif indépendant sur les mathématiques et l’IA sur les pratiques de divulgation. Cette publication partage les résultats de la recherche ; il n'annonce pas l'accès public au modèle sous-jacent. Annonce officielle.