اشترت OpenAI محقق حل المسائل الرياضية غير المحلولة، يمكنه التحقق تلقائيًا من صحة حلول الذكاء الاصطناعي

أخبار ME، في 15 أبريل (بتوقيت UTC+8)، وفقًا لمراقبة 动察Beating، كشفت مؤسسة أبحاث الذكاء الاصطناعي Epoch AI أن OpenAI قد اشترت حق الوصول إلى محقق مسائل “FrontierMath: Open Problems”.
“FrontierMath: Open Problems” هو مجموعة من المسائل الرياضية البحثية التي لم يتم حلها بعد من قبل الرياضيين المحترفين، وكل مسألة مزودة ببرنامج حاسوبي مخصص (محقق)؛ على الرغم من أن الإجابات الصحيحة غير معروفة حاليًا، إلا أنه بمجرد أن يقدم شخص (أو ذكاء اصطناعي) حلاً محتملاً، يمكن للمحقق التحقق تلقائيًا من صحته.
بعد شراء OpenAI لهذا الحق، يمكنه استخدام المحقق للتحقق من صحة الحلول الرياضية التي تنتجها نماذجه.
يُتاح حق الوصول إلى المحقق لأي مؤسسة للشراء، وتكلفته الأساسية تُستخدم لدفع مكافآت للرياضيين، لأن عملية صياغة المسائل وكتابة المحقق تتطلب جهدًا بشريًا كبيرًا.
كما حددت Epoch AI شرطًا: يجب على الطرف الذي يكتشف حلاً فعالًا عبر المحقق إبلاغ Epoch AI، ويشارك مؤلف المسألة والباحث عن الحل في حقوق النشر المشتركة.
وأكدت Epoch AI أن OpenAI كانت قد موّلت سابقًا إنشاء معيار FrontierMath الأصلي (المستويات 1-4)، لكن قسم “المشاكل المفتوحة” تم تطويره وامتلاكه بشكل مستقل من قبل Epoch AI، وتم تمويل المرحلة التجريبية من قبل Schmidt Sciences.
(المصدر: BlockBeats)