开启端侧长文本时代！面壁全新架构，让小钢炮最快提升220倍

2025智源大会上，面壁智能发布MiniCPM 4.0模型，实现行业首个系统级上下文稀疏语言模型创新。它在端侧推理任务上表现出色，降低缓存需求，提高运行效能，还进行多维度架构创新，是AI领域探索高效率语言模型的里程碑。

打造4大“AI龙虾” 军团，才懂钉钉为何是企业数智化的最佳答案

企业数智化喊了多年却鲜有成功，多数企业面临技术门槛高、系统不通、数据孤岛等问题。把Copaw这个AI Agent接入钉钉，运行了写日报、商机搜寻、A股财报分析、电商数据整理分析四个案例，展现了钉钉平台化优势，是企业数智化有效解法。

苹果ASM投放的两种方式，竞价原理与机制

苹果ASM投放模式的选择对广告效果至关重要。Basic模式适合预算有限且缺乏投放经验的开发者，操作简单但数据报告不详尽。Advanced模式则适合专业团队，提供更精准的用户定位和详尽的数据报告，以便随时调整广告策略。

新网站上线后，如何通过谷歌获得曝光和点击？哥飞与良辰美的网站案例分析，揭示了排名、关键词选择对流量获取的重要性。

刚刚微软开源视频录制技能skill-recorder

微软开源视频录制技能 Skill Recorder，能将用户完成任务的过程转化为 AI 智能体可重复执行的技能。它捕获屏幕工作会话，用 GitHub Copilot CLI 重构操作，生成可复用内容，支持多平台。

OpenAI开源Privacy Filter：PII检测不用传服务器 Apache2.0可商用

OpenAI开源Privacy Filter模型，采用Apache2.0协议可免费商用。它是PII检测工具，支持全本地运行，避免数据泄露。有诸多技术亮点，也有一定局限性，上线后下载量可观。

Manus突发上新文生图！告别“抽卡”，Agent+深度思考联合创作

Manus深夜官宣支持生成图像，与一般AI绘图工具不同，它能理解画图目的，规划方案后再生成。它可完成如房间装修可视化、饮料瓶设计等任务。目前已开放注册，不过付费价格遭网友吐槽。

陶哲轩重写20年本科经典教材！Lean编程数学证明，GitHub已放出

陶哲轩迷上形式化数学证明，开设YouTube账号分享用Lean形式化证明的视频，还发布开源项目，将经典教材《Analysis I》定义、定理和习题「翻译」成Lean代码，项目可作学习资料，部分内容已完成翻译。

读博最后一年转方向，拿到OpenAI offer：我的面试之路充满「意外」

布朗大学博士生Yong Zheng - Xin自宣下月加入OpenAI做AI安全研究。他博士最后一年转方向，分享求职经历，总结6个意外洞察，如求职重要的可能仅一两篇论文、面试形式多样等。

工作流的 Skill 怎么写？从 7 个顶级 Skill 中提炼的模式与最佳实践

文章介绍工作流 Skill 写法，涵盖定义、Frontmatter 写法、5 种核心设计模式、通用写作技巧、模式选择决策树、快速上手模板及参考资源，还给出 7 个 Skill 速查表。