Informatiqueil y a 45 min1 rédaction1rédactionIA : des carnets de Kurt Gödel décryptés, révélant des centaines de théorèmes prouvésDes chercheurs utilisent l’intelligence artificielle pour analyser les carnets du mathématicien Kurt Gödel, y découvrant des théorèmes inédits.Cliquez sur un logo pour lire l’articleKurt GödelLirePartager