DeepSeek, matematik yapay zekâsı Prover'ı güncelledi
Çinli yapay zekâ şirketi DeepSeek, teorem kanıtlamaya odaklanan yapay zekâ modeli Prover'ın V2 sürümünü yayınladı. Model Hugging Face'e yüklendi.
Çin merkezli yapay zekâ geliştiricisi DeepSeek, matematiksel teorem ve kanıt çözümleme yetenekleriyle öne çıkan yapay zekâ modeli Prover'ın yeni sürümünü duyurdu. Prover V2, Çarşamba gecesi yapay zekâ topluluğunun merkezi platformlarından Hugging Face’te erişime açıldı.
MOE YAPISIYLA DAHA GÜÇLÜ MATEMATİKSEL MANTIK
Yeni sürümde MoE (Mixture of Experts) mimarisi öne çıkıyor. Bu yapı, modeli daha küçük ve uzman parçalara ayırarak matematiksel problem çözme becerilerini artırıyor. MoE, karmaşık görevleri alt görevlere bölerek modelin daha doğru ve verimli sonuçlar üretmesini sağlıyor.
PROVER’IN HEDEFİ: RESMİ TEOREM KANITLAMASI
DeepSeek, Prover’ı ilk kez Ağustos 2024’te tanıtmış ve modeli “resmî teorem kanıtlama ve matematiksel akıl yürütme” amacıyla geliştirilen açık kaynaklı bir yapay zekâ olarak tanımlamıştı. V2 sürümüyle bu iddialar daha güçlü hale gelirken, araştırmacılar ve geliştiriciler için önemli bir araç olma potansiyeli taşıyor.
FİNANSMAN VE GÜVENLİK GÜNDEMDE
Şubat 2025’te, DeepSeek’in tarihinde ilk kez dışarıdan yatırım alma ihtimalini değerlendirdiği kamuoyuna yansımıştı. Öte yandan şirket, 2025 başında uğradığı büyük ölçekli siber saldırı nedeniyle geçici olarak kayıt kısıtlamaları yaşamıştı. Güvenlik endişeleri, yatırımcıların dikkatini çekerken şirketin geleceği açısından kritik bir dönem yaşanıyor.
HUGGING FACE’TE ERİŞİME AÇILDI
Prover V2’nin Hugging Face’e yüklenmesi, modelin akademik topluluklar ve yapay zekâ geliştiricileri tarafından test edilmesine olanak tanıyor. Modelin kaynak kodları, veri yapısı ve örnek kullanım senaryoları platformda paylaşıldı.
DEEPSEEK'İN VİZYONU: YAPAY ZEKÂ İLE BİLİMSEL DEVRİM
DeepSeek, açık kaynaklı büyük dil modelleri (LLM) geliştirerek Çin'in bu alandaki teknolojik liderlik iddiasını destekliyor. Şirketin Prover modeli, sadece matematik değil, aynı zamanda doğrulanabilir yapay zekâ sistemleri konusunda da yeni bir dönemin başlangıcına işaret ediyor.
