أصدرت شركة OpenAI يوم الثلاثاء 722 مخطوطة بحثية في الرياضيات، مصنَّفة ضمن 372 مجموعة من النتائج، جميعها من إنتاج نموذج ذكاء اصطناعي داخلي غير متاح للجمهور، في خطوة تضع عبء التقييم العلمي على عاتق علماء الرياضيات، وإلى أي مدى التزمت الشركة بقواعد النشر التي طُرحت حديثاً.
أبرز النقاط:
- نشرت OpenAI على GitHub عدد 722 مخطوطة موزَّعة على 372 "عائلة نتائج"، جميعها من إنتاج نموذج داخلي لا يمكن للجمهور استخدامه.
- مجموعة استشارية مستقلة من علماء الرياضيات أوضحت أن دورها لا يعني المصادقة على النتائج أو على العملية التي أدت إليها.
- الشركة أقرت بأن بعض النتائج التي تفتقر للتحقق الحاسوبي الرسمي قد تتضمّن أخطاء أو إشكالات.
إصدار أوراق الرياضيات من OpenAI
الشركة نشرت هذه المجموعة في مستودع عام على GitHub، مع وضع قواعد واضحة لمراجعة كل ورقة وطرق الاستشهاد بها. ويُظهر المستودع قائمة تضم 722 مخطوطة موزَّعة على 372 عائلة، حيث تضم كل عائلة نتيجة رئيسية مصحوبة بحجج مكمّلة، أو توابع واستنتاجات، أو براهين بديلة للنتيجة ذاتها. وتقول OpenAI إنها قدَّمت نحو 4,000 مسألة رياضية للنموذج، واحتفظت فقط بالنتائج التي قيَّمتها على أنها ذات أهمية بحثية كافية.
وبحسب الشركة، استهلك كلٌّ من هذه النتائج ما يعادل في المتوسط نحو ثلاث ساعات من قدرة الحوسبة على ChatGPT Pro. كما أن عدداً كبيراً من البراهين متاح بصيغ مكتوبة بلغة Lean، وهي لغة برمجة تتيح التحقق الآلي من صحة البراهين الرياضية بواسطة الحاسوب.
في المقابل، حذّرت OpenAI من أن النتائج التي لا تتوافر لها نسخة مُحقَّقة في Lean أو تحقق حاسوبي رسمي قد تحتوي على ثغرات أو أخطاء غير مكتشفة بعد.
اقرأ أيضاً: مجموعة لازاروس الكورية الشمالية هرّبت مليار دولار مسروقاً عبر مبيّضين صينيين، وفقاً لزعم ZachXBT
تحفّظات المجموعة الاستشارية
مجموعة الاستشاريين للرياضيات والذكاء الاصطناعي – وهي لجنة من تسعة رياضيين متطوّعين يستضيفها معهد الدراسات المتقدمة – أوضحت أن مهمتها لا تشمل تقييم صحة النتائج أو منح أي شكل من أشكال المصادقة على نهج OpenAI في إنتاجها. وأكدت أن المجتمع الرياضي الأوسع وحده هو القادر على الحكم على مدى التزام الشركة بالتوصيات التي سبق أن وُضعت.
هذه التوصيات، الصادرة في 29 سبتمبر، تدعو مختبرات الذكاء الاصطناعي إلى الإحالة المنتظمة إلى الأبحاث السابقة، وكتابة البراهين بصيغة تشبه الأوراق البحثية التقليدية، والإفصاح عن تفاصيل المحفّزات (البرومبتات) المستخدمة، وملخصات آليات الاستدلال، وتكاليف الحوسبة. كما تطالب بأن تُحفَظ النتائج في مستودعات علمية لا تخضع لسيطرة أي مختبر ذكاء اصطناعي بعينه. من جانبها، قالت OpenAI إنها لا تزال تبحث في بدائل مجتمعية لاستضافة النتائج بعيداً عن GitHub، وتعهدت بتمويل ورش عمل تركِّز على النتائج الكبرى للذكاء الاصطناعي في الرياضيات.
الأستاذة ميلاني ماتشِت وود، أستاذة الرياضيات بجامعة هارفارد وعضو في المجموعة الاستشارية، كانت قد حذّرت في سبتمبر الماضي من أن مخرجات الذكاء الاصطناعي في الرياضيات "غالباً ما تتضمّن حالات انتحال" وأنها عادةً ما تُنشَر دون وجود باحث بشري يتحمّل مسؤولية علمية مباشرة عنها. وفي تصريح منفصل، اعترف متحدث باسم OpenAI بأن الكثير من النتائج الجديدة لا تزال غير مفهومة بالكامل حتى لدى فريق علماء الرياضيات العاملين مع الشركة.
خلاف OpenAI حول مسألة نافيه–ستوكس
يأتي هذا الإصدار بعد شهر من التوتر بين OpenAI وعدد من علماء الرياضيات. ففي 8 سبتمبر، أعلنت الشركة ما وصفته بأنه حل لمسألة نافيه–ستوكس، وهي إحدى مسائل جائزة الألفية الشهيرة، الأمر الذي فجّر نزاعاً حول نسب الفضل العلمي مع عالم الرياضيات في جامعة نيويورك تريستان باكماستر.
بعد ثلاثة أيام فقط، وقّع 25 من حائزي ميدالية فيلدز إعلاناً يعارض استخدام المسائل المفتوحة الشهيرة كمعايير لاختبار النماذج الذكية، فيما أعلنت OpenAI في 21 سبتمبر أن نموذجها تمكّن من حل أكثر من 100 مسألة مفتوحة أخرى.
للمتابعة: AMD تقول إن الطلب على الذكاء الاصطناعي سيزيد معروض الشرائح بشكل "كبير" في 2027
