Etiket: mathematics

## DeepSeek’ten Matematik Problemleri İçin Gelişmiş Yapay Zeka Modeli: Prover Güncellendi

Çinli yapay zeka laboratuvarı DeepSeek, matematiksel ispatlar ve teoremleri çözmek üzere tasarlanan yapay zeka modeli Prover’ı sessizce güncelledi.

South China Morning Post’un haberine göre, DeepSeek, Prover’ın en son sürümü olan V2’yi Çarşamba günü Hugging Face yapay zeka geliştirme platformuna yükledi. Modelin, şirketin 671 milyar parametreye sahip ve uzmanlar karışımı (MoE) mimarisini benimseyen V3 modeli üzerine inşa edildiği belirtiliyor.

Parametreler kabaca bir modelin problem çözme becerilerine karşılık gelirken, MoE görevleri alt görevlere ayırarak daha küçük, uzmanlaşmış “uzman” bileşenlere devreder.

DeepSeek, Prover’ı en son Ağustos ayında güncellemiş ve o zamanlar bunu resmi teorem kanıtlama ve matematiksel akıl yürütme için özel bir model olarak tanımlamıştı.

Şubat ayında Reuters, DeepSeek’in ilk kez dış kaynaklardan fon toplamayı düşündüğünü bildirmişti. Şirket yakın zamanda genel amaçlı bir model olan V3’ün yükseltilmiş bir sürümünü yayınladı ve yakın zamanda R1 “akıl yürütme” modelini güncellemesi bekleniyor.

**Özetle:** DeepSeek, matematiksel yetenekleriyle öne çıkan yapay zeka modeli Prover’ı geliştirerek, yapay zeka alanındaki rekabeti kızıştırıyor ve matematiksel problem çözme alanında yeni kapılar açıyor. Modelin performansı ve gelecekteki güncellemeleri merakla bekleniyor.

## DeepSeek Boosts its AI Math Skills with Prover Upgrade

Chinese AI lab DeepSeek has enhanced its capabilities in mathematical problem-solving with an updated version of its AI model, Prover. The upgrade, quietly rolled out on Wednesday, sees the release of Prover V2 on the Hugging Face AI development platform.

Prover is specifically designed to tackle complex mathematical proofs and theorems. According to the South China Morning Post, this latest version is built on DeepSeek’s powerful V3 model, boasting a staggering 671 billion parameters. The architecture employs a Mixture-of-Experts (MoE) approach, a technique that divides intricate tasks into smaller, more manageable subtasks and delegates them to specialized “expert” components. This method enhances efficiency and allows for more nuanced problem-solving.

The number of parameters in a model roughly correlates to its ability to handle complex problems. The MoE architecture further refines this capability by streamlining the problem-solving process.

DeepSeek last updated Prover in August of the previous year, touting it as a bespoke model tailored for formal theorem proving and mathematical reasoning.

This upgrade comes at a time when DeepSeek is attracting considerable attention. As Reuters reported in February, the company is reportedly considering its first external funding round. Beyond Prover, DeepSeek recently launched an upgraded version of its V3 general-purpose model and is expected to unveil an updated version of its R1 “reasoning” model soon, indicating a broad push across its AI portfolio. This move solidifies DeepSeek’s position as a key player in the rapidly evolving landscape of AI-powered mathematical reasoning.