全网都在等梁文锋
全网都在等梁文锋这组充满悬念的组合引发科技圈热议，业内普遍推测DeepSeek R2模型已进入发布倒计时。凤凰网科技从知情人士处获悉，目前网传信息的真实性含量很低。
来自主题: AI资讯
7043 点击 2025-05-02 14:27
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
这组充满悬念的组合引发科技圈热议，业内普遍推测DeepSeek R2模型已进入发布倒计时。凤凰网科技从知情人士处获悉，目前网传信息的真实性含量很低。
DeepSeek放大招！新模型专注数学定理证明，大幅刷新多项高难基准测试。在普特南测试上，新模型DeepSeek-Prover-V2直接把记录刷新到49道。目前的第一名在657道题中只做出10道题，为Kimi与AIME2024冠军团队Numina合作成果Kimina-Prover。
就在刚刚，DeepSeek-Prover-V2技术报告也来了！34页论文揭秘了模型的训练核心——递归+强化学习，让数学推理大提升。有人盛赞：DeepSeek已找到通往AGI的正确路径！
就在刚刚，DeepSeek 在全球最大 AI 开源社区 Hugging Face 发布了一个名为 DeepSeek-Prover-V2-671B 的新模型。
满血DeepSeek一体机，价格竟然被打到10万元级别了！
“2月16日那一周，感觉全中国的政府企业都在上Deepseek，甚至很多单位原来一张卡都没有，突然就有了DeepSeek满血版。”金山办公Office产研事业部副总经理刘丹说道，“那段时间我认识的大部分领导也都在问，‘你们到底什么时候接，怎么样的节奏’，整个行业都特别火热。”
年初，DeepSeek 上线，18 天内即获得了 1600 万次下载，登顶 140 国下载榜单。让人意料之外而又情理之中的是，AI最火的功能不是翻译、写作，而是算命。有数据显示，#DeepSeek 算命等话题在小红书上吸引了超过 6600 万次浏览。
OpenAI 的 o1 系列和 DeepSeek-R1 的成功充分证明，大规模强化学习已成为一种极为有效的方法，能够激发大型语言模型（LLM) 的复杂推理行为并显著提升其能力。
最近，我撞见了一个 DeepSeek 又“认真”又“拧巴”的怪异场景。
DeepSeek-R1是近年来推理模型领域的一颗新星，它不仅突破了传统LLM的局限，还开启了全新的研究方向「思维链学」（Thoughtology）。这份长达142页的报告深入剖析了DeepSeek-R1的推理过程，揭示了其推理链的独特结构与优势，为未来推理模型的优化提供了重要启示。