Arsip Tag: model AI 671 miliar parameter

DeepSeek Prover-V2 hadir sebagai salah satu gebrakan terbaru di ranah kecerdasan buatan yang fokus pada matematika tingkat lanjut. Diluncurkan pada 2 Mei 2025, model AI ini langsung menarik perhatian karena kemampuannya yang luar biasa dalam pemecahan masalah matematika dan pembuktian teorema formal. Dengan jumlah parameter yang mencapai 671 miliar, Prover-V2 …