Retour en haut
Nous contacter Suivez-nous

Lu sur le web

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

03/06/2026 07h46, par clubic.com

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 

Actualité électronique

Suivez-nous !

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

Partenaires : Choisir aspirateur | Jeremy Express Plomberie Paris