Claude يفك شيفرة دفاتر كورت غودل ويكشف مئات الاكتشافات الرياضية المنسية

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

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

منذ عام 2017، يدرس فريق من الباحثين بقيادة عالم المنطق الفنلندي يان فون بلاتو مخطوطات غودل. وبعد سنوات من العمل الدقيق، لجأ الفريق في سبتمبر إلى Claude، روبوت المحادثة الذي طورته شركة Anthropic.

بحسب صحيفة The Guardian، أنتج Claude خلال أيام تحليلاً من 650 صفحة لأعمال غودل، حدد فيه 663 نظرية رياضية محتملة. وجرى لاحقاً التحقق من نحو 400 منها دون الحاجة إلى أي تصحيح، وهو رقم يوضح حجم ما يمكن أن تختصره هذه الأدوات من وقت على الباحثين حين تعمل إلى جانب خبراء يراجعون نتائجها.

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

وتشير الدفاتر التي جرى تحليلها حديثاً إلى أن غودل اقترب بشكل لافت من أحد اكتشافات كوهين قبله بأكثر من عقدين. غير أن الباحثين يحذرون من أن حجة غودل غير المكتملة لا تثبت أنه برهن تلك النتيجة فعلاً.

لا تتوقف القصة عند الرياضيات، إذ يعتزم فون بلاتو استكشاف أعمال غودل غير المنشورة في الفيزياء وعلم الكونيات، ما قد يكشف عن اكتشافات أخرى.

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