Çin merkezli yapay zekâ şirketi DeepSeek, matematiksel ispatlar ve teorem çözümüne odaklanan modeli Prover V2’nin yeni sürümünü kullanıcılarla paylaştı. Şirket, güncellenen modeli ve onun yoğunlaştırılmış bir varyantını geliştirici platformu Hugging Face üzerinden sessizce erişime açtı.
Deepseek Prover V2 Yapay Zekâ Aracı V3 Modelini Temel Alıyor
Geliştirilen yeni sürüm, DeepSeek’in 671 milyar parametreye sahip V3 modelini temel alıyor. Bu modelde uzman karışımı (MoE) adı verilen mimari sayesinde her görev, küçük ve alanında uzman alt modellere bölünüyor. Bu yapı, hem işlem verimliliğini artırıyor hem de karmaşık matematiksel problemlerin çözümünde daha etkili sonuçlar veriyor.
DeepSeek, Prover modelini en son ağustos ayında güncellemişti. O dönemde model, matematiksel akıl yürütme ve teorem ispatı için açık kaynaklı bir yapay zekâ aracı olarak tanıtılmıştı. Yeni versiyonla birlikte modelin işlem kapasitesi daha da artırıldı ve matematiksel görevlerde daha yüksek başarı oranlarına ulaşıldı.
Prover V2’nin yeni versiyonu, şirketin daha önce yayınladığı genel amaçlı V3 modelinin altyapısını kullanıyor. V3 modeli, büyük veri kümeleri üzerinde eğitilmiş ve çok yönlü görevleri yerine getirebilecek şekilde tasarlanmıştı. Prover V2, bu güçlü temel üzerine inşa edilerek özellikle matematiksel mantık yürütme alanında özelleştirildi. Yeni sürümde yalnızca tam sürüm değil, aynı zamanda yoğunlaştırılmış ve daha hafif bir varyant da geliştiricilerle paylaşıldı. Bu sürüm, daha düşük donanım kapasitesine sahip sistemlerde de kullanılabiliyor.
Şirketin yalnızca Prover modeli üzerinde değil, aynı zamanda genel yapay zekâ yeteneklerini geliştirmek için çeşitli projeler üzerinde çalıştığı biliniyor. DeepSeek, kısa süre önce V3 modelinin yenilenmiş sürümünü yayınladı. Ayrıca akıl yürütme yeteneklerine odaklanan R1 isimli modelin de yakında güncellenmesi bekleniyor.
Reuters’ın şubat ayında yayınladığı bir habere göre DeepSeek, ilk kez dış yatırım alma ihtimalini de değerlendiriyor. Bu da şirketin küresel rekabette daha görünür olmayı hedeflediğini gösteriyor.
