OpenAI تنشر نتائج رياضية لأكثر من 300 مسألة

أبرز النقاط

1. أوبن إيه آي أعلنت نشر نتائج رياضية جديدة أنتجها نموذج داخلي متقدم، مع براهين قابلة للتحقق آلياً.
2. أفادت الشركة أنها نشرت نتائج تخص أكثر من 300 مسألة رياضية.
3. النشر يأتي بعد تشكيك رياضيين في إعلان سابق، ويختبر قبول المجتمع العلمي بمخرجات النماذج.

خبر:

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

تفصيل:

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

خلفية:

جوائز الألفية مجموعة من المسائل الرياضية المفتوحة التي تُعد من أصعب التحديات في المجال. أما لغة لين فتُستخدم لصياغة البراهين بصيغة يمكن للحاسوب التحقق من صحتها خطوة بخطوة.

بين السطور:

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

ماذا بعد؟

المؤشر الأهم هو ردود الرياضيين على محتويات مستودع غيت هاب، ونتائج فحص صياغات لين آلياً، إضافة إلى الإعلان عن مواعيد الورش والمؤتمرات التي تعهدت أوبن إيه آي بتمويلها.