DeepSeek, yapay zeka modeli Prover'ı güncelledi

Çinli yapay zeka geliştiricisi DeepSeek, matematikle ilgili kanıtları ve teoremleri çözmek için tasarlanmış yapay zeka modeli Prover'ı güncelledi.

Şubat ayında, DeepSeek'in ilk kez dışarıdan fon sağlamayı düşündüğü bildirilmişti😑

HANDE BERKTAN

Açık kaynaklı geniş dil modelleri geliştiren Çinli bir yapay zekâ şirketi DeepSeek, matematikle ilgili kanıtları ve teoremleri çözmek için tasarlanmış yapay zeka modeli Prover'ı güncelledi.

South China Morning Post'a göre DeepSeek, Prover'ın son sürümü olan V2'yi ve Çarşamba günü geç saatlerde yapay zeka geliştirme platformu Hugging Face'e yükledi. Parametreler kabaca bir modelin problem çözme becerilerine karşılık gelirken, MoE görevleri alt görevlere ayırır ve bunları daha küçük, uzmanlaşmış uzman bileşenlere devreder.

DeepSeek, Prover'ı en son Ağustos ayında güncelledi ve o zamanlar bunu resmi teorem kanıtlama ve matematiksel akıl yürütme için özel olarak açık bir şekilde sunulan bir yapay zeka modeli olarak tanımladı.

Şubat ayında, DeepSeek'in ilk kez dışarıdan fon sağlamayı düşündüğü bildirilmişti. Hatırlanacağı üzere yılbaşında, Çinli geliştiriciye yönelik büyük ölçekli siber saldırılar nedeni ile şirket kayıtları geçici olarak kısıtlanmıştı.🤭