OpenAI a publié des résultats sur 377 problèmes de mathématiques couvrant l'algèbre, la théorie des nombres, l'informatique théorique, la logique mathématique et la topologie, suite à sa revendication précédente de résoudre l'équation de Navier-Stokes, un Problème de Millénaire doté d'un prix d'un million de dollars. Les résultats ont utilisé un modèle IA avancé non publié et ont été examinés à l'aide du système de vérification Lean, avec un temps de calcul moyen d'environ trois heures par solution. OpenAI a déclaré avoir incorporé des commentaires d'un conseil consultatif indépendant hébergé par l'Institut für Advanced Study à Princeton, N.
J., qui inclut le mathématicien Harvard Melanie Wood. Le conseil a appelé à la transparence, demandant la libération de prompts IA et de chaînes de pensée, et a critiqué les entreprises d'IA pour tester des modèles propriétaires sur des problèmes non résolus. Malgré cela, OpenAI continue ses tests internes, le chef de recherche Dan Roberts affirmant qu'il aide à construire de meilleurs outils.
Le mathématicien de NYU Tristan Buckmaster a mis en garde contre le fait que l'IA pourrait être en train de terminer des preuves en utilisant le travail antérieur des mathématiciens, soulevant des inquiétudes concernant le crédit et l'originalité dans la découverte assistée par IA.
Source: New York Times Top Stories · Résumé par HeadlinesBriefing