DeepSeek'in Matematik Dehası AI Modeli Prover V2 Yayında
Çinli Yapay Zeka Laboratuvarı DeepSeek Matematik Odaklı Modelini Geliştirdi
Yapay zeka dünyasındaki yenilikler hız kesmeden devam ediyor. Çin merkezli yapay zeka laboratuvarı DeepSeek, matematiksel ispatlar ve teoremler üzerine uzmanlaşmış AI sistemi Prover'ı sessiz sedasız güncelledi. Prover V2 olarak adlandırılan bu yeni sürüm, yapay zeka geliştirme platformu Hugging Face üzerinde kullanıma sunuldu.
South China Morning Post'un haberine göre, Prover V2'nin lansmanı Çarşamba günü geç saatlerde yapıldı. Bu yeni modelin, DeepSeek'in 671 milyar parametreye sahip ve MoE (Mixture-of-Experts) mimarisini kullanan V3 modeli üzerine inşa edildiği düşünülüyor. Parametreler, bir modelin problem çözme yeteneklerini kabaca ifade ederken, MoE mimarisi karmaşık görevleri daha küçük alt görevlere ayırıp bunları özelleşmiş "uzman" bileşenlere devrederek verimliliği artırıyor.
DeepSeek, Prover modelini en son Ağustos ayında güncellemiş ve o zaman modeli "resmi teorem ispatlama ve matematiksel akıl yürütme için özel bir model" olarak tanımlamıştı. Prover V2, bu alandaki yetenekleri daha da ileri taşımayı hedefliyor.
DeepSeek'in Gelecek Planları
DeepSeek, yakın zamanda genel amaçlı V3 modelinin yükseltilmiş bir sürümünü yayınlamıştı ve R1 "akıl yürütme" modelini de yakında güncellemesi bekleniyor. Şubat ayında Reuters tarafından bildirildiği üzere, şirket ilk kez dışarıdan yatırım almayı değerlendiriyor. Bu gelişmeler, DeepSeek'in yapay zeka alanındaki iddialı büyüme hedeflerini gösteriyor.
