“DeepSeek” riyazi süni zəka modelini yenilədi – Prover V2 təqdim olundu

“DeepSeek” riyazi süni zəka modelini yenilədi – Prover V2 artıq aktivdir

“TechCrunch”-a istinadən “Mediahub.az” xəbər verir ki, Çin süni zəka laboratoriyası “DeepSeek” riyazi sübutlar və teorem isbatına fokuslanan Prover modelinin yenilənmiş versiyasını – Prover V2-ni təqdim edib.

Yeni versiya “Hugging Face” platformasında yerləşdirilib və 671 milyard parametrə malik V3 modeli əsasında qurulub. Model “mixture-of-experts” (MoE) arxitekturası ilə fərqli alt tapşırıqları xüsusi “ekspert” komponentlərə bölərək daha effektiv nəticələr verir.

Son Xəbərlər

Xiaomi 15 Ultra Qlobal Versiyası

Xiaomi yeni flaqman modeli Xiaomi 15 Ultra-nı qlobal satışa çıxaracağını təsdiqlədi. HyperOS 2.0 ilə yeni dövr başlayır!

Daha ətraflı

Samsung-un Üçqatlanan Telefonu

Samsung, Galaxy Unpacked tədbirində üçqatlanan telefon konseptini təqdim etdi. Yeniliklər haqqında daha çox məlumat əldə edin.

Daha ətraflı

Realme GT 7: Ən Ucuz Smartfon

Snapdragon 8 Elite çipi ilə Realme GT 7 fevral ayında təqdim ediləcək. Yeni xüsusiyyətlər və uyğun qiymət gözləyir.

Daha ətraflı

“Prover” ilk dəfə ötən ilin avqustunda açıq istifadəyə verilmişdi. Bu yenilənmə modelin riyazi alqoritmlər üzrə performansını artırmağa yönəlib və daha dəqiq nəticələr vəd edir.

Şirkət həmçinin ümumi təyinatlı V3 modelini təkmilləşdirib və yaxın vaxtlarda məntiqi düşünmə üçün nəzərdə tutulan R1 modelinin yenilənməsi gözlənilir.

Qeyd edək ki, “DeepSeek” bu ilin əvvəlində ilk dəfə xarici sərmayə cəlb etməyi nəzərdən keçirdiyini açıqlamışdı. Yeni modellər şirkətin elmi və texnoloji potensialını bir daha önə çıxarır.