OpenAI publie 372 résultats mathématiques issus d’un modèle d’IA non commercialisé, et des mathématiciens demandent des preuves de leur obtention
OpenAI a publié des centaines de solutions ou d’avancées revendiquées sur des problèmes ouverts en mathématiques et en informatique théorique, dont beaucoup avec des démonstrations vérifiées par ordinateur. Le modèle qui les a produites n’est pas public, et les résultats n’ont pas été évalués par des pairs.
Ce qui s’est passé : OpenAI a publié mardi 372 résultats produits par un modèle interne « de pointe », en les mettant en ligne dans un dépôt GitHub plutôt que dans des revues académiques, a indiqué l’entreprise. Chaque résultat résout ou fait substantiellement progresser une question ouverte en mathématiques ou en informatique théorique, selon OpenAI, a rapporté Scientific American. Parmi les affirmations : une solution à la conjecture de Kakeya en dimension quatre, des améliorations d’algorithmes informatiques importants et des progrès liés à l’hypothèse de Riemann.
Comment elle dit s’y être prise : Un porte-parole d’OpenAI a déclaré à Scientific American que presque chaque résultat provenait d’une seule instruction donnée à un seul agent d’IA, même si certains ont nécessité plusieurs tentatives. OpenAI affirme que le résultat moyen a utilisé une puissance de calcul équivalant à environ trois heures de « réflexion » de ChatGPT Pro. Cela contraste avec le précédent résultat de l’entreprise sur Navier-Stokes, qui avait mobilisé un essaim de 10 000 agents et des millions de dollars de calcul, a rapporté The Decoder.
Comment vérifier : Beaucoup de démonstrations sont accompagnées de versions écrites en Lean, un langage de programmation qui permet à un ordinateur de vérifier chaque étape logique, a indiqué OpenAI. Une vérification en Lean montre qu’une démonstration est logiquement valide ; elle ne montre pas si un résultat est nouveau ou important. OpenAI a aussi publié 10 résumés du raisonnement du modèle et des statistiques sur le nombre de problèmes tentés, mais pas les instructions ni la puissance de calcul par problème.
Les réserves : Un groupe consultatif indépendant de mathématiciens de l’Institute for Advanced Study, consulté par OpenAI, a recommandé que les entreprises publient le modèle, l’instruction exacte et le temps de calcul derrière chaque résultat, a rapporté Scientific American. OpenAI a dit prendre ces lignes directrices au sérieux sans y être tenue. « Nous devrions exiger des justificatifs », a déclaré le mathématicien du MIT Andrew Sutherland. Le mathématicien de l’université de Toronto Daniel Litt a estimé que la publication des résultats « va être une bonne chose pour les mathématiques ».
La suite : OpenAI dit travailler à une mise à disposition « responsable » du modèle et financera des ateliers et des conférences pour comprendre les résultats produits par l’IA. Les mathématiciens devraient avoir besoin de plusieurs mois pour examiner l’ensemble.