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