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

ما الذي ادُّعي بالفعل

تشمل النتائج العشر الهندسة عالية الأبعاد، ونظرية الترميز، ونظرية الزمر، وتعقيد الكم، وتشفير الشبكات، والتوافقيات المتطرفة. وتتمثل صياغة OpenAI في أن كل واحدة منها لم تشهد أي تقدم لمدة لا تقل عن عقد. وقد صيغ كل برهان رسمياً في Lean، وهو مساعد إثباتات، وتقول الشركة إن تكلفة الحوسبة بلغت نحو 2,000 دولار وفق أسعار واجهة البرمجة الحالية لـ Sol. ووصف Thomas Bloom، الذي يدير قاعدة بيانات مسائل Erdős، النتائج بأنها خبر كبير — وهو تعليق من عالم رياضيات ممارس، لا تدقيقًا مستقلاً.

ما الذي يثبتُه Lean وما الذي لا يثبته

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

حدثان، لا حدث واحد

دمجت مجمّعات الأخبار بين عرض خاص في واشنطن يوم الجمعة، نقلته The Information، وبين التقرير الرياضي العلني الصادر يوم السبت. وهما حدثان منفصلان. كان حدث الجمعة إحاطة مغلقة؛ أما السبت فكان الأثر المنشور.

والاسم ليس نهائيًا أيضًا

تصف OpenAI اسم Astra بأنه تسمية مؤقتة. ولم تقل الشركة ما إذا كانت العائلة ستصدر باسم GPT-6، أو GPT-5.7، أو كفئة مستقلة تقف إلى جانب خطوط Sol وTerra وLuna القائمة. لا شيء متاح للمطورين، ولا تسعير، ولا موعد للإطلاق.

لِمَ يُقال إن Astra مصممة لأجله

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