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.

Go to News Site