Yayımlanmış çalışmalarda ele alınan örnekler arasındaki matematiksel varsayımlar.
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.