الذكاء الاصطناعي يكشف مئات النتائج الرياضية المجهولة داخل دفاتر عالم شهير.. ما القصة؟

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

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

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

كيف تمكن الذكاء الاصطناعي من فك رموز الدفاتر؟

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

ووفقًا للتقرير الذي نشرته صحيفة The Guardian في 13 نوفمبر 2026، تمكن النموذج من إعداد تحليل شامل لمحتويات الدفاتر خلال أيام قليلة، بعدما واجه الباحثون صعوبة في التعامل معها بالطرق التقليدية على مدار سنوات.

واستخرج الباحثون 663 نظرية ونتيجة رياضية من الملاحظات، ثم استعانوا ببرنامج Coq المتخصص في التحقق الآلي من البراهين الرياضية لمراجعة النتائج.

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

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

هل سبق كورت جودل اكتشافًا رياضيًا شهيرًا؟

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

وترتبط هذه المسألة بعالم الرياضيات الأمريكي بول كوهين، الذي نجح عام 1963 في إثبات استقلالية مسلمة الاختيار عن مجموعة من المسلمات الرياضية المعروفة باسم بديهيات زيرميلو-فرينكل مع مسلمة الاختيار.

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

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

ماذا يعني الاكتشاف لمستقبل الرياضيات والذكاء الاصطناعي؟

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

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

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

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