DeepSeek süni intellekt modeli Prover i yeniləyib

Müəllif: Tamara Mustafayeva, Banco.az

Yaponiya Mərkəzi Bankı uçot dərəcəsini dəyişməyərək 0,5 faiz səviyyəsində saxlayıb.

Banco.az xəbər verir ki, açıq mənbəli geniş dil modelləri inkişaf etdirən çinli süni intellekt şirkəti “DeepSeek” riyazi sübutlar və teoremləri həll etmək üçün hazırlanmış “Prover” adlı süni intellekt modelini yeniləyib.

South China Morning Post qəzetinin məlumatına görə, “DeepSeek” “Prover” modelinin son versiyası olan V2-ni bu çərşənbə axşamı gec saatlarda süni intellekt inkişaf platforması Hugging Face-ə yükləyib. Modeldəki parametrlər əsasən onun problem həll etmə qabiliyyətlərinə uyğun gəlir. MoE (Mixture of Experts) isə vəzifələri alt vəzifələrə ayıraraq onları daha kiçik və ixtisaslaşmış mütəxəssis komponentlərinə ötürür.

“DeepSeek” “Prover” modelini sonuncu dəfə avqust ayında yeniləmiş və həmin vaxt onu rəsmi teorem sübutu və riyazi məntiq yürütməsi üçün xüsusi olaraq təqdim edilən bir süni intellekt modeli kimi xarakterizə etmişdi.

Bu ilin fevral ayında isə “DeepSeek”in ilk dəfə olaraq xarici maliyyələşmə axtarışında olduğu bildirilmişdi. Xatırladaq ki, ilin əvvəlində çinli şirkətə qarşı həyata keçirilən genişmiqyaslı kiber hücumlar səbəbilə şirkətin qeydiyyatları müvəqqəti olaraq məhdudlaşdırılmışdı.

Bizi sosial şəbəkələrdən izləyin!!