Retour en haut
Nous contacter Suivez-nous

Lu sur le web

Une preuve produite par l'IA est-elle vraiment fiable ?

Des mathématiciens de Cambridge, Oxford, Columbia et ETH Zurich ont publié un texte de onze pages sur les risques que l'IA fait peser sur leur discipline. Selon eux, un système d'IA peut produire un argument qui ressemble à une preuve mathématique sans qu'on puisse vérifier qu'il est correct.

Lire l'actualité / En savoir plus 

Pièces détachées

Suivez-nous !

©2001-2026 lelectronique.com par Tours'nCréa - Tous droits de reproduction et de représentation réservés

Partenaires : Choisir aspirateur