📜 Claude a lu 1 009 pages de notes de Gödel et répertorié 663 théorèmes

Depuis 2017, le logicien finlandais Jan von Plato déchiffrait les cahiers de travail de Kurt Gödel datant du début des années 1940, à raison d’environ une page par semaine. En septembre, il a confié ses transcriptions à Claude, qui lui a rendu en quelques jours une explication de 650 pages. Sur les 663 théorèmes que Gödel avait démontrés, esquissés ou simplement ébauchés, environ 400 ont été confirmés tels quels par l’assistant de preuve Coq, environ 200 nécessitaient une correction et une cinquantaine étaient faux. Claude a également découvert qu’il ne manquait à Gödel qu’une définition erronée pour démontrer que l’axiome du choix est indépendant — un résultat qui a valu plus tard à Paul Cohen la médaille Fields.

⭐ Un logicien qui avançait à raison d’une page par semaine a confié ses cahiers à Claude et récupéré en deux jours des années de lecture.

#AI