OpenAI تنشر نتائج رياضية أنتجها نموذج داخلي متقدم
مستودع جديد على منصة غيت هب يضم مجموعة واسعة من النتائج الرياضية التي أنتجها نموذج داخلي متقدم لدى أوبن إيه آي، أعلنت الشركة إتاحته في 6 أكتوبر 2026. وقالت إن كثيراً من الإثباتات مصاغ بلغة لين التي تسمح للحاسوب بفحص الإثبات الرياضي آلياً، على أن تُضاف صياغات أخرى تباعاً.
· نُشر أصلاً على ontime+ · آخر تحقق: 9 أكتوبر 2026 (Khaled Aziz)
أبرز النقاط
- أوبن إيه آي نشرت نتائج رياضية ولّدها نموذج داخلي متقدم في مستودع جديد على غيت هب
- جزء كبير من الإثباتات مكتوب بلغة لين التي تتيح للحاسوب التحقق من صحتها آلياً
- الصيغة القابلة للتحقق الآلي تمنح الباحثين وسيلة لتدقيق مخرجات النماذج بدل الاكتفاء بالثقة بها
خبر:
مستودع جديد على منصة غيت هب يضم مجموعة واسعة من النتائج الرياضية التي أنتجها نموذج داخلي متقدم لدى أوبن إيه آي، أعلنت الشركة إتاحته في 6 أكتوبر 2026. وقالت إن كثيراً من الإثباتات مصاغ بلغة لين التي تسمح للحاسوب بفحص الإثبات الرياضي آلياً، على أن تُضاف صياغات أخرى تباعاً.
تفصيل:
- المستودع: أتاحت أوبن إيه آي النتائج عبر مستودع مفتوح على غيت هب على العنوان github.com/openai/math، وقالت إنه يجمع مجموعة واسعة من المخرجات الرياضية لنموذج داخلي متقدم، مع التزام بإضافة صياغات شكلية جديدة كلما توفرت.
- لغة لين: جزء كبير من الإثباتات المنشورة مصاغ بلغة لين، وهي لغة تتيح للحاسوب التحقق من صحة الإثبات الرياضي خطوة بخطوة بدل الاعتماد على المراجعة البشرية وحدها، وهو ما يجعل النتائج قابلة للتدقيق الآلي.
- محتوى المستودع: بحسب الشركة، يتضمن المستودع ملخصات لمسار استدلال النموذج في كل نتيجة، وتقديرات للقدرة الحاسوبية المستهلكة، وإحصاءات عن عدد المسائل التي جرت محاولة حلها.
- الأرقام: قالت أوبن إيه آي إن النتيجة الواحدة استهلكت في المتوسط ما يعادل نحو 3 ساعات من تفكير اشتراك تشات جي بي تي برو، وهي الوحدة التي اختارت الشركة التعبير بها عن كلفة المعالجة بدل مقاييس حوسبة أخرى.
- الاستشارة الخارجية: أفادت الشركة بأنها استشارت المجموعة الاستشارية للرياضيات والذكاء الاصطناعي في معهد الدراسات المتقدمة، واستندت إلى توصياتها المنشورة علناً في إعداد طريقة نشر النتائج.
- النموذج نفسه: النموذج الذي أنتج هذه النتائج لا يزال داخلياً ولم يُطرح للعموم. وقالت أوبن إيه آي إنها تعمل على إصداره بصورة مسؤولة، من دون أن تحدد موعداً أو شروطاً لذلك.
- البرامج المعلنة: أعلنت الشركة اعتزامها تمويل ورش عمل ومؤتمرات وبرامج خاصة تتناول فهم النتائج الكبرى التي ينتجها الذكاء الاصطناعي، ووعدت بتفاصيل إضافية لاحقاً من دون تسمية الجهات المشاركة.
- التوقيت: جاء الإعلان في 6 أكتوبر 2026 عبر بيان رسمي على موقع الشركة، وهو ما يضع النشر في إطار مبادرة معلنة للمشاركة العلنية بتقدم النماذج في الرياضيات.
خلفية:
الإثبات الشكلي بلغة لين يحوّل البرهان الرياضي إلى صيغة يفحصها الحاسوب منطقياً، ما يقلل الاعتماد على المراجعة اليدوية الطويلة. وقد تبنّى باحثون هذه الأداة في السنوات الأخيرة للتحقق من براهين معقدة.
بين السطور:
اختيار نشر الإثباتات بصيغة قابلة للتحقق آلياً يعالج الاعتراض الأبرز على المخرجات الرياضية للنماذج: صعوبة تدقيقها. وربط كلفة كل نتيجة بما يعادل 3 ساعات من تشات جي بي تي برو يعطي الباحثين مقياساً عملياً للجهد الحاسوبي. في المقابل، بقاء النموذج داخلياً يعني أن إعادة إنتاج النتائج مستقلاً تظل خارج متناول الباحثين حالياً.
ماذا بعد؟
إضافة صياغات لين الجديدة إلى المستودع، وإعلان أوبن إيه آي تفاصيل الورش والمؤتمرات التي وعدت بتمويلها، وأي خطوة نحو إتاحة النموذج الذي أنتج هذه النتائج.