DeepSeek, En Zor Matematik Problemlerini Çözebilen Prover V2 Yapay Zeka Modelini Tanıttı

DeepSeek’in matematiksel ispatlar ve teoremler üzerine yoğunlaşan yapay zekâ modeli Prover, yeni versiyonu ile geliştirilmiş durumda. DeepSeek, bu modeli Hugging Face platformu aracılığıyla sessiz bir şekilde erişime sundu.

DeepSeek’in geliştirdiği Prover V2, önceki sürümüne göre matematiksel işlemlerde daha yetenekli hale getirildi. Yeni versiyonla birlikte daha kompakt ve yoğunlaştırılmış bir model de tanıtıldı.

671 milyar parametreli V3 modeli üzerine inşa edildi

Prover, DeepSeek’in 671 milyar parametreli V3 modelini temel alarak geliştirildi. Yeni versiyon, görevleri daha küçük alt modellere ayırıyor ve her biri kendi uzmanlık alanında faaliyet gösteriyor.

Prover, en son Ağustos ayında güncellenmişti; o zaman model, teorem ispatı ve matematiksel akıl yürütme için açık kaynaklı bir araç olarak tanıtıldı. DeepSeek, ayrıca genel amaçlı V3 modelinin yenilenmiş versiyonunu da kısa bir süre önce paylaştı. Şirketin, “akıl yürütme” yeteneklerine odaklanan R1 adında başka bir modeli yakın zamanda güncellemesi bekleniyor.