Peut-on se fier aux preuves apportées par les IA sur leurs démonstrations de maths ?
Les géants du numérique ont recours à des assistants de preuve pour démontrer la fiabilité des réponses de leurs intelligences artificielles. Mais ces programmes, comme tout outil informatique, ne sont pas exempts de bugs.
Ceci est un court extrait d'un article de Le Monde. Le texte complet reste chez l'éditeur — suivez le lien pour le lire là-bas.
Lire à la source