1 พ.ค. 2025 เวลา 05:20 • วิทยาศาสตร์ & เทคโนโลยี

DeepSeek เปิดตัว AI ใหม่ "Prover" เก่งเลขกว่าเดิม

โดย
DeepSeek บริษัท AI ชื่อดัง ได้เผยแพร่โมเดลปัญญาประดิษฐ์โอเพนซอร์สรุ่นใหม่ล่าสุดชื่อ DeepSeek-Prover-V2-671B โดยโมเดลในตระกูล "Prover" นี้ถูกออกแบบมาโดยเฉพาะสำหรับการแก้ปัญหาทางคณิตศาสตร์
อย่างไรก็ตาม DeepSeek ไม่ได้มีการประกาศอย่างเป็นทางการเกี่ยวกับรายละเอียดของโมเดลนี้ แต่ได้อัปโหลดโค้ดไว้บนแพลตฟอร์ม Hugging Face ซึ่งในขณะนี้ไฟล์ Readme ก็ยังไม่มีข้อมูลรายละเอียดใดๆ เกี่ยวกับโมเดลดังกล่าว แต่จากชื่อรุ่นก็สามารถทราบได้ว่าโมเดลนี้มีจำนวนพารามิเตอร์มากถึง 671 พันล้านพารามิเตอร์
Prover V2 เป็นรุ่นต่อจาก Prover V1.5 ที่เคยเปิดตัวไปเมื่อเดือนสิงหาคมปีที่แล้ว
✏️ Shoper Gamer
  • ​สำหรับคนที่สนใจ 👇
Credit :
👇
  • ​https://www.blognone.com/node/146161
  • ​https://www.scmp.com/tech/tech-trends/article/3308566/deepseek-quietly-updates-open-source-model-handles-maths-proofs
โฆษณา