685B参数DeepSeekMath-V2开源！IMO/CMO金牌+Putnam近满分，颠覆数学推理范式
数学推理领域迎来里程碑式突破！DeepSeek AI 正式发布开源数学模型 DeepSeekMath-V2，这款基于 685B 参数专家混合（MoE）架构的模型，不仅在 IMO 2025、CMO 20...
排序
Databricks 联合创始人：美国必须拥抱开源，才能在 AI 上击败中国
在近期举行的 Cerebral Valley AI 峰会上，Databricks 联合创始人、风投机构 Laude 创始人 Andy Konwinski 提出一个明确观点：美国若想在人工智能领域维持领...
DeepSeek 开源DeepSeek-OCR ：用视觉模态压缩文本，3B 小模型撬动长上下文新思路
DeepSeek 开源了 DeepSeek-OCR，一个仅 30 亿参数的视觉语言模型（VLM），却在 OCR 与文本压缩领域展现出令人瞩目的创新力。其核心并非追求更大参数量，而是提出一种“光学压缩...
DeepSeek 发布DeepSeek-V3.2-Exp：首次引入细粒度稀疏注意力，API 成本直降 50%+
在国庆节假期前夕，DeepSeek 正式推出 DeepSeek-V3.2-Exp ——一个面向未来架构演进的实验性（Experimental）版本。该模型并非最终发布版，而是通向新一代高效架构的关键中...
DeepSeek推出基于Qwen3-8B的小型推理模型：DeepSeek-R1-0528-Qwen3-8B
深度求索在本周对DeepSeek R1进行了升级，还开源了此版本模型DeepSeek-R1-0528，官方还推出了一个基于Qwen3-8B的小型推理模型：DeepSeek-R1-0528-Qwen3...
微软禁止员工使用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...
