AI Coding 赛道，Solo 创业、6 个月 8000 万卖掉，独立开发的新传奇

Maor Shlomo开发全栈无代码平台Base44，6个月获25万用户后8000万美元卖掉。他复盘了从搭建到推广的全流程，分享产品切入点、与AI协作、渠道增长等经验，强调做喜欢之事，把握用户‘顿悟时刻’。

想知道你的LLM API被过度收费了吗？隐藏的Tokens终于可以被审计了

马里兰大学CASE Lab团队研究商业不透明大模型服务（COLS），定义其风险，提出三层审计蓝图。还推出验证框架CoIn，能高效识别token数量膨胀，有可定制性且审计开销低，为构建信任提供技术支撑。

RLHF已死，RLVR引爆AGI革命！Claude 4核心成员万字对谈

Claude 4核心成员对谈指出，强化学习在语言模型上奏效，可验证奖励的强化学习（RLVR）比RLHF更优，模型有望从「专才」向「通才」过渡，未来AI智能体将完成白领工作，人们应做好准备。

函数向量对齐技术，让大模型持续学习不“失忆”丨ICLR 2025

中国科学技术大学等校团队破解大语言模型灾难性遗忘之谜，发现遗忘源于模型激活带偏差新功能，非覆盖旧功能。还设计FVG训练法，保留并对齐函数向量，保护模型能力。相关论文被ICLR2025接收，代码开源。

Agent也能蒸馏了！性能超好

大模型运行成本高，普通用户用不起。传统小模型模仿大模型解题步骤易出错。论文提出Agent蒸馏，让小模型学会用检索和代码工具，还加首思前缀与自我纠错“外挂”，使小模型性能直逼大模型。

本周推荐的6个超级6的Github开源项目！

本文推荐6个GitHub开源项目。如WeClone用微信记录定制数字分身、支持语音克隆；Windmill将脚本转工作流和UI；Zed是高性能Rust代码编辑器；webfunny_monitor监控前端性能；Rybbit分析网站流量；Lite XL是轻量级文本编辑器。

a16z聊AI编程：别担心被取代，新玩家、新范式带来的是「很多」机会

a16z三位投资合伙人认为AI Coding是第二大AI市场，有望成最大单一市场。他们对编程未来不悲观，指出新人群与新方法或催生新软件形态，编程语言不会被取代，资深工程师仍被需要。

吴恩达来信：AI 速度带来的价值被低估了

吴恩达指出，AI 不仅能降低任务执行成本，还能显著加快执行速度，其在创造商业价值方面的重要性常被低估。以编写代码、借贷审批等为例，说明提速能带来新价值，企业应关注可提速环节带动增长。

OpenAI很看好！首个SWE-1模型发布，软件开发或将提速99%

Windsurf发布首个前沿模型SWE-1，目标将软件开发提速99%。它不只能写代码，还能协助软件工程流程。有三个系列模型，SWE-1运行成本低，SWE-1-lite对所有用户开放，SWE-1-mini适用于低延迟场景。

仅隔一天，OpenAI同步上线o3和o4 mini，它们能调用ChatGPT里的多种工具，可基于图像思考。o3是强大推理模型，o4-mini专为快速经济推理优化。即日起部分会员可体验，还开源了Codex CLI。