نموذج Astra من OpenAI يحل مشاكل رياضية وعلمية معقدة
كشفت OpenAI أن نسخة داخلية من نموذجها القادم Astra أنتجت حلولاً تم التحقق منها باستخدام Lean لعشر مشاكل لم يتم حلها سابقًا في الرياضيات وعلوم الكمبيوتر النظرية. تضمنت الأعمال المعلنة هذا الأسبوع، بناءً يثبت وجود مجموعات غير سُوفية وحدود عليا جديدة لكثافة تعبئة الكرات بالقرب من عتبة كوهن-إلكيز. تم نشر...




