entitas
PROVER
Prover adalah model AI yang dirancang untuk menyelesaikan bukti dan teorema matematis. Versi terbarunya, V2, baru saja dirilis dan dibangun di atas model V3 yang memiliki 671 miliar parameter.
Teknologi
1 bulan lalu
DeepSeek Memperbarui Prover V2: Langkah Besar dalam Pembuktian Teorema Matematika
Tentang Halaman Ini
Prover adalah model AI yang dirancang untuk menyelesaikan bukti dan teorema matematis. Versi terbarunya, V2, baru saja dirilis dan dibangun di atas model V3 yang memiliki 671 miliar parameter.