قالت OpenAI إنها تُصدر مجموعة كبيرة من الأبحاث الرياضية التي أنتجها نموذج داخلي لم يُطرح بعد، بينما تسعى الشركة إلى «تحسين» طريقة مشاركة النتائج مع مجتمع الرياضيات الأوسع.
في مستودع GitHub نشرته الشركة يوم الثلاثاء، قالت إن المجموعة تضم 722 مخطوطة مصنفة ضمن 372 عائلة من النتائج ذات الصلة، وتغطي مجالات تتراوح بين الارتباطات العادية ذات النقطتين للدوال الضربية ونظام Vlasov-Maxwell. وحذّرت OpenAI من أن النتائج تمر بمراحل مختلفة من التحقق، وأن بعض الأعمال التي لا تتضمن براهين رسمية قد تحتوي على أخطاء.
وأضافت الشركة أن النموذج عالج نحو 4,000 مسألة، واستغرق كلٌّ من النتائج في المتوسط ما يعادل نحو ثلاث ساعات من وقت التفكير في ChatGPT Pro. واتّبعت معظم الأعمال الإجراء نفسه، رغم أن بعض النتائج عولجت بصورة منفصلة، ومنها منطقة خالية من الأصفار لدالة زيتا لريمان وبرهان حدسية هودج للمتنوعات الأبيلية CM.
وقالت الشركة في بيان: «نريد تمكين العلماء مباشرةً من الاستفادة من أحدث القدرات، ونعمل على إصدار النموذج الذي أنتج هذه النتائج بطريقة مسؤولة. ولهذا من المهم مواصلة تقييم نماذجنا الداخلية الحدودية في الرياضيات والعلوم الأخرى، حتى نتمكن من تسريع تطوير الأدوات اللازمة للنهوض بهذه المجالات».
قالت OpenAI إنها طوّرت هذا الإصدار بمساهمات من المجموعة الاستشارية المستقلة للرياضيات والذكاء الاصطناعي التابعة لمعهد الدراسات المتقدمة. ويضم المستودع أيضًا صيغًا رسمية للعديد من البراهين بلغة Lean، إلى جانب 10 ملخصات موجزة لاستدلال النموذج.
يأتي هذا الإصدار بعد إعلان الشركة الشهر الماضي أن نحو 10,000 وكيل من وكلاء الذكاء الاصطناعي عملوا على مسألة وجود حلول معادلات Navier-Stokes وانتظامها.
وأثار ذلك الإعلان خلافًا مع أستاذ جامعة NYU تريستان باكماستر، الذي قال إن OpenAI تحركت بسرعة كبيرة بعد أن استخدم هو وعالم الرياضيات في Anthropic ليفنت ألبوغه Codex أثناء عملهما على المسألة. وقالت OpenAI إنها لا تستطيع استبعاد مساهمة بيانات منزوعة الهوية ناتجة عن استخدامهما منتجاتها في تحسينات النموذج. كما قالت الشركة إنها لن تسعى إلى جائزة كلاي للألفية البالغة قيمتها مليون دولار.