OpenAI déchaîne des centaines d'autres résultats mathématiques sur un domaine déjà sous le choc

Les vannes sont ouvertes. Juste après que le nouveau grand modèle de langage d'OpenAI a produit la plus grande percée mathématique en deux décennies, l'entreprise vient de publier des centaines de résultats supplémentaires provenant du même modèle. Chacun résout ou réalise des progrès substantiels sur une question ouverte majeure en mathématiques ou en informatique théorique, déclare l'entreprise.

L'entreprise a révélé les résultats dans un répertoire GitHub à 18h00 EDT. Ce déluge prendra des mois aux mathématiciens pour être analysé et compris — y compris pour déterminer si les preuves contiennent des idées novatrices et importantes ou s'il s'agit principalement de mélanges de techniques existantes. Mais beaucoup de ces résultats ont déjà été vérifiés dans Lean — un langage de programmation qui valide la logique d'une preuve — et sont donc pratiquement certains d'être corrects.

Un porte-parole d'OpenAI a déclaré à Scientific American que le nouveau modèle — que l'entreprise n'a pas rendu public — a produit presque chacun des résultats en réponse à une instruction unique donnée à un seul agent d'IA. Ce serait une différence frappante par rapport à la précédente solution sensationnelle d'OpenAI au problème de Navier-Stokes, qui avait été produite par les efforts collectifs d'un essaim de 10,000 agents ayant coûté des millions de dollars en puissance de calcul. Si c'est vrai, cela signifierait qu'une puissance mathématique sans précédent pourrait bientôt être accessible à n'importe qui. Mais la réputation d'OpenAI auprès des mathématiciens pour ses affirmations audacieuses et son manque de transparence suscite un scepticisme considérable.