En son haberleri, açıklamaları ve bağlantılı teknoloji hikâyelerini takip edin.
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.