微软禁止员工使用DeepSeek应用，数据安全与宣传风险成主因
近日，微软副董事长兼总裁布拉德·史密斯（Brad Smith）在美国参议院听证会上公开表示，由于数据安全和潜在宣传问题，微软已禁止员工使用DeepSeek应用。这一决定标志着微软首次公开对一款AI工具...
排序
DeepSeek 推出 DeepSeek-Prover-V2：为 Lean 4 形式化定理证明设计的开源大语言模型
DeepSeek于4月30日发布了 DeepSeek-Prover-V2，这是一个专门用于 Lean 4 形式化定理证明的开源大语言模型。该模型的设计目标是将非形式化的数学推理与形式化的证明构建整合到...
DeepSeek发布DeepSeek-Prover-V2-671B：6710亿参数的数学AI模型，推动定理证明自动化
DeepSeek在今天悄悄地升级了其专注于数学定理证明和推理的 AI 模型DeepSeek-Prover。最新版本 DeepSeek-Prover-V2-671B已于今天在Hugging Face 上...
通过推理计算来提高通用奖励建模（RM）的推理时间可扩展性
强化学习（RL）在大语言模型（LLM）的后续训练中已被广泛应用，尤其是在提升模型的推理能力方面。然而，如何在各种领域中为LLM获得准确的奖励信号，仍然是一个关键挑战。 论文：https://arxiv...
DeepSeek低调发布DeepSeek-V3-0324，性能超过Claude Sonnet 3.5，可在消费级硬件部署
DeepSeek在昨晚悄悄地发布了一款新的大语言模型——DeepSeek-V3-0324。这款模型不仅因其出色的能力在AI行业掀起波澜，更因其独特的部署方式引发了广泛关注。该模型已经在Hugging ...
清华大学与清程极智开源大模型推理引擎“赤兔 Chitu”，实现 DeepSeek 推理成本降低一半、性能翻番
清华大学高性能计算研究所翟季冬教授团队与清华系科创企业清程极智联合宣布，大模型推理引擎“赤兔 Chitu”现已正式开源。该引擎首次实现了在非英伟达 Hopper 架构 GPU 及各类国产芯片上原生运行...
Manus 可能并非中国的第二个“DeepSeek 时刻”
科技媒体 TechCrunch报道：上周，一个名为Manus的“代理式”AI平台以预览形式发布，引发了巨大的关注和炒作。Hugging Face的产品负责人称Manus为“我尝试过的最令人印象深刻的A...
亚马逊计划推出「推理模型」，挑战 OpenAI 和 DeepSeek
据 Business Insider 报道，亚马逊正在开发自己的推理模型，以在 AI 市场中与 OpenAI、Anthropic 和 DeepSeek 等公司展开竞争。这一新模型将通过亚马逊的 AWS...
DeepSeek开源周第五弹：高性能分布式文件系统 3FS和Smallpond 数据处理框架
在开源周的第五天，DeepSeek 正式发布了 3FS（Fire-Flyer File System）。这是一个专为现代 SSD 和 RDMA 网络设计的并行文件系统，旨在为深度学习等数据密集型应用提...
百度宣布文心大模型4.5将于3月16日发布，支持深度思考和原生多模态
百度宣布，其最新的文心大模型4.5将于2025年3月16日正式上线。根据官方介绍，文心大模型4.5在基础模型能力上实现了显著提升，并具备原生多模态和深度思考等先进特性。此外，百度还计划从2025年6月...
摩尔线程宣布已经成功支持 DeepSeek 开源通信库 DeepEP 和并行算法 DualPipe
在 DeepSeek 开源周的第四天，摩尔线程宣布了一项重要的技术进展：成功支持 DeepSeek 的开源通信库 DeepEP 和并行算法 DualPipe，并发布了相关的开源代码仓库 MT-Deep...
DeepSeek 开源周第四弹：DualPipe 和 EPLB 的发布
今天是 DeepSeek 开源周的第四天。与前三天相比，今天的开源项目公布稍晚一些，让关注者们等待得略显焦急，不过等待的结果总是值得的！DeepSeek 今日公布了两项重要的开源内容：DualPipe...
