OpenAI, matematikteki yapay zekâ ilerlemesini açık kaynak deposuyla paylaştı
OpenAI, matematik alanındaki yapay zekâ ilerlemesini paylaştığı bir çalışmayı duyurdu ve ilgili materyalleri GitHub'daki math deposunda açtı. Duyuru, Hacker News'te geniş yankı buldu. Şirket, çalışmanın ayrıntılarını kendi blog yazısında aktarıyor.
OpenAI, matematikte açık problemlere dair yapay zekâ sonuçlarını paylaştı
OpenAI, iç sınır modeliyle matematikteki açık problemler üzerinde elde ettiği yeni sonuçları yayımladı. Şirket, Lean ispat formalizasyonlarını ve araştırma ayrıntılarını GitHub üzerinden paylaştı.
