DeepSeek Prover-V2: LLM พิสูจน์คณิตศาสตร์
DeepSeek เปิดตัว Prover-V2: LLM โอเพนซอร์สปฏิวัติการพิสูจน์ทางคณิตศาสตร์ด้วย Lean 4 framework และ ProverBench
Tag: DeepSeek
ผลกระทบ Deepseek-R1: ตัวเร่งนวัตกรรม LLM
Deepseek-R1 เร่งการวิจัย LLM เชิงเหตุผล ด้วยประสิทธิภาพสูงและทรัพยากรที่น้อยลง
100 วัน DeepSeek: จุดประกายนวัตกรรม AI
รายงานเจาะลึกถึงผลกระทบของการขึ้นสู่ตำแหน่งผู้นำของ DeepSeek ต่อการลงทุน กลยุทธ์ และการแข่งขันในอุตสาหกรรม AI หลังจากการเปิดตัว DeepSeek R1
DeepSeek: การผงาดของ AI จากจีน
เจาะลึก DeepSeek: การเติบโตของขุมพลัง AI จีน, จุดเริ่มต้น, โมเดล AI ที่ท้าทาย, แนวทางที่แตกต่าง และอนาคตที่ไม่แน่นอน
การแสวงหาอธิปไตย AI: การตอบสนองของไต้หวันต่อ DeepSeek
ไต้หวันตอบสนองต่อ DeepSeek ด้วยการพัฒนาโมเดลภาษาที่เป็นเอกลักษณ์ทางวัฒนธรรมและค่านิยมประชาธิปไตย
ผู้เชี่ยวชาญเตือน: AI สร้างรหัสผ่านเสี่ยง!
ผู้เชี่ยวชาญเตือนการใช้ AI เช่น DeepSeek และ Llama สร้างรหัสผ่าน เนื่องจากพบช่องโหว่ที่ทำให้แฮกเกอร์เข้าถึงได้ง่ายกว่ารหัสผ่านที่สร้างโดยคน
AI Battle: DeepSeek R1 จุดประกายตอบสนองทั่วโลก
DeepSeek R1 เร่งการแข่งขัน AI ทั่วโลก Meta, Google, OpenAI, Anthropic, Alibaba และ Baidu ตอบสนองอย่างไร
จีนใช้ DeepSeek AI พัฒนาเครื่องบินรบ
จีนใช้ DeepSeek AI พัฒนาเครื่องบินรบรุ่นใหม่ เร่งการออกแบบ เพิ่มความแม่นยำ และลดต้นทุนการผลิต
ชิป AI ปฏิวัติ: Vimicro DeepSeek ในชิปเดียว
Zhongxing Micro เปิดตัวชิป AI "Starlight Intelligence No. 5" รัน DeepSeek models อิสระ ชิปแรกที่ควบคุมได้ รองรับภาษาและ visual models ในชิปเดียว.
DeepSeek: ขับเคลื่อน AI สู่ธุรกิจ ลดต้นทุน
DeepSeek ลดต้นทุนโมเดล AI พื้นฐาน ช่วยให้ธุรกิจขนาดเล็กเข้าถึง AI ได้ง่ายขึ้น เร่งการนำ AI ไปใช้ในวงกว้าง และส่งเสริมการแข่งขันในอุตสาหกรรม