نموذج Astra من OpenAI يحل عشر مسائل مفتوحة في الرياضيات — ماذا يعني ذلك
بحسب OpenAI، نسخة داخلية من نموذجها القادم Astra أنتجت عشر نتائج في الرياضيات وعلم الحاسوب النظري، مع شهادات Lean على GitHub وكلفة حسابية تقارب 2000 دولار.
ما الذي حدث: عشر مسائل مفتوحة وعشرة نتائج
في الأول من أغسطس 2026 أعلنت OpenAI أن نسخة داخلية من Astra، نموذجها الرئيسي القادم الذي لم يُطرح بعد، أنتجت عشرة نتائج جديدة في الرياضيات وعلم الحاسوب النظري، وكل واحدة منها تتعلق بمسألة مفتوحة منذ عقد على الأقل. ونشرت الشركة مخطوطة من 249 صفحة مع شهادات Lean 4 قابلة للتحقق آليًا للنتائج العشر على GitHub.
أبرز نتيجة هي أول بناء صريح لزمرة غير صوفية: سؤال مفتوح منذ أن قدّم ميخائيل غروموف مفهوم الصوفية عام 1999، ولم يُحلّ طوال 27 عامًا.
لماذا هذا مهم
كما دحض Astra حدسية الصلابة لكُون، وأثبت حدسية إيرهارت حول الحجم، وحلّ ثلاث مسائل من فهرس بول إردوش بينها المسألة رقم 183. وقدّم أول تحسين منذ عام 1978 على الحد الأعلى لكثافة رصف الكرات في الأبعاد العليا.
وأكّد سيباستيان بوبيك، رئيس أبحاث الرياضيات في OpenAI، النتائج على منصة X ووصفها بأنها «جميلة»، إذ تأتي كل نتيجة مع شهادة Lean ووصف لسلسلة تفكير النموذج. وبحسب الشركة بلغت كلفة إيجاد الحلول العشرة نحو 2000 دولار من الحوسبة بأسعار Sol API.
ماذا يعني ذلك
جاء الإعلان في خضم نزاع مع الرياضيين: فقد حذّر «إعلان لايدن» الذي أيده الاتحاد الدولي للرياضيات في يونيو من أن النتائج تُعلن الآن عبر المدونات بدلًا من الدوريات المحكّمة. وردّ OpenAI هو قابلية التحقق: أي شخص يمتلك مُصرّف Lean يمكنه فحص البراهين. ووصف توماس بلوم، الذي يدير موقع مسائل إردوش، النتائج بأنها «خبر كبير». أما موعد طرح Astra فلم تحدده الشركة بعد.