Courtesy of SCMP
DeepSeek Rilis Model AI Prover-V2, Tantang Alibaba dalam Persaingan AI
Menginformasikan tentang peluncuran model AI baru oleh DeepSeek dan persaingan dalam pengembangan AI generatif.
30 Apr 2025, 18.12 WIB
56 dibaca
Share
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.
Pertanyaan Terkait
Q
Apa yang dirilis oleh DeepSeek?A
DeepSeek merilis model Prover-V2.Q
Kapan DeepSeek merilis model Prover-V2?A
DeepSeek merilis model Prover-V2 pada hari Rabu, sehari setelah Alibaba meluncurkan Qwen3.Q
Apa tujuan dari model Prover-V2?A
Tujuan dari model Prover-V2 adalah untuk menyelesaikan masalah terkait matematika.Q
Di mana DeepSeek mengunggah model mereka?A
DeepSeek mengunggah model mereka ke Hugging Face.Q
Apa yang diharapkan dari model R2 yang akan datang?A
Diharapkan model R2 akan diluncurkan segera dan akan berfokus pada kemampuan penalaran.Artikel Serupa
Teknologi
18 hari lalu
35 dibaca
DeepSeek Rilis Pembaruan Model AI R1-0528 Tantang OpenAI dan Alibaba
Teknologi
1 bulan lalu
51 dibaca
DeepSeek Rilis Prover-V2, Publik Menunggu Model Penalaran R2
Teknologi
1 bulan lalu
115 dibaca
DeepSeek Memperbarui Prover V2: Langkah Besar dalam Pembuktian Teorema Matematika
Teknologi
1 bulan lalu
137 dibaca
Alibaba Luncurkan Qwen3: Model AI Open-Source Terbaru dengan Kemampuan Multibahasa
Teknologi
1 bulan lalu
58 dibaca
DeepSeek-R2: Model AI Baru yang Lebih Efisien dan Murah dari China
Teknologi
2 bulan lalu
101 dibaca