Vietnam.vn - Nền tảng quảng bá Việt Nam

DeepSeek membangunkan model AI penaakulan matematik yang mampu mengesahkan kendiri

Model AI DeepSeekMath-V2 dianggap sebagai satu kejayaan dalam bidang penaakulan matematik AI, menetapkan standard prestasi baharu dan mengembangkan had keupayaan menyelesaikan masalah menggunakan pembelajaran mesin.

VietnamPlusVietnamPlus28/11/2025

Pada 28 November, syarikat kecerdasan buatan (AI) China DeepSeek mengumumkan model AI DeepSeekMath-V2, yang dianggap sebagai satu kejayaan dalam bidang penaakulan matematik AI, menetapkan standard prestasi baharu dan memperluaskan had keupayaan menyelesaikan masalah menggunakan pembelajaran mesin.

Kod sumber DeepSeekMath-V2 tersedia secara terbuka pada Wajah Memeluk dan GitHub.

Model ini menyepadukan rangka kerja pengesahan kendiri untuk menyemak kesahihan rantaian hujah, selain menjana jawapan yang betul, sesuatu yang masih bergelut dengan banyak model AI semasa.

Keputusan penilaian menunjukkan bahawa DeepSeekMath-V2 layak untuk pingat emas di International Mathematical Olympiad (IMO) 2025 dan Chinese Mathematical Olympiad (CMO) 2024.

Terutama, model itu memperoleh 118/120 mata dalam peperiksaan Putnam 2024, jauh melepasi markah 90 mata, rekod tertinggi yang pernah dicapai oleh manusia.

Keupayaan penaakulan logik model diuji menggunakan sistem IMO-ProofBench, penanda aras khusus yang digunakan untuk mengesahkan ketepatan penaakulan model AI.

DeepSeekMath-V2 mempamerkan prestasi unggul berbanding banyak model tercanggih lain, termasuk DeepThink DeepMind.

IMO-ProofBench beroperasi pada mekanisme semakan silang: satu model mengambil peranan "membuktikan", menjana rantaian hujah matematik, manakala model lain mengambil peranan "mengesah," menilai kekuatan hujah.

Mekanisme ini membolehkan pengesanan ralat dalam pemikiran model, kelemahan yang wujud dalam sistem AI kontemporari.

Menurut pasukan pembangunan, kaedah pengesahan kendiri DeepSeekMath-V2 membantu menyelesaikan had terbesar model AI semasa: keupayaan untuk menjana jawapan yang betul tetapi berdasarkan alasan yang salah atau tidak konsisten.

DeepSeek percaya bahawa kemajuan ini menunjukkan bahawa pendekatan "penaakulan matematik mengesahkan sendiri" berpotensi untuk menjadi asas teras bagi generasi AI matematik yang lebih berkuasa, boleh dipercayai dan telus pada masa hadapan./.

(TTXVN/Vietnam+)

Sumber: https://www.vietnamplus.vn/deepseek-phat-trien-mo-hinh-ai-lap-luan-toan-hoc-co-kha-nang-tu-kiem-chung-post1079916.vnp


Komen (0)

No data
No data

Dalam topik yang sama

Dalam kategori yang sama

Pho 'terbang' 100,000 VND/mangkuk menimbulkan kontroversi, masih sesak dengan pelanggan
Matahari terbit yang indah di atas lautan Vietnam
Mengembara ke "Miniature Sapa": Selami keindahan pergunungan dan hutan Binh Lieu yang megah dan puitis
Kedai kopi Hanoi bertukar ke Eropah, menyembur salji buatan, menarik pelanggan

Daripada pengarang yang sama

Warisan

Rajah

Perniagaan

Tulisan Thai - "kunci" untuk membuka khazanah ilmu selama beribu-ribu tahun

Peristiwa semasa

Sistem Politik

Tempatan

produk