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.

A lire aussi