vendredi 13 novembre 2026ven. 13 nov.24 h : 1445 faits · 192 rédactions · 23 pays

IA : des carnets de Kurt Gödel décryptés, révélant des centaines de théorèmes prouvés

informatique1 faits au totalémergence 0

Informatiqueil y a 2 h1 rédaction

Des 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’article