Image symboliqueDes mathématiciens s'interrogent sur la vérification après la publication par OpenAI de centaines de résultats revendiqués
OpenAI a publié mardi une vaste collection de résultats mathématiques générés par IA. Les mathématiciens sont impressionnés, mais doutent de la manière dont ils ont été vérifiés.
OpenAI a mis les résultats en ligne sur GitHub avec un billet de blog mardi 6 octobre. La FAZ compte plus de 700 contributions contenant des solutions, des preuves ou des fragments de preuves, tandis que The Guardian fait état de plus de 370 résultats, de la théorie des nombres et de la géométrie algébrique à la logique mathématique. Selon le Wall Street Journal, cité par la FAZ, ils comprennent des avancées sur trois des cinq problèmes du millénaire restants; Alex Kontorovich, de l'université Rutgers, a déclaré qu'un humain y parvenant se verrait assuré de la médaille Fields. OpenAI affirme avoir soumis environ 4000 problèmes au modèle et avoir décrit sa méthode ainsi que la puissance de calcul requise.
Doutes sur la vérification et l'accès
OpenAI dit avoir consulté des experts de l'Advisory Group on Mathematics and Artificial Intelligence de l'Institute for Advanced Study. L'institut lui-même a indiqué ne pas approuver le test des problèmes les plus difficiles sur des modèles propriétaires, mettant en garde contre un système à deux vitesses et contre des raisonnements d'IA qu'aucun humain ne peut vérifier. OpenAI a promis de donner la parole aux mathématiciens, sans dire qu'elle cesserait cette pratique. Le mathématicien de NYU Tristan Buckmaster a déclaré au New York Times que les requêtes pourraient avoir fourni au modèle des informations l'aidant à aboutir.