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

[News]

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...

 

ข่าว  Duolingo เพิ่มหลักสูตรเป็นเท่าตัว พัฒนาโดย Gen AI หลังเอา AI มาแทนพนักงานสัญญาจ้าง

ข่าว  Firefox มีฟีเจอร์จัดกลุ่มแท็บตามหมวดหมู่ที่ต้องการแล้ว