Courtesy of SCMP
Rangkuman Berita: 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.
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.Rangkuman Berita Serupa
Teknologi
27 hari lalu
73 dibaca
DeepSeek meluncurkan metode penalaran AI baru di tengah antisipasi untuk model R2.
Teknologi
1 bulan lalu
27 dibaca
DeepSeek mengesankan para pengkode dengan model V3 open-source yang lebih kuat.
Teknologi
3 bulan lalu
35 dibaca
o3-Mini dari OpenAI adalah model AI yang lebih ramping yang dapat bersaing dengan DeepSeek.
Teknologi
3 bulan lalu
123 dibaca
Para ilmuwan berbondong-bondong ke DeepSeek: bagaimana mereka menggunakan model AI yang sangat populer ini.
Teknologi
3 bulan lalu
219 dibaca
DeepSeek: Segala yang perlu Anda ketahui tentang aplikasi chatbot AI
Teknologi
3 bulan lalu
74 dibaca