-
DeepSeek-V4：DeepSeek 推出的新一代开源大语言模型ai应用开发
DeepSeek-V4 是 DeepSeek 推出的新一代开源大语言模型系列，面向长上下文理解、复杂推理、代码生成和 Agent 自动化任务场景。数字人软件- 18.6k
- 0
-
DeepSeek-V3.1-Terminus即梦ai官方
DeepSeek-V3.1-Terminus是DeepSeek开源LLM优化版，强化语言一致性、Code/Search Agent性能，提供稳定高效代理任务解决方案知识图谱怎么构建- 4.6k
- 0
-
DeepSeek 发布DeepSeek-R1-0528 ，编程与推理能力大幅跃升即梦ai官方
2025年5月28日，人工智能公司DeepSeek低调发布了其R1推理模型的最新版本——DeepSeek-R1-0528。尽管官方称此次为“小版本试升级”，但实测结果显示，该版本在编程、逻辑推理和长文本处理等方面取得了显著提升。在LiveCodeBench基准测试中，DeepSeek-R1-0528的代码生成能力紧随OpenAI的o3和o4 mini模型，超越了xAI的Grok 3 mini和阿里…和豆包对话- 16.9k
- 0
-
DeepSeek-Prover-V2：DeepSeek最新开源的数学定理证明模型，参数量高达6710亿腾讯ai免费下载
DeepSeek-Prover-V2 是由 DeepSeek 最新开源的超大规模数学定理证明模型，参数量高达 6710 亿（671B），相比前代 Prover-V1.5（约 7B）提升近百倍，成为目前开源中最大规模的数学推理模型之一。该模型专为形式化数学证明设计，能够生成兼容 Lean 4 等主流证明助手的高质量证明步骤，支持复杂逻辑验证、定理发现与教学应用。flal下载- 7.3k
- 0
-
清华大学：DeepSeek+DeepResearch让科研像聊天一样简单ai人工智能下载
今天分享的是清华大学团队出品的《DeepSeek+DeepResearch：让科研像聊天一样简单》，通过使用DeepSeek R1和DeepResearch，简化这一过程，让科研变得更加高效和便捷。ai是什么意思?- 6.5k
- 0
-
企业微信接入DeepSeek，开启智能化办公新纪元腾讯ai免费下载
2025年2月21日，企业微信宣布正式接入DeepSeek R1，并同步支持腾讯混元大模型。此次更新带来了多项基于AI的功能升级，包括“智能机器人”和“智能表格-客户跟进总结”，旨在大幅提升企业内部协作和客户服务的效率。ai是怎么回事- 4.5k
- 0
-
下周起，DeepSeek连续5天发布开源项目知识图谱怎么构建
2025年2月21日，DeepSeek在其官方社交媒体X上宣布，将从下周开始开源5个代码仓库，分享其在通用人工智能（AGI）领域的最新进展。ai豆包官网入口- 6.8k
- 0
-
-
扣子智能体新增支持DeepSeek R1/V3模型，支持用户免费体验flal下载
近日，新一代AI应用搭建平台“coze扣子”宣布正式支持DeepSeek的R1模型和V3模型，并向所有用户开放免费体验。扣子平台专注于帮助用户快速搭建基于大模型的各类Bot，并将其发布到社交平台、通讯软件或网站等渠道。 →立即免费使用：https://www.coze.cn 此次新增的DeepSeek R1模型具备强大的思维链深度思考功能，能够在生成最终回复前进行逻辑推理。该模型基于混合专家（Mo…数字人软件- 19.2k
- 0
-
DeepSeek 官方提示词库百炼阿里云
DeepSeek 提示词库是 DeepSeek 提供的一套提示词示例库，帮助用户更高效地与 AI 进行交互。它涵盖多个应用场景，包括代码处理、文本生成、内容分类、翻译等，用户可以根据需求选择合适的提示词来优化 AI 任务执行效果。百炼阿里云- 54.3k
- 0
-
硅基流动首发上线DeepSeek-V3/R1：联手华为云、DeepSeek打造ai的应用
2月2日消息，硅基流动宣布大模型云服务平台SiliconCloud首发上线基于华为云昇腾云服务的DeepSeek-V3、DeepSeek-R1。al怎么下载使用- 12.6k
- 0
-
DeepSeek-R1-Lite预览版模型：深度求索推出的新一代AI推理模型ai分类
DeepSeek-R1-Lite 预览版模型是由 DeepSeek 推出的新一代推理模型，采用强化学习训练，具备长思维链推理能力，适用于数学、编程和复杂逻辑推理。模型在数学竞赛和编程任务中表现卓越，超越 GPT-4o 等知名模型。用户可通过网页版在“深度思考”模式中体验全面、严谨的推理过程，未来正式版将开源并提供 API 支持，进一步释放模型潜力。中国十大ai大模型- 21.5k
- 0
-
DeepSeek-V2.5：深度求索推出的融合通用与代码能力的开源模型ai软件哪一款好用
DeepSeek-V2.5是由杭州深度求索推出的融合了通用对话能力和强大代码处理能力的开源AI模型。它结合了DeepSeek-Chat和DeepSeek-Coder模型，支持通用任务和代码生成，同时优化了用户体验。抖音对标ai工具- 19.9k
- 0
-
DeepSeek-V2：深度求索发布的第二代开源MoE模型腾讯ai免费下载
DeepSeek-V2 基于 2 千亿 MoE 模型底座，领先性能，超低价格，越级场景体验，已在对话官网和API全面上线。知识图谱怎么构建- 36.4k
- 0
-
DeepSeek - 深度求索推出的AI智能助手数字人软件
DeepSeek Chat是一个由深度求索公司开发的AI智能助手。DeepSeek Chat基于DeepSeek大语言模型开发，可以进行自然语言处理和文本生成，回答各种问题，提供信息查询、对话交流、知识问答等服务。知识图谱怎么构建- 1.7m
- 0
