Courtesy of TechCrunch

DeepSeek Luncurkan Prover V2, Model AI Terbaru untuk Memecahkan Teorema Matematika

Memberikan informasi tentang pembaruan terbaru dari model AI Prover oleh DeepSeek dan rencana masa depan perusahaan.

30 Apr 2025, 19.20 WIB

167 dibaca

Ikhtisar 15 Detik

DeepSeek telah memperbarui model AI Prover untuk membuktikan teorema matematis.
Model Prover V2 dibangun di atas arsitektur MoE dengan 671 miliar parameter.
DeepSeek sedang mempertimbangkan untuk mendapatkan pendanaan luar untuk pengembangan lebih lanjut.

China - DeepSeek, sebuah laboratorium AI di China, telah memperbarui model AI mereka yang dikenal sebagai Prover ke versi V2. Pembaruan ini diunggah ke platform pengembangan AI Hugging Face pada hari Rabu. Prover V2 dibangun di atas model V3 yang memiliki 671 miliar parameter dan menggunakan arsitektur mixture-of-experts (MoE).

Arsitektur MoE memungkinkan model untuk memecah tugas menjadi subtugas dan mendelegasikannya ke komponen 'ahli' yang lebih kecil dan khusus. DeepSeek terakhir memperbarui Prover pada bulan Agustus dan menggambarkannya sebagai model AI yang tersedia secara terbuka untuk pembuktian teorema formal dan penalaran matematika.

Pada bulan Februari, Reuters melaporkan bahwa DeepSeek sedang mempertimbangkan untuk mencari pendanaan eksternal untuk pertama kalinya. Perusahaan ini baru-baru ini merilis versi yang ditingkatkan dari model V3, sebuah model tujuan umum, dan diharapkan segera memperbarui model R1 'reasoning'.

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

Analisis Kami: Pembaruan Prover yang berbasis model besar dengan arsitektur MoE menunjukkan bahwa DeepSeek serius dalam mengembangkan AI yang fokus pada pembuktian formal, sebuah domain yang sangat menantang bagi kecerdasan buatan. Ini menandai kemajuan teknologi AI yang tidak hanya mengandalkan jumlah parameter besar, tetapi juga efisiensi distribusi tugas melalui arsitektur MoE yang inovatif.

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

Analisis Ahli:

Yoshua Bengio: Penggunaan arsitektur mixture-of-experts dapat meningkatkan efisiensi model besar secara signifikan dan sangat menjanjikan dalam penerapan pada pembuktian matematis kompleks.

Andrew Wiles: Pengembangan AI seperti Prover yang mampu memecahkan teorema matematika secara otomatis merupakan terobosan yang dapat mendorong kemajuan matematika dan membuat bidang ini lebih mudah diakses.

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

What's Next: Dengan pembaruan ini, kemungkinan DeepSeek akan menjadi pemain utama dalam penelitian matematika berbasis AI dan mempercepat adopsi teknologi AI dalam dunia pendidikan serta riset ilmiah yang membutuhkan pembuktian matematis otomatis.

Referensi:
[1] https://techcrunch.com/2025/04/30/deepseek-upgrades-its-ai-model-for-math-problem-solving/