مخطوطات OpenAI الرياضية الـ722: النموذج الذي يقف وراءها بلا اسم ولا سعر ولا API

في 21:47 UTC من 6 أكتوبر 2026، مستودع يُسمى openai/math ظهر على GitHub بلا وصف وبإيداع أولي. بعد أربع عشرة دقيقة، نشرته OpenAI على X وأنشأت صفحة مرافقة، "مشاركة تقدم الذكاء الاصطناعي في الرياضيات." معًا، تصف هاتان الحالتان حدثًا غير مسبوق: 722 مخطوطة رياضية، مُجمَّعة في 372 عائلة، أنتجها نموذج حدودي داخلي لم تسمّه OpenAI، ولم تحدّد له سعرًا، ولا يمكن استدعاؤه من أي API. النماذج التي يعلوها هي تلك التي يمكنك الوصول إليها فعليًا اليوم — GPT-6 Astra بسعر 10 / 50 دولارًا لكل مليون توكن وGPT-6.1 Sol بسعر 2 / 10 دولارات — ولم يكتب أي منهما هذه الأوراق. تقول OpenAI إن النموذج الذي فعل ذلك لا يزال قيد التدريب، وإنها تعمل على "إطلاقه بشكل مسؤول". هذا ما تم التحقق منه حتى الآن، وما لم يتم التحقق منه، والسؤال الوحيد الذي ينبغي للقارئ أن يستخلصه منه.

ابدأ بما ليس هذا الإصدار. فهو ليس إطلاق نموذج: لا توجد بطاقة نموذج، ولا معرّف، ولا نافذة سياق، ولا جدول معايير، ولا تاريخ. وهو ليس ورقة بحثية: لا شيء هنا خضع لمراجعة الأقران، وتقول OpenAI بصراحة إن النتائج التي تفتقر إلى صياغة صورية بـ Lean «قد تكون بها مشكلات». وهو ليس تسريبًا — والسبب في كتابة هذا المقال في إطار «ما نعرفه حتى الآن» ليس أن المادة سرية، بل أن الموضوع نفسه، أي النموذج، لم يصدر بعد. وكل ما تبقى أدناه يمكن التحقق منه بالرجوع إلى المستودع، ومنشور OpenAI نفسه، والمجموعة الاستشارية التي تقول OpenAI إنها استشارتها.

ما الذي صدر فعليًا في 6 أكتوبر؟

المستودع عام، ومرخّص بموجب Apache-2.0، ومكتوب بلغة Lean. يذكر ملف README الخاص به أن الكتالوج "يحتوي على 722 مخطوطة منظّمة في 372 عائلة"، حيث تجمع العائلة نتيجة رئيسية واحدة مع حجج مصاحبة أو نتائج مترتبة أو براهين بديلة. خريطة المخطوطات مفصّلة بما يكفي للتدقيق: 372 عائلة، لكل منها نتيجة رئيسية، مُدرجة مع الأوراق المكوّنة لها، وعند توفره، رابط إضفاء صيغة رسمية بـ Lean.

يضيف منشور OpenAI أرقام المصدر، وهي أرقامه الخاصة وغير مدققة بشكل مستقل:

المسائل المطروحة — حوالي 4,000، والتي اختيرت منها العائلات الصادرة

• الحوسبة لكل نتيجة — في المتوسط، ما يعادل نحو ثلاث ساعات من تفكير ChatGPT Pro

• ملخصات الاستدلال — صدر منها 10، وتغطي عائلات تشمل أُس اللاعقلانية للعدد π، وحدسيات مالر المتماثلة والعامة، وحدسية كابلانسكي حول المحدودية المباشرة في الخاصية اثنين، وصيغة ميزارد–باريسي للزجاج السبيني المخفف، ونظام فلاسوف–ماكسويل النسبي ثلاثي الأبعاد

• سياسة المراجعة — تُنشر إصدارات جديدة للتصحيحات، مع إبقاء الإصدارات السابقة متاحة

تمتد الموضوعات على الخريطة بأكملها: نظرية الأعداد، والهندسة الجبرية والعقدية، والتوافقيات، وعلوم الحاسوب النظرية، وجبريات المؤثرات، والاحتمالات والفيزياء الرياضية. بعض عناوين العائلات هي في ظاهرها ادعاءات كبيرة جداً — مثال مضاد لتخمين التغطية لرايزر، وضرب الأعداد الصحيحة دون n لوغ n، ضرب المصفوفات بأس لا يزيد على 9/4، وتخمينات ماهلر، وأمثلة مضادة لباوم–كونس وكاديسون–كابلانسكي. ما إذا كان أحدها يصح هو بالضبط السؤال الذي لا يحسمه لك هذا الإصدار.

