DeepSeek, yapay zeka modeli Prover’ı güncelledi
HANDE BERKTAN
Açık kaynaklı geniş lisan modelleri geliştiren Çinli bir yapay zekâ şirketi DeepSeek, matematikle ilgili ispatları ve teoremleri çözmek için tasarlanmış yapay zeka modeli Prover’ı güncelledi.
South China Morning Post’a nazaran 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 sorun çözme maharetlerine karşılık gelirken, MoE vazifeleri alt vazifelere 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 vakitler bunu resmi teorem kanıtlama ve matematiksel akıl yürütme için özel olarak açık bir halde sunulan bir yapay zeka modeli olarak tanımladı.
Şubat ayında, DeepSeek’in birinci defa 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 hücumlar nedeni ile şirket kayıtları süreksiz olarak kısıtlanmıştı.
