Yapay zeka dünyası yeni bir heyecanla çalkalanıyor! Çinin öncü yapay zeka şirketlerinden DeepSeek, matematiksel kanıtlar ve teoremleri çözmek üzerine tasarlanmış Prover modelinin en güncel versiyonunu duyurdu.

South China Morning Post'un haberine göre, yarım saat önce, DeepSeek, Prover'ın V2 sürümünü yapay zeka geliştirme platformu Hugging Face'e yükledi. Bu yeni versiyon, problem çözme yeteneklerini önemli ölçüde artıran yenilikçi parametreler içeriyor. Ayrıca MoE (Mixture of Experts) görevleri, alt görevlere ayrılarak daha küçük, uzmanlaşmış yapay zeka bileşenlerine devrediliyor.

Prover, son güncellemeyle birlikte resmi teorem kanıtlamaları ve matematiksel akıl yürütme için özelleştirilmiş bir model olarak bir kez daha dikkatleri üzerine çekti. Bu, onu araştırmacılar ve matematikçiler için vazgeçilmez bir araç haline getiriyor.

Önceki güncellemelerden biri ise geçen Ağustos ayında gerçekleşmişti. O zamanlar modelin açık bir şekilde sunulması üzerine büyük ilgi oluşmuştu. Şubat ayında, DeepSeek’in ilk kez dışarıdan yatırım almayı düşündüğü de belirtilmişti. Hatırlatmak gerekirse, yıl başında Çinli geliştirici şirketine yönelik siber saldırılar nedeniyle kayıtlarının geçici olarak kısıtlandığı ortaya çıkmıştı.

Yapay zeka alanındaki bu gelişmeler, DeepSeek’in sektördeki rolünü güçlendirerek, matematiksel düşüncenin dijitalleşmesini sağlayacak nitelikte. Prover'ın nasıl bir etki yaratacağını, özellikle matematiksel araştırmalarda görmeyi dört gözle bekliyoruz!