Courtesy of SCMP
DeepSeek Rilis Prover-V2, Publik Menunggu Model Penalaran R2
Menginformasikan tentang rilis model AI Prover-V2 oleh DeepSeek dan dampaknya terhadap antisipasi publik untuk model penalaran R2 yang akan datang.
01 Mei 2025, 17.00 WIB
54 dibaca
Share
Ikhtisar 15 Detik
- DeepSeek merilis model AI baru bernama Prover-V2 yang fokus pada pembuktian matematis.
- Alibaba meluncurkan model AI Qwen3 yang mengklaim lebih unggul dari model R1 DeepSeek.
- Pasar AI semakin kompetitif dengan banyak perusahaan besar yang merilis model-model baru.
Hangzhou, China - DeepSeek, sebuah start-up AI dari China, baru saja merilis model AI baru bernama Prover-V2 yang memiliki 671 miliar parameter. Model ini merupakan peningkatan dari model V3 yang berfokus pada matematika dan dirancang untuk menangani bukti matematika. Meskipun rilis ini menarik perhatian, banyak yang masih menunggu model penalaran R2 yang akan datang dari DeepSeek.
Rilis Prover-V2 datang sehari setelah Alibaba meluncurkan keluarga model AI Qwen3, yang diklaim melampaui model penalaran R1 dari DeepSeek di berbagai area. DeepSeek-R1, yang diluncurkan pada Januari, mengejutkan komunitas AI global dengan penggunaan sumber daya yang efisien dan kinerja yang sebanding dengan model OpenAI o1.
DeepSeek belum mengungkapkan jadwal rilis atau detail tentang R2, tetapi rilis Prover-V2 telah mendapatkan pujian dari komunitas AI dan matematika. Sementara itu, perusahaan teknologi besar China terus meningkatkan taruhan dengan rilis model bahasa besar mereka sendiri, membuat persaingan di bidang AI semakin ketat.
Pertanyaan Terkait
Q
Apa yang dirilis oleh DeepSeek baru-baru ini?A
DeepSeek baru saja merilis model AI baru bernama Prover-V2.Q
Apa tujuan dari model Prover-V2?A
Model Prover-V2 dirancang untuk menangani pembuktian matematis.Q
Bagaimana Prover-V2 dibandingkan dengan model AI lainnya?A
Prover-V2 adalah peningkatan dari model sebelumnya dan menarik perhatian, tetapi bukan lompatan generasi berikutnya.Q
Apa yang dikatakan Alibaba tentang model AI mereka?A
Alibaba mengklaim bahwa model Qwen3 mereka melampaui model R1 dari DeepSeek dalam berbagai aspek.Q
Apa yang diharapkan dari model R2 yang akan datang dari DeepSeek?A
Masih belum ada jadwal rilis atau detail tentang model R2 dari DeepSeek.Artikel Serupa
Teknologi
21 hari lalu
36 dibaca
DeepSeek Rilis Pembaruan Model AI R1-0528 Tantang OpenAI dan Alibaba
Teknologi
1 bulan lalu
69 dibaca
Debat Teknologi DeepSeek: Pesaing AI China yang Masih Tertinggal dari AS
Teknologi
1 bulan lalu
119 dibaca
DeepSeek Memperbarui Prover V2: Langkah Besar dalam Pembuktian Teorema Matematika
Teknologi
1 bulan lalu
59 dibaca
DeepSeek Rilis Model AI Prover-V2, Tantang Alibaba dalam Persaingan AI
Teknologi
1 bulan lalu
59 dibaca
DeepSeek-R2: Model AI Baru yang Lebih Efisien dan Murah dari China
Teknologi
2 bulan lalu
106 dibaca