MANADOPOST.ID – DeepSeek memperkenalkan teknologi baru yang membuat sistem AI mampu memeriksa dan menilai logikanya sendiri sebelum menghasilkan jawaban.
DeepSeek menyebut teknologi ini sebagai konsep verifikasi mandiri yang memastikan hasil perhitungan matematika menjadi lebih dipercaya.
Sistem ini dibuat agar AI tidak hanya menjawab benar tetapi juga menunjukkan alasan yang runtut dan bisa dibuktikan.
Menurut informasi dari Antara, DeepSeek mengembangkan cara kerja baru yang fokus pada bukti yang bisa ditinjau ulang secara jelas.
DeepSeek menjelaskan bahwa verifikasi mandiri merupakan langkah penting agar AI bisa dipakai di bidang yang sangat sensitif seperti matematika kompetitif.
Teknologi ini dianggap menjanjikan karena mampu meningkatkan kemampuan model dalam memahami soal dan membuktikan jawabannya.
Pihak pengembang menyebut bahwa sistem ini disiapkan untuk menciptakan AI matematika yang lebih kuat dan stabil.
Baca Juga: Gambar Gratis di Nano Banana Kini Tak Sebebas Dulu
DeepSeek juga menyampaikan bahwa pendekatan baru ini dapat mengurangi risiko kesalahan logika yang biasanya luput pada model AI umum.
Dalam uji kemampuan, model ini berhasil menorehkan prestasi yang mengejutkan.
Menurut laporan Antara, model DeepSeek mencapai tingkat medali emas pada Olimpiade Matematika Internasional 2025.
Model tersebut juga meraih pencapaian tinggi pada Olimpiade Matematika China 2024.
Kemampuannya semakin terbukti saat mengikuti Ujian Putnam 2024, salah satu ujian matematika tersulit di dunia.
Dilansir dari Antara, model ini berhasil mencetak 118 dari 120 poin dalam ujian tersebut.
Perolehan ini jauh melewati skor tertinggi manusia yang berada di angka 90 poin.
DeepSeek menyebut ini sebagai bukti bahwa sistem AI mereka mampu memahami soal matematika tingkat tinggi.
Kemampuan model semakin diuji lewat arena IMO-ProofBench.
IMO-ProofBench adalah sistem pengujian yang mempertemukan dua model AI untuk saling menguji bukti matematika.
Satu model bertugas sebagai pembuat bukti, sementara model lainnya berperan sebagai pemeriksa logika.
Menurut tim pengembang, mekanisme ini penting untuk memastikan proses berpikir AI benar-benar sesuai dengan langkah matematika yang tepat.
Pendekatan ini juga membantu menghindari situasi saat AI menjawab benar tetapi memakai alasan yang salah.
Tim DeepSeek berharap teknologi verifikasi mandiri dapat menjadi standar baru untuk pengembangan AI matematika masa depan.
DeepSeek menegaskan bahwa mereka melihat peluang besar untuk memperluas penggunaan AI dalam bidang sains dan pendidikan. (aak)
Editor : Richard Lawongan