Claude helpt een logicus uit Helsinki Gödel's notitieboeken met steno te lezen en vindt honderden stellingen

The Guardian meldt dat Jan von Plato, die sinds 2017 leiding geeft aan een project van de Universiteit van Helsinki rond Kurt Gödel's 16 vroege „notitieboeken” uit de jaren 1940 (1.009 pagina's, waarvan een groot deel in het verouderde stenoschrift Gabelsberger), Claude in september zijn transcripties, eerdere boeken over Gödel en de secundaire literatuur gaf. Volgens von Plato produceerde Claude binnen een paar dagen een uitleg van 650 pagina's van de notitieboeken, die volgens hem pagina voor pagina gecontroleerd moest worden.

Wat von Plato zegt dat Claude vond. Op de vraag of de notitieboeken een bewijs bevatten dat het keuzeaxioma onafhankelijk is, reconstrueerde Claude een bewijs dat volgens von Plato „bijna” compleet is, met één verkeerde definitie die Gödel twee jaar eerder wel goed had. Hij zegt dat het gereconstrueerde bewijs de bewijsassistent Coq doorstond. Toen Claude werd gevraagd alle stellingen op te sommen die Gödel had bewezen, geschetst of als idee had, kwam het met een lijst van 663. Von Plato zegt dat er ongeveer 400 zoals geformuleerd in Coq werden geverifieerd, ongeveer 200 moesten worden herzien en ongeveer 50 onjuist waren. Ook zegt hij dat Claude meer dan een dozijn logische thema's heeft aangewezen die nog niet zijn onderzocht.

Kanttekeningen. Joel David Hamkins van de University of Notre Dame, die de reconstructie niet had gezien, vertelde The Guardian dat als die standhoudt, ze „opmerkelijk en historisch interessant” is. Maar hoeveel ervan van Claude komt en hoeveel van Gödel, is volgens hem een vraag voor historici. Dat het bewijs op dat van Cohen lijkt, betekent volgens hem niet dat Gödel het ook had.