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

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

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

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

وقالت "OpenAI" إنها استعانت بتوصيات مجموعة استشارية مستقلة معنية بالرياضيات والذكاء الاصطناعي في معهد الدراسات المتقدمة للمساعدة في تطوير ممارسات نشر النتائج.

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

المملكة