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