news DeepSeek ออกโมเดลรุ่นใหม่ Prover สำหรับการแก้ปัญหาทางคณิตศาสตร์

[News News is verified member.]

DeepSeek เผยแพร่โมเดลปัญญาประดิษฐ์โอเพนซอร์สรุ่นใหม่ DeepSeek-Prover-V2-671B ซึ่งโมเดล Prover ถูกออกแบบมาเพื่อแก้ปัญหาทางคณิตศาสตร์เป็นหลัก

ทั้งนี้ DeepSeek ไม่ได้ออกประกาศอย่างเป็นทางการถึงรายละเอียดของโมเดลนี้ แต่ใช้วิธีอัปโหลดโค้ดทาง Hugging Face ซึ่ง ณ เวลานี้ Readme ก็ยังไม่มีรายละเอียดด้วย โดยหากดูตามชื่อโมเดลก็มีพารามิเตอร์จำนวน 671B

Prover V2 เป็นรุ่นถัดจาก V1.5 ที่ออกมาเมื่อเดือนสิงหาคม

ที่มา: South China Morning Post



Topics:
DeepSeek
Artificial Intelligence
Math

Continue reading...