أطلقت OpenAI حلولاً لعشرة مسائل في الرياضيات وعلوم الكمبيوتر النظرية لم تشهد أي تقدم في نتائجها الرئيسية لمدة عشر سنوات على الأقل، باستخدام نسخة داخلية من نموذجها الرئيسي القادم، Astra.
تزعم الشركة أنها أنفقت أقل من 2000 دولار في أسعار رموز GPT-5.6 Sol لكل مسألة. يحتوي المستودع openai/ten-proofs على تنسيقات Lean 4 لهذه النتائج، بالإضافة إلى ورقة تصف الحلول ووثيقة PDF تم إنشاؤها بواسطة نموذج لغوي كبير تعيد بناء عملية البرهنة من آثار الاستدلال غير المنشورة.
يتوافق هذا التطور مع رؤية الرياضي Terence Tao لـ "الرياضيات الكبيرة"، حيث يتولى الذكاء الاصطناعي العمل التقني الشاق في تعاونات واسعة النطاق بين الإنسان والآلة.