L'IA déchiffre les carnets secrets de Gödel
Original : AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
Pourquoi c'est important
L'IA accélère la recherche en histoire des sciences sur des corpus inaccessibles.
En septembre 2026, le logicien Jan von Plato a utilisé Claude pour analyser 1 009 pages de carnets de Kurt Gödel. En deux jours, l'IA a révélé des centaines de théorèmes inédits, inconnus jusqu'alors.
Depuis 2017, Jan von Plato (université d'Helsinki) travaillait à déchiffrer 16 carnets rédigés par Kurt Gödel au début des années 1940. Obstacle majeur : ces 1 009 pages sont écrites en Gabelsberger, une sténographie allemande déjà obsolète à l'époque de Gödel. Le rythme d'avancement ? Une page par semaine environ.
En septembre 2026, von Plato a soumis l'ensemble du corpus à Claude, le modèle d'Anthropic. En deux jours à peine, l'IA a produit une synthèse complète du contenu. Résultat : Gödel avait prouvé des centaines de théorèmes que la communauté scientifique ignorait totalement.
« J'étais stupéfait », a déclaré von Plato. « Les carnets contiennent des dizaines d'anticipations de résultats qui n'ont été découverts qu'entre les années 70 et 80, ainsi que 14 thèmes logiques jamais explorés depuis. Gödel avait une longueur d'avance considérable sur son époque. »
Gödel est surtout connu pour ses deux théorèmes d'incomplétude (1931), qui ont redéfini les fondements des mathématiques et inspiré Alan Turing, ouvrant la voie à l'informatique moderne. Son œuvre publiée après les années 30 était pourtant mince — ses carnets révèlent désormais pourquoi.