最近领导指示需要做DeepSeek大模型本地部署,给部门里面的领导和同事们使用。这个事情本身对每个打工人来说都是个机会,但是也存在一定的风险,至少我能想到的有两点: 1、 公司目前没有专门的GPU设备,就拿CPU服务器部署。这个问题说来简单,但CPU部署大模型 ...

2025 年 1 月 20 日，DeepSeek（深度求索）正式发布了 DeepSeek-R1 模型，并由此开启了新的开源 LLM 时代。在 Hugging Face 刚刚发布的《「DeepSeek 时刻」一周年记》博客中，DeepSeek-R1 也是该平台上获赞最多的模型。 如今，刚过一年时间，DeepSeek 的新模型又在 GitHub 悄然现身。

智东西1月13日报道，昨晚，DeepSeek又开源了，还发布一篇新论文。这次，他们提出了一种全新的“条件记忆”机制——Engram，旨在让MoE模型在保持巨量参数的同时，更高效地处理语言信息。 DeepSeek创始人兼CEO梁文锋、北大王选计算机研究所的赵东岩和张辉帅教授 ...

DeepSeek released an updated version of their popular R1 reasoning model (version 0528) with – according to the company – increased benchmark performance, reduced hallucinations, and native support ...

编程王者Claude地位不稳了？？ 大模型竞技场最新战报出炉，DeepSeek新版R1拿下网页编程第一，小胜Claude Opus 4。 要知道Claude Opus 4可是公认的“全球最强编码模型”。 so，能在编程上战胜Claude Opus 4，DeepSeek-R1-0528到底啥来头？ 看名字你可能以为是个小版本更新，但 ...

DeepSeek R1论文扩至86页，强化学习提升推理能力，开源媲美闭源模型。 R1论文暴涨至86页！DeepSeek向世界证明：开源不仅能追平闭源，还能教闭源做事！ 全网震撼！ 两天前，DeepSeek悄无声息地把R1的论文更新了，从原来22页「膨胀」到86页。 全新的论文证明，只需要 ...

DeepSeek Prover V2 is an advanced Large Language Model, and it is primarily used for solving mathematical equations with the help of Lean 4. Lean 4 is a functional programming language and interactive ...