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