OpenAI a publié un ensemble de solutions à d'anciens problèmes mathématiques. Selon The Verge AI, cette publication a provoqué un large débat au sein de la communauté mathématique.
Dans le podcast Decoder, le journaliste de The Verge Robert Hart discute de l'impact de l'intelligence artificielle sur les mathématiques et explique pourquoi de nombreux mathématiciens de premier plan traversent une crise existentielle. Pour ce reportage, il s'est entretenu avec plusieurs des représentants les plus éminents de ce domaine.
La portée de l'événement reste difficile à évaluer: la description disponible ne précise pas quels problèmes exacts ont été résolus, par quelle méthode, ni si les résultats ont fait l'objet d'une vérification indépendante. Il s'agit donc avant tout d'une réaction notable de la communauté, et non d'un changement avéré des pratiques scientifiques.
commentaire éditorial
Pourquoi c’est important
Conséquence probable : une intensification du débat sur la manière d'évaluer la contribution de l'IA à la recherche mathématique et le rôle de l'homme dans celle-ci. Le prochain signal observable sera constitué par les détails des problèmes, les méthodes de preuve et les évaluations indépendantes des mathématiciens. Une incertitude substantielle demeure : la source accessible contient uniquement une méta-description, sans les solutions elles-mêmes ni de données sur leur vérification.