DeepSeek Prover：最新炸裂模型发布！
号外号外！DeepSeek推出最新炸裂模型！数学证明的终极革命来了！DeepSeek一小时前刚推出DeepSeek-Prover-V2-671B，这将用AI重新定义数学推理的边界！ 这款由 DeepSeek打造的超级数学大脑，拥有 6710亿参数 的惊人规模…
本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 AI产品狙击手！
相关推荐
2025-05-03
DeepSeek数学模型测评：难道是我打开方式不对？
昨晚分享了DeepSeek最新推出的专门做数学题的DeepSeek-Prover-V2-671B，今天就发现huggingface已经有space托管出来了，我们立刻上去看下。 既然是专门处理数学模型的，我们就找一些数学题给他做下吧… 访问入口
2025-02-17
AskManyAI：DeepSeek r1满血版免费用.
.DeepSeek R1满血版免费用啊！我们知道国产之光DeepSeek r1火遍全球，奈何官方托管访问量过大及其他原因导致老是出现服务繁忙，自家部署的话有只能部署个蒸馏小参数版本。今天跟大家介绍一个可以免费用DeepSeek r1满血版的方式… 访问入口
2025-02-10
DeepSeek Browser Use：OpenAI Deep Research免费平替
DeepSeek版Deep Research啊！上两天我才分享了个视频介绍OpenAI最新推出的Deep Research，可以自动搜索上百个网页来帮我们生成专业的报告，可惜需要价值200刀每月的Pro账号才能用。今天我想给大家介绍一个免费的使用方案，就是DeepSeek加我之前介绍过的Browser Use，如果大家不清楚Browser Use的，可以先去翻看下我这个视频。而DeepSeek呢，我们只需要用免费的蒸馏模型就能达到想要的效果…
2025-04-02
DeepSeek Coder：免费零代码创意变APP!
llamacoder接入最新deepseek v3.1，实现免费零代码实现一个app。llamacoder我之前介绍过很多次了，是一个开源项目，由together ai搞出来的。有提供在线访问，也可以本地部署。我们先在线玩下，去到llamacoder… 访问入口
2025-06-03
DeepSeek Engineer！免费创意变App！
兄弟们，还记得之前跟大家介绍过的超简洁AI编程工具DeepSeek Engineer V1吗? 这几天他们更新了！新版 V2 超好用，是个轻量级 AI 编码助手，本地就能玩。 Github项目访问入口
2025-03-31
DeepSeek R1 vs V3：推理模型是什么鬼？
这里快速跟大家澄清两个东西，一个是推理模型，一个是通用模型，也就是非推理模型。因为之前有粉丝在评论区问过我说，为什么DeepSeek r1是推理模型，DeepSeek V3不也是需要推理才能得出答案吗？我看不少人也在评论区提出相同的疑问。这里主要是大家把英语里面的inference和reasoning搞乱了…
