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