أوبن إيه آي تنشر 719 مخطوطة رياضية و42% فقط مُثبتة بـ Lean
نشرت OpenAI مستودعاً يضم 719 مخطوطة رياضية في 372 عائلة بحثية، أُنتجت بنموذج داخلي غير مُعلن بمتوسط 3 ساعات من حوسبة ChatGPT Pro لكل نتيجة عبر 4000 مسألة. 42% فقط من النتائج الرئيسية مُثبتة بـ Lean، و10 مخطوطات فقط كشفت سلسلة التفكير، وسط انتقادات من AGMAI وتيرينس تاو لغياب الفهم البشري.
الموجز الإحصائي السريع
أعلنت OpenAI عبر مستودعها الرسمي على GitHub (github.com/openai/math) عن نشر 719 مخطوطة رياضية مُنظمة في 372 عائلة بحثية، أُنتجت بواسطة نموذج داخلي غير مُعلن بمتوسط 3 ساعات من حوسبة ChatGPT Pro thinking compute لكل نتيجة، بعد طرح حوالي 4000 مسألة على النموذج. غير أن 42% فقط من النتائج الرئيسية خضعت للتحقق الرسمي بـ Lean، و10 مخطوطات فقط من أصل 719 كشفت سلسلة تفكير النموذج، ما أثار انتقادات مباشرة من مجموعة AGMAI في جامعة برينستون والمشهور تيرينس تاو.
📊 بطاقة البيانات والمواصفات التقنية الرسمية
| المحور التقني | البيانات الرسمية المؤكدة |
|---|---|
| 💰 الأسعار وتكلفة الاستخدام | غير مُعلنة رسمياً للنموذج الداخلي؛ الاستخدام تم عبر اشتراك ChatGPT Pro (متوسط 3 ساعات حوسبة thinking لكل نتيجة). النموذج الداخلي غير مُتاح للعموم. |
| 🌐 المنصات والتوفر الفوري | GitHub (github.com/openai/math) — مستودع عام يحتوي على مجلد preprints/ (PDFs + مصادر) ومكتبة Lean وفهرس التحقق. OpenAI تدرس استضافة المجتمع للمواد. |
| ⚡ الأداء ومؤشرات السرعة | 719 مخطوطة في 372 عائلة بحثية | 42% فقط من النتائج الرئيسية مُثبتة بـ Lean | 10 مخطوطات فقط كشفت سلسلة التفكير | ~4000 مسألة طُرحت على النموذج | 3 ساعات حوسبة ChatGPT Pro/نتيجة. |
| 🛡️ الأمان ومقاومة الاختراق | لا توجد معايير أمنية مُعلنة. أبرز مخاطر موثقة: تناقضات بين البرهان باللغة الطبيعية وكود Lean (ورقة كامبريدج/كينجز كوليدج) | غياب البيانات الوصفية القابلة للقراءة الآلية التي تربط NL بالبراهين الرسمية كما طلبت AGMAI. |
| 🧠 سياق الذاكرة (Context Window) | غير مُعلن رسمياً للنموذج الداخلي. الاستدلال تم عبر ChatGPT Pro thinking compute بمتوسط 3 ساعات لكل نتيجة. |
| 🌍 دعم اللغة العربية والمنطقة | المستودع والبراهين باللغة الإنجليزية حصراً. لا توجد نسخ عربية أو دعم RTL للمخطوطات الرياضية. غير موجّه للمستخدم العربي مباشرة. |
تفاصيل الإعلان والميزات التقنية الجديدة
كشف البيان الرسمي على GitHub أن OpenAI استخدمت نموذجاً داخلياً غير مُعلن (unreleased internal model) لإنتاج الغالبية العظمى من النتائج، بمتوسط 3 ساعات من حوسبة ChatGPT Pro thinking compute لكل نتيجة. توسعت التقييمات بعد أن وصلت النماذج إلى مرحلة التشبع (saturation) في التقييمات الرياضية القائمة. الاستثناءات عن هذا الإجراء الثابت شملت العمل على منطقة خالية من الأصفار لدالة زيتا لريمان وإثبات حدسية هودج لأصناف أبيلية من نوع CM، كما خضعت كتابة منطقة Re(s) > 11/12 الخالية من الأصفار لدالة زيتا لتحرير بشري لأغراض القراءة.
من أصل 719 مخطوطة، كشفت 10 مخطوطات فقط عن ملخصات مختصرة لسلسلة تفكير النموذج، تغطي عائلات محددة: الارتباطات الثنائية للدوال الضربية (007)، أُسّ اللاعقلانية لـ π (017)، حدسيات ماهلر المتماثلة والعامة (087)، صلابة NP عند عتبة SDP الأساسية (102)، حدود شبه كثيرة الحدود للتقدمات الحسابية (159)، حدسية كابلانسكي للانتهاء المباشر في الخاصية اثنين (197)، صيغة ميزار-باريزي لزجاج السبين المخفف (221)، المغنطة التلقائية في مغناطيس هايزنبرغ الكمي (271)، تماثل عوامل المجموعات الحرة (287)، ونظام فلاسوف-ماكسويل النسبي ثلاثي الأبعاد (362).
أكدت OpenAI أنها ستحافظ على تاريخ الإصدار العام للمجموعة، مع تسجيل التصحيحات والمراجعات كإصدارات جديدة مع بقاء الإصدارات السابقة متاحة. كما أقرت بأن 'بعض النتائج غير المُثبتة قد تحتوي على مشاكل' ووعدت بإصلاحها سريعاً، وتدرس استضافة المجتمع لهذه المواد.
المقارنة المعيارية والأداء التنافسي
وفقاً لتقرير TechCrunch، فإن OpenAI لم تستوفِ معايير مجموعة AGMAI (المجموعة الاستشارية للرياضيات والذكاء الاصطناعي) المستضافة في معهد الدراسات المتقدمة بجامعة برينستون، والمكونة من 9 باحثين بارزين. كان الطلب الأول لـ AGMAI هو 'التوقف عن اختبار المسائل الرياضية المتقدمة على النماذج الاحتكارية'، بينما ينص إصدار OpenAI صراحةً على تقييم نماذجه الاحتكارية باستخدام مسائل بحثية مفتوحة. كما طلبت AGMAI 'تضمين بيانات وصفية قابلة للقراءة الآلية تربط اللغة الطبيعية بالبراهين الرسمية'، وهو ما لم تفعله OpenAI. في المقابل، التزمت OpenAI ببعض المبادئ مثل الإصدار السريع للنتائج وتضمين معلومات عن كيفية وصول النماذج لاستنتاجاتها، لكن ليس لجميعها.
كشفت ورقة بحثية من رياضيين في جامعة كامبريدج وكينجز كوليدج لندن عن تناقضين على الأقل بين البرهان باللغة الطبيعية وكود Lean وراء حل OpenAI لمسألة مشتقة من معادلات نافييه-ستوكس. هذه التناقضات لا تدحض أي من الحلين بالضرورة، لكنها تثير تساؤلات حول الاعتماد على النماذج في إضفاء الطابع الرسمي على حلولها دون تدخل بشري. خلص مؤلفو ورقة 'lost in translation' إلى أن 'برهان اللغة الطبيعية من OpenAI والبراهين الأخرى المُضفى عليها طابع رسمي تلقائياً لا ينبغي الوثوق بها ابتداءً دون نفس عملية مراجعة الأقران والتدقيق الذي تخضع له البراهين الأخرى'.
ماذا يعني هذا للمطور والمستخدم العربي؟ (The Localization Edge)
لا يقدم مستودع OpenAI الرياضي أي دعم للغة العربية، إذ إن جميع المخطوطات والبراهين وكود Lean بالإنجليزية حصراً، ما يعني أن الباحث العربي بحاجة إلى طبقة ترجمة متخصصة للاستفادة من هذه المواد. تكلفة إنتاج كل نتيجة (3 ساعات حوسبة ChatGPT Pro thinking) تعني أن إعادة إنتاج نتائج مماثلة عربياً تتطلب اشتراكات Pro باهظة، وهو عائق أمام الفرق البحثية الناشئة في الجامعات العربية. كما أن غياب البيانات الوصفية القابلة للقراءة الآلية يمنع بناء أدوات عربية للتحقق الرياضي الآلي فوق هذا المستودع. الفرصة الأبرز تكمن في بناء طبقات وسيطة (middleware) عربية تُترجم وتشرح هذه البراهين للطلاب والباحثين، مع الاستفادة من كود Lean المفتوح المصدر لإعادة التحقق محلياً.
الخلاصة والتطلعات القادمة
يمثل إصدار OpenAI الرياضي خطوة جريئة في الكم (719 مخطوطة، 372 عائلة، 4000 مسألة) لكنه يظل ضعيفاً في الكيف (42% فقط مُثبتة بـ Lean، 10 مخطوطات فقط بسلسلة تفكير). المعركة القادمة ستكون حول الفهم البشري والبيانات الوصفية القابلة للقراءة الآلية التي طلبتها AGMAI، وربما حول تمويل OpenAI لعمل الرياضيين البشر كما اقترحت المجموعة. المراقبون ينتظرون ما إذا كانت OpenAI ستستجيب لمطالب AGMAI في الإصدارات التالية، أم ستستمر في نهج 'الحل أولاً، الفهم لاحقاً'.
المصدر الإعلامي: TechCrunch AI | البيان الرسمي للشركة: المصدر الأصلي | تدقيق وتحليل البيانات: AI Tools Oasis
أسئلة شائعة
فريق AI Tools Oasis
نقدم لك أحدث الأخبار والتحليلات في عالم الذكاء الاصطناعي بدقة ومصداقية. تابعنا للحصول على كل جديد.
