昨天深夜，月之暗面发布了开源代码模型Kimi-Dev-72B。这个模型在软件工程任务基准测试SWE-bench Verified上取得了60.4%的成绩，创下开源模型新纪录，超越了包括DeepSeek在内的多个竞争对手。
深夜，沉寂已久的Kimi突然发布了新模型—— 开源代码模型Kimi-Dev，在SWE-bench Verified上以60.4%的成绩取得开源SOTA。
AI应用一度火爆如文心一言、妙鸭相机和Kimi，但多因功能单一、收费激进、竞争激烈而快速沉寂；2025年行业进入理性阶段，转向用户价值与差异化，淘汰洗牌后聚焦长期留存和场景挖掘。
当前，强化学习（RL）在提升大语言模型（LLM）推理能力方面展现出巨大潜力。DeepSeek R1、Kimi K1.5 和 Qwen 3 等模型充分证明了 RL 在增强 LLM 复杂推理能力方面的有效性。
天才的标签之外杨植麟还是个资深文青。90后一代或多或少都曾迷恋过村上春树，1992年出生的杨植麟也不例外。在村上春树的一本小说中，杨植麟对一个程序员深夜写代码这件事印象深刻，并充满憧憬，这为他未来进入AI领域埋下伏笔。
“月之暗面给了我AGI信仰，但Kimi不是唯一的路。”
本文详细解读了 Kimi k1.5、OpenReasonerZero、DAPO 和 Dr. GRPO 四篇论文中的创新点，读完会对 GRPO 及其改进算法有更深的理解，进而启发构建推理模型的新思路。
DeepSeek依旧牢牢占据中国AI产品访问量第一的宝座，其月访问量甚至超过其他几款主流产品的总和。相比之下，腾讯「元宝」和「Kimi」的流量则出现明显下滑，环比降幅超过20%。在广告投放趋于保守之后，用户增长逐步放缓，流量更加依赖产品本身的可用性和用户黏性。
“公安部计算机信息系统安全产品质量监督检验中心”今日发布《公安部计算机信息系统安全产品质量监督检验中心检测发现35款违法违规收集使用个人信息的移动应用》的推文，其中智谱智谱、kimi等明星人工智能APP赫然在列。
AI大模型“六小虎”之一的月之暗面，近期对AI医疗产品进行了布局，用于提升旗下产品Kimi在专业领域的搜索质量，并且探索Agent等产品方向。针对上述信息，月之暗面回应《智能涌现》：Kimi近期持续在优化财经、法律、医学等专业领域的搜索信源质量，希望给用户提供更可信、可靠的高质量回答。
