أفادت Odaily Planet Daily أن OpenAI أصدرت نتائج بحثية تشير إلى تقدم نموذج الذكاء الاصطناعي القادم Astra في مجالات الرياضيات وعلوم الحاسوب النظرية، وتشمل الهندسة ذات الأبعاد العالية ونظرية الترميز ونظرية المجموعات وتعقيد الكم والترميز ما بعد الكم ورياضيات التوافيق القصوى. وتتضمن النتائج العشر المعلنة: مشكلة تعبئة الكرات ذات الأبعاد العالية، ومشكلات الترميز الثنائي والكراتي، ومشكلة المجموعات غير السوفيك، وفرضية صلابة كونيس، ومشكلة تعقيد الدوائر الحسابية، ومشكلة التكرار المتوازي الكمومي، ومشكلة أقرب متجه، وفرضية حجم إهرهارت، ومشكلة أعداد رامزي متعددة الألوان، وفرضية نظرية الرسوم البيانية القصوى.
وفقًا للتقرير، تم إجراء هذه النتائج باستخدام نموذج Astra الداخلي، حيث بلغت تكلفة الحوسبة اللازمة للعثور على الحلول حوالي 2000 دولار (وفقًا لسعر Sol API). بعد ذلك، استخدم الباحثون البشريون نفس النموذج للمساعدة في تجميعها كورقة بحثية، وأنتجوا شهادات إثبات قابلة للتحقق باستخدام نظام إثبات التشكيل Lean.