النموذج بلا اسم، ولم يُطرح بعد، وتقول OpenAI إنه قادم

README لا لبس فيه بشأن المؤلف: "مخطوطات رياضية وقطع إثبات داعمة أنتجها نموذج داخلي من OpenAI"، وقد جُمعت الغالبية العظمى منها "باستخدام نموذج داخلي غير مُصدَر من OpenAI". لا اسم، ولا اسم رمزي، ولا حجم. الأسماء المتداولة في تغطيات أخرى لم تؤكدها OpenAI، ولن نقدّم اسماً.

ما يمكن تأريخه هو الجدول الزمني المحيط به. في 28 أغسطس 2026، وفقًا لصفحة OpenAI عن مجموعتها الاستشارية للرياضيات، «بدأت الشركة تدريب نموذج داخلي جديد» حل منذ ذلك الحين مسألة نافييه–ستوكس ضمن مسائل جائزة الألفية، وبحسب إحصاء OpenAI نفسه، أكثر من 100 مسألة مفتوحة عريقة. أُعلنت نتيجة نافييه–ستوكس بشكل منفصل في 8 سبتمبر 2026، حيث وصفت OpenAI النموذج الذي يقف وراءها بأنه «أكثر قدرة بكثير من GPT-6 Astra» وقالت إن التدريب كان لا يزال جاريًا. اثنتان من المخطوطات في مجموعة هذا الأسبوع تخرقان الإجراء المعياري، وهو أمر يستحق الملاحظة لأنه يعني أن الإصدار ليس خط أنابيب موحدًا: العمل على منطقة خالية من الأصفار لدالة زيتا لريمان وبرهان على حدسية هودج للأصناف الأبيلية من النمط CM جرى التعامل معهما بشكل مختلف، وتقول OpenAI إن تقرير زيتا حُرر بشريًا لتحسين قابلية القراءة.

ثم تأتي الجملة المهمة لأي شخص يخطط بناءً على هذا: تكتب OpenAI أنها «تعمل على إطلاق النموذج الذي أنتج هذه النتائج بشكل مسؤول». هذا بيان نية، وليس موعدًا. وإلى أن يُطرح، فإن نماذج OpenAI الوحيدة التي يمكن للمطوّر استدعاؤها هي تلك الموجودة بالفعل في قائمة الأسعار.

ما الذي يعنيه «التحقق» هنا — وأين يتوقف

هذا هو الجزء الذي تكثّفه معظم تغطية الإصدار في عبارة واحدة، وهو الجزء الذي يحدد مقدار الوزن الذي يُعطى لأي ورقة منفردة.

تصرّح OpenAI صراحةً بأن «هذه المجموعة تتضمن نتائج في مراحل مختلفة من التحقق». أقوى شكل من الأدلة في الحزمة هو صياغة رسمية بـ Lean، وهي تتيح لجهاز حاسوب فحص البرهان بدلًا من أن يفحصه شخص. وتسرد قائمة الصياغات الرسمية الخاصة بالمستودع — فهرس الأوراق ذات النتيجة الرئيسية المصاغة رسميًا — 162 مدخلًا، لذا فإن نحو واحد من كل خمسة من المخطوطات الـ722 مدعوم ببرهان قابل للتحقق آليًا في الشجرة العامة. وتقول OpenAI إن المزيد سيُضاف «بمجرد حصولنا عليها».

الأغلبية الكبيرة المتبقية ليست مُتحقَّقًا منها بذلك المعنى، ولا تدّعي OpenAI خلاف ذلك بشأن المجموعة بأكملها: "قد يكون في بعض النتائج غير المُصاغة رسميًا مشكلات. وسنسعى إلى إصلاح أيٍّ من هذه المشكلات بسرعة." وهناك تفصيلان بنيويان يعززان كون هذا إصدارًا مُدارًا لا إصدارًا مفتوحًا — فخاصية المشكلات معطّلة في المستودع، وطلبات السحب مقصورة على المتعاونين. ولا يوجد مسار عام للطعن في برهان مطروح.

إذن، القراءة الأمينة أضيق مما يوحي به العدد الوارد في العنوان:

• مُتحقَّق منه آليًا — 162 مخطوطة ذات نتيجة رئيسية مُصاغة صوريًا في شجرة Lean العامة

• غير مُدقَّق آليًا — الباقي، الذي تشير OpenAI نفسها إلى أنه قد يحتوي على أخطاء

• المسؤولية البشرية — لم يُذكر أي شخص بالاسم؛ وصياغة OpenAI نفسها هي أنه لا يوجد شخص يفهم الحجج الكامنة وراء الجزء الأكبر مما أُنتج

• تقييم مستقل — لم يُنشر أي منها؛ وقد تولت OpenAI اختيار النتائج التي كانت "ذات دلالة" بما يكفي لإدراجها

