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ı.
