حققت النسخة الداخلية من نموذج Astra الجديد لشركة OpenAI عشرة نتائج رياضية مهمة. وصف المطورون هذه الإنجازات بأنها تقدم جوهري في هندسة الأبعاد العالية ونظرية الترميز. أصدرت الشركة ورقة بحثية مطولة تتضمن تحليلات تفصيلية توضح مسار استدلال الشبكة العصبية. كما نشر الباحثون مستودعًا خاصًا يحتوي على صياغات رسمية لجميع البراهين بلغة Lean 4. وقد أنتجت النسخة الداخلية من النظام الحجج الرياضية بالكامل دون تدخل بشري مباشر. اقتصر دور البشر على التعاون مع الشبكة العصبية في إعداد المخطوطات النهائية وتقديمها إلى المجتمع العلمي. أكد ممثلو OpenAI أهمية الإسناد الصادق عند وصف عملية الحصول على النتائج الفكرية. إذ إن نسب التأليف إلى الإنسان سيُشوّه المساهمة الحقيقية للذكاء الاصطناعي في تطوير العلم المعاصر. وتُقدَّر التكلفة الإجمالية للحوسبة اللازمة للتوصل إلى الحلول بنحو ألفي دولار. ولا تشمل هذه التقديرات مرحلة التحقق اللاحقة التي يضطلع بها المجتمع الرياضي.
يتعلق أحد النتائج المُعلنة مباشرةً بمسألة التكرار الموازي الكمي. تصف هذه المفهوم التغيرات في احتمالية النجاح عند تشغيل لعبة تفاعلية بصورة متكررة. وقد أثبتت الشبكة العصبية التكرار الأسي للألعاب الكمية المنتهية ذات المشاركَين. قد يكون هذا النتيجة بالغة الأهمية في تطوير بروتوكولات تشفير جديدة. ويتعلق إنجاز آخر بالمسألة المعقدة المتمثلة في إيجاد أقرب متجه في شبكة نقطية. إذ حصل النموذج على نتيجة أقوى تخص تعقيد الحل التقريبي لهذه المسألة. وتُعدّ OpenAI البناء الناجح لمجموعة غير سوفية الإنجاز الأبرز في هذا المنشور. وتشمل النتائج الأخرى تقديرات محسّنة لتعبئة الكرات في الأبعاد العالية. كما قدّم الباحثون حدودًا دنيا جديدة في تعقيد الدوائر الحسابية الحسابية. وأعلنت الشركة عن اكتشاف مثال مضاد لفرضية صلابة Connes الشهيرة.
إن الصياغة الرسمية للبراهين بلغة Lean تقلل بشكل ملحوظ من خطر الثغرات المنطقية المعتادة. ويمكن تجميع الكود المنشور والتحقق منه بأساليب آلية بسهولة. غير أن التحقق الآلي لا يُغني بأي حال عن المراجعة العلمية الشاملة. ولا يزال على علماء الرياضيات تقييم مدى دقة مطابقة التصريحات الرسمية للمسائل الأصلية. استندت OpenAI صراحةً إلى إعلان لايدن المعتمد من الاتحاد الدولي للرياضيات. يدعو هذا الوثيقة إلى الحفاظ على الإسناد الشفاف عند استخدام الذكاء الاصطناعي في الأبحاث. وتتحمل الشركة المسؤولية الكاملة عن صحة المواد المنشورة. في حين تُنسب الحجج الرياضية ذاتها إلى النظام لا إلى البشر. وأشار موقع The Quantum Insider إلى غياب تاريخ الإطلاق العلني لنموذج Astra. ولم يُتح المطورون حتى الآن إمكانية اختبار الشبكة العصبية بصورة مستقلة من قِبل خبراء خارجيين.