لا يعني أي من ذلك أن العمل خاطئ. إنه يعني أنه في الوقت الحالي، فإن «أصدرت OpenAI 722 برهانًا» و«تم التحقق من 722 برهانًا» عبارتان مختلفتان، والواحدة الأولى فقط هي الصحيحة اليوم.

أرفقت المجموعة الاستشارية شرطًا، وهو مُثبت في السجل.

يقول منشور OpenAI إنها استشارت المجموعة الاستشارية المستقلة للرياضيات والذكاء الاصطناعي في Institute for Advanced Study، واستندت إلى «نصائحها وتوصياتها العامة». وقد نُشرت هذه التوصيات في 29 سبتمبر 2026، بعد أن تلقت المجموعة أكثر من 600 ردّ من المجتمع الرياضي، وهي تستحق القراءة مباشرةً لأن المجموعة ليست مجرد ختم مطاطي.

يفتتح المستند نفسه بالإشارة إلى أن المجموعة لا تؤيد هذه الممارسة على الإطلاق: «بعض مختبرات الذكاء الاصطناعي الحديثة تجري تجارب على مسائل رياضية متقدمة على نماذج تظل غير متاحة للمجتمع الأوسع... نحن لا نؤيد هذه الممارسة، ونطلب منهم التوقف عنها». كما تصف المجموعة نفسها بأنها تعمل بشكل مستقل، وأن أعضاءها لا يتقاضون أجرًا وليس لديهم سلطة اتخاذ قرار بشأن OpenAI — وهو وصف للعلاقة يردده منشور OpenAI نفسه.

يتوافق ما بين توصيات المجموعة وهذا الإصدار في ما يتعلق بالعملية: مراجعة أدبيات مستفيضة مع استشهادات بالأعمال التي قدّمت الأفكار، وصياغات براهين مكتوبة بأسلوب معياري بدلًا من مخرجات النموذج الخام، ونظام إصدارات يحافظ على الإصدارات السابقة. وحيث لا يتوافقان، فذلك في الجزء الذي تصفه المجموعة بأنه جوهري — أن على مختبر ينشر نتائج لا يفهمها أحد أن يمول الفهم البشري الذي يجب أن يلي ذلك، عبر ورش عمل ومؤتمرات وبرامج، وأن يبقى هذا العمل بقيادة المجتمع لا بتوجيه المختبر. وقد التزمت OpenAI بتمويل «سلسلة من ورش العمل والمؤتمرات والبرامج الخاصة حول فهم النتائج الكبرى التي ينتجها الذكاء الاصطناعي»، وتقول إن التفاصيل ستأتي لاحقًا. هذا هو البند المفتوح، وهو ما يجب إلزامهم به.

ما الذي يمكنك الاتصال به اليوم، وما الغرض الفعلي من التوجيه هنا

لا توجد أي طريقة لإرسال طلب إلى النموذج الذي أنتج هذه المخطوطات، ولا تستطيع أي منصة خارجية أن توجّهه — وأي إدراج يدّعي خلاف ذلك إنما يصف نموذجًا غير موجود في كتالوج أي جهة. أما نماذج OpenAI العاملة فعليًا فهي خط GPT-6 الحيّ، وأرقامه مذكورة في قائمة الأسعار لا مستنبطة:

• GPT-6 Astra — $10 / $50 لكل مليون توكن، $1 لقراءة الذاكرة المؤقتة؛ فئة السياق الطويل لما يزيد على 272 ألف توكن للمطالبة بسعر $20 / $75؛ سياق بسعة 1.05 مليون توكن، وحد أقصى للمخرجات 128 ألف.

• GPT-6.1 Sol — 2$ / 10$ لكل مليون رمز، و0.10$ لقراءة الذاكرة المؤقتة؛ التسعير المتدرج نفسه للسياق الطويل عند 4$ / 15$؛ سياق يبلغ 1.05 مليون رمز، وحد أقصى للمخرجات 128 ألف

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

تلك الفجوة هي أيضًا سبب لإبقاء فاتورة التجريب منفصلة عن مسار الإنتاج. عندما تضع OpenAI اسمًا وسعرًا لهذا النموذج، سيكون الأسبوع الأول طوفانًا من ادعاءات المعايير غير الموثّقة والكثير من أعمال إعادة الدمج المذعورة — حجة التوجيه لمنصة مثل منصتنا هي أن تجربة نموذج غير مُثبت حينها تكلفك سلسلة نصية للنموذج، لا عملية ترحيل. يأتي GPT-6 Astra بسعر 10 دولارات / 50 دولارًا، وGPT-6.1 Sol بسعر 2 دولار / 10 دولارات لكل مليون توكن، تُمرَّر بسعر القائمة مع هامش ربح 0%، لذا يصبح أي تغيير في سعر المزوّد ساريًا في اليوم نفسه الذي يصل فيه. يعني التحويل التلقائي عند الفشل أن نموذجًا جديدًا يمكنه حمل جزء من حركة المرور ويُسقَط دون أن يُسقط مسار الطلبات معه، وتتيح لك لغة التوجيه DSL تركيب عدة نماذج في استدعاء واحد إذا أردت رأيًا ثانيًا في اشتقاق طويل بدلًا من إجابة واحدة. لا ينطبق أي من ذلك على نموذج لم يُطرح بعد — لكنها بالضبط البنية التحتية التي تريد أن تكون جاهزة قبل أن يُطرح النموذج التالي.

