DeepSeek AI：更少芯片，更高可持续性？
Greenly研究表明，DeepSeek模型更高效，训练更快且芯片用量更少。其混合专家模型和开源策略也促进了可持续AI发展。
Tag: DeepSeek
DeepSeek发布Prover-V2：开源LLM革新形式化数学证明
DeepSeek发布了Prover-V2，这是一个开源LLM，旨在革新Lean 4框架内的形式化定理证明。它利用DeepSeek-V3，并通过递归证明流水线工作。
Deepseek-R1效应：推理语言模型创新的催化剂
Deepseek-R1加速了推理语言模型的发展，通过数据质量、强化学习和创新训练策略实现了高效推理。
DeepSeek百日：AI创新与创业的催化剂
DeepSeek R1的爆红激发了中国AI创业热情，重塑了投资格局，降低了AI应用门槛，加速了商业化进程。中国AI团队正赢得海外投资者的青睐。
DeepSeek：中国AI力量的崛起
DeepSeek迅速崛起，挑战美国在AI领域的领导地位，引发关于AI芯片需求的讨论。本文深入探讨其发展历程、模型性能、商业模式及面临的挑战。
AI主权之路：台湾如何应对DeepSeek
面对中国DeepSeek等AI技术的崛起，台湾致力于开发反映自身文化和价值观的语言模型，捍卫AI主权。
专家警告：AI生成密码存漏洞
专家警告，DeepSeek和Llama等AI模型生成的密码存在严重漏洞，容易被破解，不应依赖AI生成密码。
AI战场：DeepSeek R1引发的全球响应
DeepSeek R1的发布，在全球AI领域引发激烈竞争，促使巨头们加速技术创新、生态建设和用户争夺。
中国利用DeepSeek AI研发尖端战机
中国正利用国产DeepSeek AI平台革新下一代战机设计，提升国防科技实力，实现技术自主。
中星微发布AI芯片：单芯片运行DeepSeek大模型
中星微电子推出星光智能5号AI芯片，可在单芯片上独立运行DeepSeek的7B、8B和16B大模型，无需外部处理能力。