نموذج أسترا من OpenAI من الجيل القادم يحل عشر مسائل رياضية بتكلفة 2000 دولار

في الأول من أغسطس، أعلنت OpenAI عن عشرة اختراقات في الرياضيات وعلوم الحاسوب النظرية، تم تحقيقها بواسطة نسخة داخلية من نموذجها الرئيسي من الجيل التالي، Astra. ووفقاً لتسعير واجهة برمجة التطبيقات (API) الخاصة بـSol، بلغت التكلفة الإجمالية للرموز (tokens) اللازمة لإيجاد حلول لهذه المسائل نحو 2000 دولار. وتشمل الاختراقات العشرة: حدوداً عليا لحزم الكرات الكثيفة في الأبعاد العالية، وتحسينات على حدود الشيفرات الثنائية والكروية، وبرهاناً على وجود زمر سوفي (Sophie groups) غير قابلة للحل، ودحضاً لتخمين كون الصرامة (Connes rigidity conjecture)، وحدوداً دنيا جديدة لتعقيد الدوائر الحسابية، ونظرية التكرار المتوازي الكمومي، وبرهاناً على صعوبة التقريب بعامل كثير حدود لمسألة أقرب متجه (closest vector problem)، وتخمين حجم إرهارت (Ehrhart volume conjecture)، وحدوداً دنيا فائقة الأسية لأعداد رامزي متعددة الألوان، وتخمينات الأعداد القصوى (extremal number conjectures).