ข่าว 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...

 

ข่าว  Borderlands 4 ประกาศวันขายใหม่ 12 ก.ย. 2025 เลื่อนให้เร็วขึ้น 2 สัปดาห์

ข่าว  YouTube ปรับการแสดงผลบนสมาร์ททีวี เพิ่มแท็บ Podcasts และรายการวิดีโอแนะนำแบบใหม่ๆ