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