Claude membantu seorang ahli logika Helsinki membaca buku kerja Gödel yang ditulis dengan stenografi, dan menemukan ratusan teorema

The Guardian melaporkan bahwa Jan von Plato, yang sejak 2017 memimpin proyek di University of Helsinki untuk meneliti 16 "buku kerja" Kurt Gödel dari awal 1940-an (1.009 halaman, sebagian besar ditulis dengan stenografi Gabelsberger yang sudah usang), memberikan transkripsinya, buku-buku terdahulunya tentang Gödel, serta literatur sekunder kepada Claude pada September. Menurut von Plato, dalam beberapa hari Claude menghasilkan penjelasan setebal 650 halaman tentang buku-buku kerja itu, yang menurutnya harus diperiksa halaman demi halaman.

Temuan menurut von Plato. Ketika ditanya apakah buku-buku kerja itu memuat bukti bahwa aksioma pilihan bersifat independen, Claude merekonstruksi sebuah bukti yang menurut von Plato "hampir" lengkap, dengan satu definisi keliru yang sudah benar dalam karya Gödel dua tahun sebelumnya. Ia mengatakan bukti hasil rekonstruksi itu lolos pemeriksaan asisten pembuktian Coq. Saat diminta mengekstrak setiap teorema yang dibuktikan, digambarkan secara garis besar, atau sekadar digagas oleh Gödel, Claude mencantumkan 663 teorema. Von Plato mengatakan sekitar 400 di antaranya terverifikasi sesuai pernyataannya di Coq, sekitar 200 perlu diperbaiki, dan sekitar 50 keliru. Ia juga mengatakan Claude mengidentifikasi lebih dari selusin tema logika yang belum diteliti.

Catatan kehati-hatian. Joel David Hamkins dari Notre Dame, yang belum melihat rekonstruksi tersebut, mengatakan kepada The Guardian bahwa jika rekonstruksi itu terbukti valid, hasilnya "luar biasa dan menarik dari segi sejarah", tetapi seberapa besar kontribusi Claude dan seberapa besar kontribusi Gödel merupakan pertanyaan bagi para sejarawan, dan kemiripannya dengan bukti Cohen tidak berarti Gödel telah memiliki bukti tersebut.