Açıq mənbəli böyük dil modelləri hazırlayan Çinin süni intellekt şirkəti DeepSeek, riyazi sübut və teoremləri həll etmək üçün nəzərdə tutulmuş Prover süni intellekt modelini yeniləyib.
Finss.az xəbər verir ki, South China Morning Post-a görə, DeepSeek Prover V2-nin ən son versiyasını buraxdı və onu çərşənbə axşamı Hugging Face AI inkişaf platformasına yüklədi. Parametrlər təxminən modelin problem həll etmə imkanlarına uyğun gəlsə də, TN tapşırıqları alt tapşırıqlara bölür və onları daha kiçik, ixtisaslaşmış ekspert komponentlərinə həvalə edir.
DeepSeek sonuncu dəfə avqust ayında Prover-i yenilədi və o zaman onu xüsusi olaraq formal teoremlərin sübutu və riyazi əsaslandırma üçün açıq mövcud AI modeli kimi təsvir etdi.
Fevral ayında DeepSeek-in ilk dəfə olaraq xarici maliyyələşdirməni nəzərdən keçirdiyi bildirildi. Yadınızdadırsa, Yeni il ərəfəsində Çinli tərtibatçıya irimiqyaslı kiberhücumlar səbəbindən şirkətlərin qeydiyyatı müvəqqəti olaraq məhdudlaşdırılmışdı.
