Claude ने हेलसिंकी के एक तर्कशास्त्री को Gödel की संक्षिप्त-लिपि वाली कार्य-पुस्तिकाएँ पढ़ने में मदद की, जिनमें सैकड़ों प्रमेय मिले

The Guardian की रिपोर्ट के अनुसार, Kurt Gödel की 1940 के दशक की शुरुआती 16 “कार्य-पुस्तिकाओं” (1,009 पृष्ठ, जिनमें से अधिकांश अप्रचलित Gabelsberger संक्षिप्त-लिपि में हैं) पर 2017 से चल रही Helsinki University की परियोजना का नेतृत्व कर रहे Jan von Plato ने सितंबर में Claude को अपने लिप्यंतरण, Gödel पर अपनी पिछली किताबें और इस विषय का द्वितीयक साहित्य दिया। von Plato के मुताबिक, Claude ने कुछ ही दिनों में कार्य-पुस्तिकाओं की 650 पृष्ठों की व्याख्या तैयार की, जिसकी हर पृष्ठ पर जाँच करनी पड़ी।

von Plato के मुताबिक, इसमें क्या मिला। जब पूछा गया कि क्या कार्य-पुस्तिकाओं में चयन स्वयंसिद्ध की स्वतंत्रता का कोई प्रमाण है, तो Claude ने ऐसा प्रमाण फिर से बनाया जिसे von Plato ने “लगभग” पूरा बताया—इसमें एक गलत परिभाषा थी, जिसे Gödel ने दो साल पहले सही लिखा था। उनका कहना है कि पुनर्निर्मित प्रमाण Coq proof assistant में सफल रहा। Gödel द्वारा सिद्ध, रेखांकित या विचार किए गए हर प्रमेय को निकालने के लिए कहने पर Claude ने 663 की सूची बनाई। von Plato के अनुसार, इनमें से लगभग 400 को Coq में बताए गए रूप में सत्यापित किया गया, लगभग 200 में सुधार की ज़रूरत थी और लगभग 50 गलत थे। उनका यह भी कहना है कि Claude ने तर्कशास्त्र के एक दर्जन से अधिक ऐसे विषयों की पहचान की जिन पर आगे काम नहीं हुआ है।

चेतावनी। Notre Dame के Joel David Hamkins, जिन्होंने पुनर्निर्माण नहीं देखा था, ने The Guardian से कहा कि अगर यह सही साबित होता है, तो यह “उल्लेखनीय और ऐतिहासिक रूप से दिलचस्प” है। लेकिन इसमें कितना Claude का योगदान है और कितना Gödel का, यह इतिहासकारों के लिए सवाल है; और Cohen के प्रमाण से मिलता-जुलता होने का यह अर्थ नहीं कि Gödel के पास भी वही प्रमाण था।