DeepSeek
-
清华大学：2025年DeepSeek从入门到精通（104页）
本文是清华大学新闻与传播学院新媒体研究中心元宇宙文化实验室发布的关于DeepSeek的详细介绍，由余梦珑博士后撰写。文章从DeepSeek的定义、功能、使用方法到如何从入门到精通进行了全面阐述，同时深入探讨了AI提示语的设计策略及其在不同场景中的应用。 DeepSeek简介定义：DeepSeek是一家专注于通用人工智能（AGI）的中国科技公司，主攻大模型研发与应用。其开源推理模…
-
建议去体验下deepseek的深度思考
最近这个deepseek 挺火的，据说都强到都让美方 AI 从业者反思自己是不是点错技能树的程度。 像我们这种非专业人士，好与不好主要在于自己的使用体感如何，都是免费的，不防去试一试。（deepseek.com） 前阵子我用可灵生成过一段视频： “真实”到我就想到一个念头：我们用 AI生成的这个人是谁？或者我们自己本身是不是也是另一个人工智能生成的？ 我把它扔给deepseek…
-
DeepSeek发布Janus-Pro多模态大模型，进军文生图领域
在一些基准测试中，Janus-Pro-7B 击败了 OpenAI 的 DALL-E 3 以及 Stable Diffusion、Emu3-Gen 等热门模型。Janus Pro 采用 MIT 开源协议，可无限制用于商业场景。并且该大模型是 2024 年 11 月 13 日发布的 JanusFlow 大模型的高级版本。（暂时只能处理384×384分辨率的图像） 模型地址…
-
DeepSeek AI 发布新版 DeepSeek-V2.5-1210
DeepSeek AI 最近发布了其 DeepSeek V2 系列的最终版微调模型——DeepSeek-V2.5-1210。以下是该版本的主要特点和功能： 这些更新使得 DeepSeek-V2.5-1210 成为一个在多个领域都具有强大性能的 AI 模型，为用户提供了更加全面和高效的服务。 地址： https://huggingface.co/deepseek-ai/DeepS…
-
DeepSeek发布最强开源数学定理证明模型
DeepSeek-Prover-V1 展示了大模型在数学定理证明领域的潜力，通过将数学问题转换为 Lean 编程语言，帮助数学家严格验证证明正确性。 今天，DeepSeek 开源 Prover-V1.5 版本，引入了类似 AlphaGo 的强化学习系统，模型通过自我迭代和 Lean 证明器监督，构建了一个“围棋”式的学习环境。 最终，仅 7B 参数规模的 Prover-V1.5…
-
量化起家，万卡在手，降价狂魔，DeepSeek可能就是中国大模型混战的终结者
作者｜周一笑邮箱｜zhouyixiao@pingwest.com 编辑｜王兆洋邮箱｜wangzhaoyang@pingwest.com 最近一段时间中国大模型领域变得异常热闹，最重要的话题就是各大模型公司的“价格战”。 而事实上，这场让字节、阿里、百度、智谱等纷纷卷入的大混战，最初却是一个“神秘”的“金融公司”所掀起的。 5月6日，量化对冲基金幻方旗下的AI团队深度求索，发布了…
