HANDE BERKTAN
Açık kaynaklı geniş dil modelleri geliştiren Çinli yapay zeka şirketi DeepSeek, matematikle ilgili kanıtları ve teoremleri çözmek üzere tasarlanmış yapay zeka modeli Prover‘ı güncelledi. South China Morning Post’a göre, DeepSeek, Prover’ın en son sürümü olan V2’yi Çarşamba günü geç saatlerde yapay zeka geliştirme platformu Hugging Face‘e yükledi.
Prover’ın güncellenmiş versiyonunda, parametreler kabaca bir modelin problem çözme becerilerine karşılık gelirken, MoE (Mixture of Experts) görevleri alt görevlere ayırarak, bunları daha küçük ve uzmanlaşmış bileşenlere devretmektedir. Bu yaklaşım, Prover’ın matematiksel kanıtları daha etkili bir şekilde ele almasını sağlıyor.
DeepSeek, Prover’ı en son Ağustos ayında güncelledi ve o dönem bu modeli resmi teorem kanıtlama ve matematiksel akıl yürütme için özel olarak geliştirilmiş bir yapay zeka aracı olarak tanıttı. Şubat ayında, DeepSeek’in dışarıdan ilk kez fon sağlamayı düşündüğüne dair haberler ortaya çıkmıştı. Ayrıca, yılbaşında şirketin büyük ölçekli siber saldırılara maruz kaldığı ve bu nedenlerle kayıtlarının geçici olarak kısıtlandığı hatırlanıyor.
Bu güncelleme ile birlikte, Prover’ın daha karmaşık matematiksel problemleri çözme yeteneği artarken, araştırmacıların ve matematikçilerin iş akışlarını hızlandırmaları hedefleniyor. DeepSeek’in bu yenilikçi adımı, yapay zeka alanında matematiksel düşüncenin ve akıl yürütmenin geleceğine ışık tutuyor.
