Search…

    Saved Articles

    You have not yet added any article to your bookmarks.

    Browse

    GDPR Compliance

    We use cookies to ensure you get the best experience on our website. By continuing to use our site, you accept our use of cookies, Privacy Policy, and Terms of Service.

    DeepSeek AI modelini yeniləyir Prover

    4 hours ago

    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ı.
    Click here to Read more
    Prev Article
    Intel-in satış rəhbəri Kristof Şell istefa verib
    Next Article
    Microsoft və Meta gəlirləri birinci rübdə gözləntiləri üstələdi

    Related Local News Updates:

    Comments (0)

      Leave a Comment