ماذا تشاهد بعد ذلك

أربعة أمور، بالترتيب الذي يُرجّح أن تكون فيه مهمة. عدد الصياغة الرسمية، لأنه الرقم الوحيد في هذا الإصدار الذي يمكن أن ينتقل من "تقول OpenAI" إلى "آلة تحققت منه"، وهو عام. أول تقييم مستقل حقًا لنتيجة مسمّاة — عالم رياضيات من خارج OpenAI يعمل على ورقة بحثية محددة علنًا، وليس ملخصًا للمجموعة. المستودع الذي يستضيفه المجتمع والذي تقول OpenAI إنها لا تزال تستكشفه، والذي سينقل المُخرَج من حساب OpenAI الخاص إلى أيدي المختصين في المجال. وإطلاق النموذج نفسه، الذي التزمت به OpenAI ولكنها لم تحدّد موعده.

هل تعني المخطوطات الـ722 أن الذكاء الاصطناعي قد حلّ هذه المشكلات؟

بالنسبة إلى مجموعة فرعية، إذا صحّت الرياضيات: تدّعي المجموعة أمثلة مضادة وبراهين عبر مسائل مفتوحة معروفة، ولدى 162 من الأوراق صياغة صورية قابلة للتحقق آليًا تسند نتيجتها الرئيسية. أما الباقي، فالادّعاء هو أن نموذجًا أنتج مخطوطة عن المسألة، وهو ادّعاء أضعف من حلٍّ مُتحقَّق منه، وOpenAI نفسها تحذّر من أن النتائج غير المُصاغة صوريًا قد تحتوي على أخطاء. التمييز بين «أنتج برهانًا» و«يمتلك برهانًا» هو القصة كاملةً في هذا الإصدار.

هل أيٌّ من هذا قابل للاستخدام في منتج اليوم؟

لا. المخطوطات هي ملفات PDF ومصادر Lean وملخصات استدلال — مخرجات بحثية، وليست خدمة. لا يوجد معرّف نموذج، ولا نقطة نهاية، ولا سعر، ولا استمارة طلب وصول. الجزء المفيد عمليًا من الإصدار بالنسبة لمطوّر هو التأكيد على أن OpenAI لديها نموذج يتجاوز GPT-6 Astra بفارق جوهري قيد التدريب، وهو إشارة تخطيطية للاثني عشر شهرًا القادمة لا شيء يمكنك استدعاؤه هذا الأسبوع.

لماذا أصدرت OpenAI نتائج بدلاً من النموذج؟

لأن لكل منهما سمات مخاطر مختلفة. فنشر المخطوطات قابل للتراجع — إذ تحتفظ OpenAI بالنسخ السابقة وتقول إنها ستصلح المشكلات — أما طرح النموذج فليس كذلك. وتذكر OpenAI أنها تعمل على إطلاقه بمسؤولية، كما أن توصيات المجموعة الاستشارية، التي تقول الشركة إنها استندت إليها، مبنية حول هذا التسلسل تحديدًا: إيصال النتائج إلى أيدي المتخصصين في المجال مع الاستشهادات وإدارة الإصدارات، ثم تمويل الفهم البشري الذي لا بد أن يتبع.

النسخة المختصرة في سطر واحد لمن يتصفح بسرعة: في 6 أكتوبر، صار متاحًا للعموم كمٌ غير مسبوق حقًا من الرياضيات التي أنتجها الذكاء الاصطناعي؛ نحو خُمسه خضع للتحقق الآلي، ولم تخضع أي منها لمراجعة الأقران، وكله مرتبط بنموذج لا يمكنك استخدامه. السؤال المثير ليس ما إذا كان النموذج قادرًا — فثلاث ساعات من حوسبة التفكير المتقدم لكل نتيجة عبر 4000 مسألة تجيب عن ذلك، وتقول OpenAI إن النموذج أكثر قدرة بشكل ملحوظ من GPT-6 Astra — بل ما إذا كان التحقق والفهم البشري سيلحقان قبل أن يجعل الإصدار التالي هذا الإصدار متقادمًا.