كيف كشف الذكاء الاصطناعي أسرار دفاتر كورت غودل؟

نجح الذكاء الاصطناعي في فك جانب من أسرار دفاتر عالم الرياضيات والمنطق النمساوي كورت غودل، كاشفاً مئات النتائج الرياضية التي ظلت مخفية لعقود داخل مخطوطات استعصى على الباحثين فك رموزها بسبب اعتمادها على نظام اختزال ألماني قديم.

وتضم المخطوطات 16 دفتراً تحتوي على 1009 صفحات، دوّنها غودل خلال أربعينيات القرن الماضي باستخدام نظام الاختزال المعروف باسم «غابيلسبرغر»، وهو أسلوب كتابي مختصر جعل قراءة ملاحظاته وتحليلها مهمة شاقة أمام الباحثين، بحسب الغارديان.

وكان عالم المنطق الفنلندي يان فون بلاتو يقود منذ عام 2017 مشروعاً بحثياً في جامعة هلسنكي لدراسة هذه الدفاتر، لكن العمل كان يتقدم ببطء شديد، بمعدل يقارب صفحة واحدة أسبوعياً، بسبب صعوبة فك الرموز وفهم الصياغات الرياضية الواردة فيها.

لكن المشروع شهد تحولاً في سبتمبر الماضي، عندما استعان فون بلاتو بنموذج الذكاء الاصطناعي «كلود» التابع لشركة Anthropic، ما أتاح تحليل المادة خلال أيام، واستخراج مئات النتائج الرياضية التي لم تكن معروفة من قبل.

وأسفر التحليل عن تحديد 663 نتيجة رياضية، جرى إخضاعها للمراجعة باستخدام برنامج Coq المتخصص في التحقق من البراهين الرياضية. وأظهرت عملية الفحص أن نحو 400 نتيجة صحيحة بصيغتها، فيما احتاجت قرابة 200 نتيجة إلى إصلاح أو استكمال، بينما لم تصمد نحو 50 نتيجة أمام التحقق.

ولم تقتصر أهمية الدفاتر على النتائج الرياضية المستخرجة، إذ كشفت أيضاً عن موضوعات في علم المنطق لم تحظَ باهتمام بحثي كافٍ، إلى جانب عمل لغودل اقترب فيه من إثبات نتيجة رياضية ارتبطت لاحقاً باسم عالم الرياضيات بول كوهين.

ما وراء الخبر

لا تكمن أهمية هذه التجربة في فك رموز مخطوطات عالم استثنائي فحسب، بل في إظهار قدرة الذكاء الاصطناعي على إعادة فتح ملفات علمية وتاريخية ظلت مغلقة بسبب تعقيد الوثائق وصعوبة التعامل مع بياناتها.

واللافت أن ما عجز الباحثون عن إنجازه خلال سنوات من العمل البطيء، تمكن الذكاء الاصطناعي من تسريعه بصورة كبيرة، محولاً آلاف التفاصيل المكتوبة بخط مختزل إلى نتائج قابلة للتحليل والمراجعة.

لكن التجربة تكشف في الوقت نفسه حدود هذه التكنولوجيا؛ فالاستخراج الآلي للنتائج لا يعني إثبات صحتها، وهو ما توضحه مراجعة البراهين التي أظهرت أن عدداً كبيراً من النتائج احتاج إلى تصحيح أو استكمال، وأن بعضها لم يكن صحيحاً.

زاوية اليوم ميديا

قد يكون التطور الأهم هو انتقال الذكاء الاصطناعي من دور المساعد في البحث عن المعلومات إلى دور الشريك في إنتاج المعرفة العلمية. فالتكنولوجيا لم تكتفِ هنا بتلخيص ما كتبه العلماء، بل ساعدت في اكتشاف نتائج لم تكن معروفة للباحثين.

وإذا أمكن تطبيق هذا النموذج على نطاق أوسع، فقد تستفيد الجامعات ومراكز الأبحاث من الذكاء الاصطناعي في إعادة فحص المخطوطات العلمية والوثائق التاريخية والملاحظات البحثية التي لم تُدرس بالكامل.

ومع ذلك، فإن القيمة الحقيقية لهذه الأدوات لن تقاس بسرعة استخراج النتائج وحدها، بل بقدرتها على تقديم معرفة يمكن التحقق منها وإعادة إنتاجها وفق المعايير العلمية.