AI ने Gödel की गुप्त नोटबुक खोलीं
मूल शीर्षक: AI unlocks Gödel's notebooks, said to contain hundreds of proved theorems
यह क्यों महत्वपूर्ण है
AI ने ऐतिहासिक गणितीय दस्तावेज़ीकरण की गति को सप्ताह से घटाकर दिनों में बदल दिया, जो humanities research में AI की भूमिका का नया उदाहरण है।
Helsinki University के Jan von Plato के नेतृत्व में Claude AI ने Kurt Gödel की 1,009 पन्नों की 16 नोटबुक का विश्लेषण किया और सितंबर 2026 में सैकड़ों अज्ञात theorem उजागर किए।
ऑस्ट्रियाई तर्कशास्त्री Kurt Gödel ने 1931 में अपने दो incompleteness theorems से गणित की दुनिया बदल दी थी। लेकिन उनके अप्रकाशित काम का विशाल भंडार दशकों तक अनदेखा रहा। 2017 से Finnish logician Jan von Plato ने Helsinki University में Gödel की 1940 के दशक की 16 नोटबुक पर काम शुरू किया। ये 'workbooks' 1,009 पन्नों में फैले हैं और बड़े हिस्से में Gabelsberger नामक जर्मन shorthand में लिखे गए हैं — यह shorthand Gödel के जीवनकाल में भी पुरानी पड़ चुकी थी।
शुरुआत में टीम की रफ्तार बेहद धीमी थी — हफ्ते में केवल एक पन्ना। फिर सितंबर 2026 में von Plato ने Anthropic का AI model Claude इस काम में लगाया। महज दो दिनों में Claude ने पूरी सामग्री का व्यापक सारांश तैयार कर दिया।
nतनीजे चौंकाने वाले रहे। Gödel ने सैकड़ों ऐसे theorem सिद्ध किए थे जिनके बारे में किसी को पता नहीं था। von Plato के अनुसार, नोटबुक में 1970 और 1980 के दशक के परिणामों की दर्जनों अग्रिम खोजें हैं, साथ ही logic के 14 ऐसे विषय हैं जिन पर बाद में कभी काम नहीं हुआ। von Plato ने कहा, "मैं दंग रह गया। Gödel अपने समय से बहुत आगे थे।"