أطلقت أوبن إيه آي نتائج نموذجها الداخلي غير المُصدر، أسترا، الذي نجح في حل عشرة مسائل مفتوحة مهمة في الرياضيات. تم توليد الحلول بواسطة النموذج ثم صاغها باحثون بشريون إلى شهادات لين (Lean).
- تعبئة الكرات عالية الأبعاد: حدود عليا جديدة لكثافة تعبئة الكرات تصل إلى حد كوهن-إلكيس.
- الرموز الثنائية والكروية: حدود محسّنة أُسياً للحجم الأقصى للرموز الثنائية عند أي مسافة دنيا محددة.
- المجموعات غير السوفيك: بناء يثبت وجود مجموعات غير سوفيك، مما يعالج سؤالاً مفتوحاً مركزياً في نظرية المجموعات.
- تخمين الصلابة لكونس: دحض تخمين طويل الأمد مفاده أن مجموعات معينة تُحدد بشكل فريد بواسطة جبر فون نيومان الخاص بها.
- تعقيد الدوائر الحسابية: حدود دنيا جديدة لحساب الثابت (permanent) باستخدام الدوائر والحالات الحسابية.
- التكرار المتوازي الكمي: نظرية تكرار متوازٍ أُسي للألعاب الكمية العامة ذات اللاعبين.
- مشكلة أقرب متجه: صعوبة تقريب بعامل متعدد الحدود لمشكلة أقرب متجه، المرتبطة بالتشفير ما بعد الكمي.
- تخمين الحجم لإيرهارت: تحديد الحد الأقصى الممكن لحجم جسم محدب يكون مركز ثقله هو نقطة الشبكة الداخلية الوحيدة له في كل بُعد.
- أعداد رامزي متعددة الألوان: حد سفلي فائق الأسي لأعداد رامزي للمثلثات متعددة الألوان، مما يحل مشكلة إردوس رقم 183.
- تخمينات العدد المتطرف: نتائج حول تخمينات الانضغاط والتدهور في نظرية الرسوم البيانية المتطرفة، مما يحل مشكلتي إردوس رقم 146 و180.
يشمل الإصدار سرد النموذج لعملية تفكيره لكل حل، مما يسلط الضوء على قفزة كبيرة في قدرات الاستدلال العلمي قد تشير إلى "تجاوز برهنة رياضية" للنماذج المستقبلية.