DeepSeek’ten Sessiz Hamle: Prover V2 ile Yapay Zekâ Artık Matematikte Daha Güçlü
Matematiksel ispat ve teorem çözümüne odaklanan yapay zekâ modeli Prover’ın yeni sürümünü Hugging Face üzerinden erişime açan DeepSeek, V2 ile çok daha güçlü bir altyapı sundu. Yeni versiyon, daha küçük alt modellerle görevleri bölerek yüksek doğruluk sağlıyor.
Matematik odaklı yapay zekâ modeli güncellendi
Yapay zekâ alanında çalışmalarını sürdüren DeepSeek, matematiksel ispat ve teorem çözümüne yönelik geliştirdiği Prover modelinin yeni sürümünü yayımladı. Prover V2 olarak adlandırılan bu versiyon, önceki sürüme kıyasla daha yetenekli ve optimize edilmiş bir yapıya sahip.
Sessizce erişime açıldı
DeepSeek, Prover V2 modelini herhangi bir büyük tanıtım yapmadan Hugging Face platformu üzerinden erişime açtı. Yeni sürümle birlikte daha küçük boyutlu ve yoğunlaştırılmış bir versiyonun da sunulduğu bildirildi.
V3 modelini temel alıyor
Prover V2, DeepSeek’in 671 milyar parametreli genel amaçlı V3 modelini temel alarak geliştirildi. Bu model, görevleri daha küçük alt modellere bölüyor ve her alt model kendi uzmanlık alanında çalışıyor. Bu sayede teorem ispatı ve matematiksel akıl yürütme görevlerinde daha yüksek başarı sağlanıyor.
Yeni model yolda
DeepSeek, son olarak Ağustos 2024’te Prover modelinde bir güncelleme yapmıştı. Şirket, ayrıca yakın zamanda “akıl yürütme” yeteneklerine odaklanacak olan R1 isimli başka bir modelin de güncellemesini planlıyor.
Kaynak: CUMHA - CUMHUR HABER AJANSI
