DeepSeek, matematiksel kanıtlama ve teorem çözümüne odaklanan suni zekâ modeli Prover V2’nin yeni sürümünü paylaştı.
DeepSeek’in matematiksel ispatlar ve teoremler üstüne odaklanan suni zekâ modeli Prover, yeni sürümüyle geliştirildi. DeepSeek, modeli Hugging Face platformu üstünden sükunet içinde erişime açtı.
DeepSeek’in geliştirdiği Prover V2, önceki sürüme bakılırsa matematiksel işlemlerde daha yetenekli hale getirilmiş. Yeni sürümle beraber daha minik ve yoğunlaştırılmış bir versiyon da paylaşıldı.
671 milyar parametreli V3 modeli üstüne inşa edildi
Prover, DeepSeek’in 671 milyar parametreli V3 modelini temel alarak geliştirildi. Yeni vesiyon görevleri daha minik alt modellere bölüyor ve her biri kendi uzmanlık alanında çalışıyor.
Prover, son olarak Ağustos ayında güncellenmişti. O dönem, model teorem ispatı ve matematiksel akıl yürütme için açık kaynaklı bir vasıta olarak duyurulmuştu. DeepSeek, kısa sürede genel amaçlı V3 modelinin yenilenmiş versiyonunu da paylaşmıştı. Firmanın yakında, “akıl yürütme” kabiliyetlerine odaklanan R1 isminde başka bir modeli de güncellemesi planlanıyor.
