theguardian.com détecté sur le web

Claude extrait 663 théorèmes des carnets de Gödel, 400 validés sans correction en quelques jours

Par Publié
Anthropic Generative AI ai-business

Résumé

Le logicien finlandais Jan von Plato (Helsinki) a nourri Claude des 16 carnets « Arbeitshefte » que Gödel a tenus dans les années 1940 en Gabelsberger, une sténographie allemande déjà obsolète à l'époque. Là où l'équipe progressait d'une page par semaine depuis 2017, Claude a produit une analyse de 650 pages en quelques jours, identifiant 663 théorèmes dont environ 400 ont été vérifiés sans correction.

Shared on Bluesky by 5 AI experts

Article original publié par theguardian.com

Lire l'article original →

Titre original : Claude extrait 663 théorèmes des carnets de Gödel, 400 validés sans correction en quelques jours