أعلنت أوبن أي آي سحب ثلاث مسودات بحثية وإصلاح 14 أخرى بعد رصد خطأ جبري، مما يجدد الجدل الأكاديمي حول موثوقية البراهين الرياضية الآلية.
- اكتشاف الخطأ الجبري وسحب المسودات الرياضية
- تفاصيل الأوراق المتأثرة والتصحيحات والتحديثات اللاحقة
- مخاوف التدقيق والتحقق البرمجي في مجتمع الرياضيات
- مكانة النتائج النظرية وأهمية مسار المعرفة العلمية
- أسئلة شائعة
اكتشاف الخطأ الجبري وسحب المسودات الرياضية
اضطرت شركة «أوبن أي آي» إلى سحب ثلاث أوراق بحثية من إجمالي 722 مسودة ودراسة رياضية كانت قد نشرتها دفعة واحدة عبر مستودع عام على منصة «جيت هب» في 6 أكتوبر، وذلك بعد أقل من 24 ساعة فقط على نشرها. وجاء قرار السحب السريع عقب اكتشاف خطأ حسابي في إشارة جبرية أدى إلى إبطال الحجة الرياضية الأساسية في إحدى الدراسات المحورية، وانهيار البناء النظري الذي استندت إليه ورقتان أخريان تعتمدان عليها بالكامل.
كما سارعت الشركة إلى إجراء تعديلات وتصحيحات برمجية في 14 مسودة بحثية أخرى. وتسببت هذه التراجعات السريعة في تأجيج الجدل الأكاديمي المتصاعد بين علماء الرياضيات حول المنهجيات والضوابط الصارمة الواجب اتباعها لتدقيق ومراجعة الأبحاث العلمية النظرية التي يتم توليدها بصورة جماعية وكثيفة بواسطة نماذج الذكاء الاصطناعي. وكانت الشركة قد صرحت بأن تلك الحصيلة الضخمة من الدراسات أُنتجت بواسطة نموذج رائد داخلي غير معلن، وصُنفت نتائجها ضمن 372 عائلة وبحثاً رياضياً غطت مجالات الجبر، والهندسة، وعلوم الحاسوب النظرية.
تفاصيل الأوراق المتأثرة والتصحيحات والتحديثات اللاحقة
كشفت سجلات المراجعة المؤرخة في 7 أكتوبر داخل المستودع البرمجي أن الخطأ الجذري وقع في ورقة بحثية متخصصة بعنوان «جبرية فئات فايل على الأصناف الأبيلية الثمانية المنقسمة»؛ حيث تسبب خطأ في الإشارة الجبرية في إسقاط حجة رياضية مخصصة لإلغاء الأثر والاستقرار، فضلاً عن تقويض البناء البرهاني المستخدم في دراستين تابعتين.
والدراستان التابعتان اللتان جرى سحبهما هما: «جبرية تطابقات كوجا-ساتاكي لسطوح كيه 3» و«حدسية هودج الكسرية لحاصل ضرب سطوح كيه 3». ورغم قرار السحب، أبقت الشركة على النسخ المسحوبة متاحة للاطلاع عبر الإنترنت مع إرفاق إخطارات تفصيلية تشرح مكامن الخلل وفجوات البراهين. وتضمنت الإصلاحات التي أُدخلت على المسودات الـ 14 المتبقية ترميم البراهين، وتصحيح العبارات الرياضية، وإعادة صياغة الفرضيات وتدقيق المراجع في 13 ورقة أخرى، ليتقلص رصيد المستودع البحثي إلى 719 دراسة معتمدة.
وصرح متحدث باسم «أوبن أي آي» لمنصة «ريتراكشن ووتش» بأن الشركة رصدت هذه الأخطاء أثناء مراجعة تدقيقية ذاتية، مرحباً بالتدقيق الأكاديمي، في حين أعلن دان روبرتس، الباحث في الشركة، عن قرارات السحب عبر حسابه في منصة «إكس».
مخاوف التدقيق والتحقق البرمجي في مجتمع الرياضيات
كشفت البيانات الإحصائية أن نحو 42 في المئة فقط من الأبحاث المنشورة كانت مدعومة ببراهين صورية آلية جرى التحقق منها ميكانيكياً عبر لغة البرمجة الرياضية «لين»، بينما كانت النسبة المتبقية مجرد مسودات مكتوبة إنشائياً دون فحص برمجي صارم. وأفادت الشركة بأن لجنة استشارية متخصصة أوصت بطرح الأبحاث دون انتظار استكمال عمليات التحقق الصوري الكاملة.
وأثارت هذه الخطوة حفيظة الأوساط الأكاديمية؛ إذ صرح أليكس تاونسند، أستاذ الرياضيات في جامعة كورنيل الأمريكية، بأنه يتوقع ظهور المزيد من الأخطاء العميقة، مؤكداً أنه «في ظل التشكك السائد داخل مجتمع الرياضيات تجاه الذكاء الاصطناعي، كان يجدر بشركة أوبن أي آي الاقتصار على إعلان المسودات التي تم التحقق من براهينها عبر نظام لين فقط»، مشيراً إلى أن عدداً من الأبحاث المنشورة لا يبدو أنها تثبت في الواقع ما تدعيه في عناوينها.
مكانة النتائج النظرية وأهمية مسار المعرفة العلمية
علق البروفيسور بايك هيونغ ريول، عميد كلية الدراسات العليا لرياضيات الذكاء الاصطناعي في المعهد الكوري المتقدم للعلوم والتكنولوجيا «كايست»، على هذه التطورات بالقول إن بعض النتائج المعلنة قد تكون جديرة بجائزة وسام فيلدز الرفيع في حال ثبوت صحتها القطعية، لكنه لفت في الوقت ذاته إلى أن المسودات التي اطلع عليها اتسمت بالغموض الشديد وصعوبة التتبع والتدقيق.
واختتم البروفيسور الكوري تقييمه برؤية فلسفية عميقة تبرز الفارق بين الإنتاج الآلي والاستيعاب البشري؛ إذ أكد قائلاً: «إن صحة البرهان وسلامته الرياضية أمر في غاية الأهمية بلا شك، ولكن المسار البشري الشاق والواعي الذي نصل من خلاله إلى هذا البرهان ونستوعبه ليصبح جزءاً حياً من المعرفة الإنسانية المتراكمة يظل أمراً على نفس الدرجة البالغة من الأهمية».
أسئلة شائعة
السؤال: ما هو سبب سحب أوبن أي آي لثلاث أوراق بحثية في الرياضيات؟
الإجابة: تم سحبها بعد اكتشاف خطأ جبري في إشارة حسابية أدى إلى إبطال الحجة المركزية لبحث أساسي وورقتين أخريين تعتمدان على بنائه النظري.
السؤال: كم بلغ العدد الإجمالي للأوراق الرياضية التي نشرتها الشركة على جيت هب؟
الإجابة: نشرت الشركة 722 دراسة ومسودة غطت مجالات الجبر والهندسة، تقلصت إلى 719 بعد سحب الأوراق الثلاث وإصلاح 14 دراسة أخرى.
السؤال: ما هي نسبة الأبحاث التي تم التحقق من براهينها ميكانيكياً عبر نظام لين؟
الإجابة: بلغت نسبة البراهين المحققة عبر لغة لين نحو 42 في المئة فقط، بينما نُشرت باقي الأوراق كمسودات نصية دون تدقيق صوري مسبق.
السؤال: ما هو الانتقاد الأكاديمي الرئيسي لأسلوب نشر هذه الأبحاث؟
الإجابة: انتقد علماء من جامعة كورنيل التسرع في نشر دراسات غير مدققة صورياً، مؤكدين أن النشر الجماعي يربك المجتمع العلمي ويزيد من الأخطاء.
