Grup örneklerinin ele aldığı problemler arasında yer alan doğrudan sonluluk üzerine bir varsayım.
OpenAI, kamuya açık olmayan bir dahili model tarafından üretilen ve 372 problem ailesine dağılan sonuçları içeren 722 matematik çalışmasından oluşan bir koleksiyonu GitHub'da yayımladı. Şirket, çalışmaların farklı doğrulama aşamalarından geçtiğini ve yalnızca bir bölümünün Lean kullanılarak doğrulandığını belirtiyor.