Des mathématiciens de renom s’inquiètent de la fiabilité des preuves générées par l’intelligence artificielle.
Des chercheurs issus des universités de Cambridge, Oxford, Columbia et de l’ETH Zurich ont alerté sur les risques que l’IA fait peser sur les mathématiques. Selon eux, un système d’IA pourrait générer un argumentaire ressemblant à une preuve mathématique sans que sa correction puisse être vérifiée.
Cette capacité soulève des questions fondamentales sur la validation des connaissances dans une discipline où la rigueur est primordiale. La confiance accordée aux résultats produits par des algorithmes devient un enjeu majeur.
La communauté scientifique doit désormais envisager des mécanismes de contrôle adaptés pour distinguer les démonstrations authentiques des productions artificielles potentiellement erronées.
Source : Clubic