#

النقاط الرئيسية

• تنشر OpenAI مجموعة واسعة من النتائج الرياضية الجديدة من نموذج حدودي داخلي.

• نُشر الإصدار في مستودع GitHub مع بروتوكولات لمراجعة الأوراق والاستشهادات.

• تقول الشركة إنها استشارت مجموعة استشارية مستقلة بشأن الرياضيات والذكاء الاصطناعي.

• يتضمن المستودع صياغات Lean الرسمية للعديد من البراهين وتفاصيل إضافية حول الشفافية.

• تقول OpenAI إنها ستواصل تحسين الإصدارات المستقبلية وإضافة المزيد من الصياغات الرسمية مع مرور الوقت.

مشاركة التقدم في الذكاء الاصطناعي في الرياضيات

تقول OpenAI إنها تنشر مجموعة واسعة من النتائج الرياضية الجديدة التي أنتجها نموذج حدودي داخلي. وتقول الشركة أيضًا إنها تعمل على طرق أفضل لمشاركة النتائج مع مجتمع الرياضيات.

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

كيف تتم مشاركة النتائج

في هذا الإصدار، تقول OpenAI إنها تنشر النتائج في مستودع GitHub. ويتضمن المستودع بروتوكولات لمراجعة الأوراق والاستشهادات. وتقول OpenAI إنها تستكشف أيضًا بدائل أخرى تستضيفها المجتمع وتفي بإرشادات اللجنة.

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

البراهين الرسمية والشفافية

تقول OpenAI إن مستودع GitHub يتضمن صياغات رسمية للعديد من البراهين بلغة Lean. ويُوصَف Lean في المصدر بأنه لغة برمجة تتيح التحقق من البراهين الرياضية بواسطة الكمبيوتر. وتقول الشركة إنها ستحدّث المستودع بمزيد من الصياغات الرسمية كلما أصبحت متاحة.

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

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

ما الذي يشير إليه هذا الإصدار

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

ويُظهر المصدر أيضًا تركيزًا على التحسين المستقبلي. وتقول OpenAI إنها تريد تحسين الاستشهادات، والعرض، وطريقة التقديم في الإصدارات اللاحقة. كما تقول إنها ستواصل إضافة الصياغات الرسمية والاستمرار في استكشاف صيغ إصدار تتوافق مع توجيهات اللجنة.

الصلة بالمغرب

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

ملاحظة المصدر

هذه المقالة مبنية فقط على المواد المصدرية المقدمة من OpenAI News. لم تُضف أي حقائق إضافية.