Çinli DeepSeek, 67,1 milyar parametreli yapay zeka modeli Prover V2'yi açık kaynak olarak yayınladı

Çinli yapay zeka geliştiricisi DeepSeek, yeni açık kaynak büyük dil modeli (LLM) olan *Prover V2*’yi tanıttı.

30 Nisan’da DeepSeek, en yeni modeli Prover V2’yi yapay zeka geliştirme platformu Hugging Face’e yükledi. *MIT lisansı* altında paylaşılan bu model, geliştiricilerin hem ticari hem de ticari olmayan projelerinde özgürce kullanabileceği şekilde tasarlandı. Modelin öne çıkan özelliği, özellikle *matematiksel ispat doğrulama* gibi karmaşık mantıksal çıkarım görevlerinde üstün performans gösterecek biçimde eğitilmiş olması.

DeepSeek, sistematik matematiksel bilgi akıl yürütmesi gereken alanlarda açık kaynak LLM’lerin potansiyeline vurgu yapıyor. Şirket, bu adımı yapay zeka teknolojilerinin demokratikleşmesine katkı sunmayı hedefleyen bir girişim olarak konumlandırıyor. Modelin özellikle *matematik tabanlı teknolojilerde güvenilirlik* ve *otomasyon düzeyini* artıracağı düşünülüyor.

Prover V2 toplamda *67,1 milyar parametre*ye sahip büyük ölçekli bir model. Hem işlem kapasitesi hem de çıkarım doğruluğu açısından oldukça güçlü olduğu değerlendiriliyor. Rakiplerine kıyasla *açıklık* ve *özelleşme* gibi avantajları bir araya getirdiği için araştırmacılar ve kurumsal geliştiricilerden yoğun ilgi görüyor.

Bu gelişme, Çin’in küresel açık kaynak yapay zeka ekosistemindeki teknik konumunu genişletme stratejisinin bir parçası olarak görülüyor. Son dönemde Meta(META) ve Google(GOOG) gibi ABD merkezli şirketlerin açık kaynak LLM alanındaki hamlelerine Çinli firmalar da ciddi biçimde dahil olmaya başladı.

Sektör uzmanları, üst düzey mantıksal yetkinlik gerektiren *matematiksel ispat* gibi alanlarda Prover V2’nin doğrulanabilir başarılar göstermesi halinde; *finans*, *bilim* ve *kamu politikası* gibi birçok sektörde hızla uygulama alanı bulabileceğini belirtiyor.