Courtesy of SCMP

DeepSeek Rilis Prover-V2 untuk Saingi AI Alibaba dan Siap Luncurkan Model Reasoning Baru

Menginformasikan tentang peluncuran model AI baru oleh DeepSeek dan persaingan dalam pengembangan AI generatif.

30 Apr 2025, 18.12 WIB

87 dibaca

Ikhtisar 15 Detik

DeepSeek meluncurkan model Prover-V2 yang fokus pada matematika.
Persaingan dalam pengembangan AI generatif semakin ketat dengan peluncuran model oleh Alibaba dan DeepSeek.
Model Prover-V2 diunggah ke Hugging Face tanpa pengumuman resmi dari DeepSeek.

Hangzhou, China - Start-up China bernama DeepSeek baru saja merilis model AI spesialis baru bernama Prover-V2, sehari setelah Alibaba meluncurkan generasi ketiga dari keluarga Qwen. Peluncuran ini dilakukan tanpa pengumuman resmi di media sosial, dan model tersebut diunggah ke Hugging Face, komunitas AI open-source terbesar di dunia.

Prover-V2 adalah model yang dirancang khusus untuk menyelesaikan masalah matematika dan dibangun di atas model V3 DeepSeek yang memiliki 671 miliar parameter. Model ini menggunakan arsitektur mixture-of-experts untuk efisiensi biaya pelatihan dan operasi, yang menunjukkan bahwa DeepSeek serius dalam mengembangkan kemampuan AI generatif.

Selain itu, ada spekulasi bahwa DeepSeek akan segera meluncurkan model reasoning R2 yang baru. Meskipun belum ada detail lebih lanjut yang diberikan, langkah ini menunjukkan bahwa persaingan dalam pengembangan AI generatif semakin ketat, dengan berbagai perusahaan berlomba-lomba untuk merilis model-model terbaru mereka.

--------------------

Analisis Kami: Langkah tanpa pengumuman resmi dari DeepSeek menunjukkan strategi stealth untuk mengejutkan pasar dan memperkuat posisinya dalam kompetisi AI khusus. Dengan fokus pada kemampuan matematika, model ini bisa menjadi pionir bagi AI yang lebih adaptif di bidang sains dan teknologi, meningkatkan potensi aplikasi dalam pendidikan dan riset.

--------------------

Analisis Ahli:

Andrew Ng: Pengembangan model spesifik seperti Prover-V2 adalah arah penting untuk membuat AI lebih berguna dalam aplikasi nyata, terutama dalam domain seperti matematika yang menuntut ketelitian tinggi.

Yann LeCun: Penggunaan arsitektur mixture-of-experts dapat memangkas biaya komputasi sekaligus meningkatkan performa, sebuah inovasi yang sangat diperlukan untuk skala model besar.

--------------------

What's Next: DeepSeek kemungkinan akan meluncurkan model reasoning R2 dalam waktu dekat yang dapat memperkuat kemampuan AI di bidang matematika dan reasoning, sehingga memacu persaingan teknologi AI di Tiongkok semakin ketat.

Referensi:
[1] https://www.scmp.com/tech/tech-trends/article/3308566/deepseek-quietly-updates-open-source-model-handles-maths-proofs?module=top_story&pgtype=section