OpenAI تعلن أن الذكاء الاصطناعي دحض فرضية في علوم الحاسوب النظرية عمرها 30 عامًا

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

ضربة رياضية ثانية في وقت قصير

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

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

لماذا سيتحقق المؤلفون أنفسهم

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

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

ما المعروف حتى الآن

• تاريخ الإعلان: 26 أكتوبر، ومصدر الخبر هو Jiqizhixin (机器之心)، في منشور بتاريخ 27 أكتوبر.
• موضوع الادعاء: دحض فرضية في علوم الحاسوب النظرية، اعتُبرت على نطاق واسع صحيحة قرابة 30 عامًا.
• ردّ فعل مؤلفي الفرضية: الباحثان اللذان اقترحاها يستعدان لإجراء تحقق مشترك مع زملائهما.
• النتيجة الثانية: وفقًا للموقع، أعلنت OpenAI أيضًا حلّ فرضية كاكييا. وهي تتعلق بالمجموعات التي تحتوي على قطعة مستقيمة طولها وحدة واحدة في كل اتجاه، وتنص على أن لهذه المجموعات أقصى بُعد.
• السياق: كانت OpenAI قد قدّمت سابقًا 22 مخطوطة رياضية، ولا يزال الجدل حولها مستمرًا.

كيف نقرأ مثل هذه الأخبار

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