【写在前面】DeepSeek 是目前可以和闭源大模型媲美的开源大模型，DeepSeek 许可证是负责任的人工智能许可证。按照 Linux 基金会的模型开放架构，DeepSeek 的开放层级尚未完全达到第三级。使用或者分发 DeepSeek 大模型应当遵从 DeepSeek 许可证，包括对于使用场景的限制等。美中不足的是 DeepSee
3D版DeepSeek登场，一出手就是开源月；第二波出击比第一波更猛，开源2个强大的基础模型，很有诚意的那种。它们分别是：TripoSG：开源的3D模型新SOTA；目前开源1.5B版本。TripoSF：以开源之身，刷新闭源3D模型SOTA；目前阶段性开源部分成果。都沿用了VAST最著名的Tripo系列来命名，但各有偏重——TripoSG 对于TripoS...
DeepSeek公司继DeepSeek-R1大语言模型开源,又开源了多模态理解和生成大模型Janus-Pro。多个基准测试上评估了 Janus-Pro,结果揭示了其卓越的多模态理解能力和显著提高的文本到图像指令跟踪性能。开源采用MIT开源协议,允许无限制商业使用。 总结 统一多模态理解和生成模型的最新进展已显示出重大进展,这些方法已被证明可以增...
简单来说，vLLM 能让 GPT、Mistral、LLaMA 等主流模型系列跑得更快、消耗更少资源，取得这些效果的关键是其创新的注意力机制实现方案 ——PagedAttention。近日，DeepSeek AI 研究者、深度学习系统工程师俞星凯从零开始构建了一个轻量级 vLLM 实现 ——Nano-vLLM，将代码简化到了 1200 行。目前，该项目在 GitHub...
在另一头,AI 科学家们也在努力提高 AI 在形式化定理证明中的性能和效率,比如 DeepSeek 刚刚推出的新模型 ——DeepSeek-Prover-V1.5。 DeepSeek-Prover-V1.5 是一个 70 亿参数的开源模型。它通过结合强化学习(基于证明助手反馈的强化学习,RLPAF)和蒙特卡洛树搜索(特别是提出的 RMaxTS 变体),显著提升了证明生成...
【环球网科技综合报道】5月1日消息，DeepSeek于4月30日在AI开源社区Hugging Face上正式发布了一款名为DeepSeek-Prover-V2-671B的新模型。据悉，DeepSeek-Prover-V2-671B模型参数规模高达6710亿，或为去年发布的Prover-V1.5数学模型的升级版本。该模型采用了更为高效的safetensors文件格式，并支持多种计算精度，...
北京时间1月28日凌晨，中国人工智能企业深度求索（DeepSeek）宣布开源其全新视觉多模态模型Janus-Pro-7B，正式进军文生图领域。在权威的GenEval和DPG-Bench基准测试中，Janus-Pro-7B表现卓越，成功击败了Stable Diffusion和OpenAI的DALL-E 3，不仅超越了传统统一模型，还在与任务特定模型的对比中展现出强劲实力。据深度...
开源No.1，多方面追平闭源大模型 DeepSeek是知名私募巨头幻方量化旗下的人工智能公司，根据DeepSeek公布的测试结果，其运行了多项基准测试来比较性能，V3模型已明显优于包括Meta公司的Llama-3.1-405B和阿里云的Qwen 2.5-72B等一众领先开源模型。在大多数基准测试中，它甚至部分超越了OpenAI的闭源模型GPT-4o。Deep...
DeepSeek表示，R1在后训练阶段大规模使用了强化学习技术，在仅有极少标注数据的情况下，极大提升了模型推理能力。此外，DeepSeek不仅将R1训练技术全部公开，还蒸馏了6个小模型向社区开源，允许用户借此训练其他模型。开源模型正在赶超，比OpenAI便宜九成 一经推出，DeepSeek-R1便凭借其“物美价廉”的特性在海外开发者社区...
对此，有业内人士告诉《每日经济新闻》记者，DeepSeek-V3是首个创新融合使用了FP8、MLA、MoE三项技术的大模型，可以看作是实质性的突破。聊天机器人竞技场：DeepSeek-V3位列总排名第七、开源模型第一 最新的聊天机器人竞技场（Chatbot Arena）数据显示，DeepSeek-V3排名第七，成为前十名中唯一的开源国产模型。图片...