Tech

Microsoft และ Meta ใช้ AI การคาดการณ์เอาชนะปัญหาภาษี ของ โดนัลด์ ทรัมป์

Microsoft และ Meta Platforms รายงานผลประกอบการประจำไตรมาสเดือนมีนาคมที่สูงกว่าที่ตลาดคาดการณ์ ซึ่งบ่งชี้ว่าความต้องการปัญญาประดิษฐ์ (AI) ที่เพิ่มขึ้นช่วยให้ทั้งสองบริษัทสามารถรับมือกับความไม่แน่นอนทางเศรษฐกิจที่เกิดจากภาษีศุลกากรได้. จุดเด่นของสองยักษ์ใหญ่ด้านเทคโนโลยีของสหรัฐฯ ได้แก่ ธุรกิจคลาวด์ Azure ของ Microsoft และรายได้จากโฆษณาของ Meta ซึ่งทั้งคู่ได้รับการสนับสนุนอย่างมากจากการพัฒนา AI ของพวกเขา. หุ้นของ Microsoft และ Meta พุ่งขึ้น 7%...

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

DeepSeek เผยแพร่โมเดลปัญญาประดิษฐ์โอเพนซอร์สรุ่นใหม่ DeepSeek-Prover-V2-671B ซึ่งโมเดล Prover ถูกออกแบบมาเพื่อแก้ปัญหาทางคณิตศาสตร์เป็นหลัก โดย Prover V2 เป็นรุ่นถัดจาก V1.5 ที่ออกมาเมื่อเดือนสิงหาคม. ทั้งนี้ DeepSeek ไม่ได้ออกประกาศอย่างเป็นทางการถึงรายละเอียดของโมเดลนี้ แต่ใช้วิธีอัปโหลดโค้ดทาง Hugging Face ซึ่ง ณ เวลานี้ Readme ก็ยังไม่มีรายละเอียดด้วย โดยหากดูตามชื่อโมเดลก็มีพารามิเตอร์จำนวน 671B.