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 marifetlerine karşılık gelirken, MoE misyonları 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 formda sunulan bir yapay zeka modeli olarak tanımladı.
Şubat ayında, DeepSeek’in birinci sefer 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ı.
