DeepSeek, Matematik Odaklı YZ Modeli Prover’ı Güncelledi

Çin merkezli yapay zeka araştırma laboratuvarı DeepSeek, matematiksel kanıtlar ve teoremleri çözmek amacıyla geliştirdiği yapay zeka modeli Prover’ın yeni sürümünü sessizce yayınladı. Güçlendirilmiş versiyon, Prover V2 ve bunun daha sadeleştirilmiş bir varyantı, Çarşamba gecesi Hugging Face adlı YZ geliştirme platformuna yüklendi.

Yeni sürümün, DeepSeek’in 671 milyar parametreli V3 modelini temel aldığı görülüyor. Bu model, görevleri alt parçalara ayırarak uzmanlaşmış küçük bileşenlere dağıtan karışık uzmanlar mimarisi (MoE) üzerine inşa edilmiş durumda. Parametre sayısı, bir yapay zeka modelinin problem çözme yeteneğini kabaca temsil ederken, MoE yapısı görevleri daha verimli ve doğru şekilde ele alabilen alt modüller aracılığıyla işler.

DeepSeek, Prover modelini en son Ağustos ayında güncellemişti. O dönemde şirket, modeli açık erişimli ve matematiksel akıl yürütme ile biçimsel teorem ispatlarına özel olarak tasarlanmış bir sistem olarak tanımlamıştı.

Geliştirilen bu model, yalnızca akademik çevreler için değil, aynı zamanda matematiksel mantık ve formel sistemler üzerine çalışan araştırma toplulukları için de önemli bir araç olarak görülüyor.

South China Morning Post’un haberine göre, Prover’ın V2 sürümü ile birlikte daha sadeleştirilmiş bir versiyonu da Hugging Face üzerinden erişime açıldı. Bu adım, DeepSeek’in açık kaynak topluluğuna katkı sunma stratejisini sürdürdüğünü gösteriyor.

Öte yandan, şirketin daha geniş kapsamlı yapay zeka modellerine yönelik çalışmaları da devam ediyor. Şubat ayında Reuters, DeepSeek’in ilk kez dış yatırım almayı değerlendirdiğini bildirmişti. Yakın zamanda V3 modelinin güncellenmiş bir versiyonunu yayınlayan şirketin, çok yakında akıl yürütme odaklı R1 modelini de güncellemesi bekleniyor.

‍

‍

‍

Kaynak:https://techcrunch.com/2025/04/30/deepseek-upgrades-its-ai-model-for-math-problem-solving/