OpenAI : l'IA résout plus de 300 problèmes mathématiques

OpenAI a rendu public le 6 octobre un ensemble de résultats de recherche mathématique générés par ses modèles internes de pointe. Son dépôt GitHub contient 722 manuscrits, regroupés en 372 familles de résultats, couvrant les conclusions principales, les raisonnements associés, les corollaires et les preuves alternatives. OpenAI affirme que ces résultats portent sur plusieurs centaines de problèmes ouverts, mais souligne que leur degré de vérification est inégal, et que certains résultats non formalisés en Lean pourraient encore comporter des erreurs. Cette publication intervient environ un mois après qu'OpenAI a annoncé avoir résolu le problème du prix du millénaire de Navier–Stokes. Toutefois, cette conclusion doit toujours être présentée comme une solution proposée par OpenAI, et non comme un résultat final officiellement reconnu par la communauté mathématique ou le Clay Mathematics Institute. OpenAI a également rendu publics certaines preuves Lean, les résumés de raisonnement de 10 résultats ainsi que des statistiques de calcul, et a indiqué qu'elle continuerait à compléter la vérification formelle. Ces matériaux fournissent une base pour un examen indépendant par la communauté mathématique, mais ne suffisent pas à prouver que tous les résultats sont corrects, et ne divulguent ni l'architecture spécifique des modèles internes, ni les données d'entraînement, ni le processus de raisonnement complet. Leur valeur académique devra encore passer par un examen par les pairs à long terme.