Courtesy of SCMP

DeepSeek Rilis Prover-V2, Meningkatkan AI Matematika Jelang Model 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

88 dibaca

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.

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

Analisis Kami: Prover-V2 menunjukkan DeepSeek terus berinovasi di bidang AI matematika meskipun keterbatasan akses chip canggih. Namun, tanpa kejelasan tentang R2, mereka berisiko tertinggal dari raksasa seperti Alibaba dan OpenAI yang terus memperbarui teknologi mereka dengan cepat.

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

Analisis Ahli:

Andrej Karpathy: Pengembangan model AI fokus matematika seperti Prover-V2 adalah langkah penting untuk memperdalam kemampuan reasoning AI, tapi keberhasilan jangka panjang bergantung pada integrasi dan skala model.

Yann LeCun: Membuat model yang efisien dengan sumber daya terbatas sangat krusial; ini menunjukkan potensi besar start-up kecil untuk bersaing di pasar AI global yang didominasi oleh perusahaan besar.

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

What's Next: DeepSeek kemungkinan akan melanjutkan pengembangan model reasoning R2 yang lebih canggih, dengan kemungkinan menghadirkan teknologi AI yang lebih efisien dan kompetitif di pasar global.

Referensi:
[1] https://www.scmp.com/tech/big-tech/article/3308678/deepseeks-prover-maths-solving-model-fuels-speculation-about-next-gen-r2-progress?module=top_story&pgtype=section