主题

AGENT橘：Loop Engineering 中 user in the loop 最关键也最具挑战

AGENT橘在AI探索站分享观点，指出在Loop Engineering（循环工程）中，最重要也最困难的部分是确保user in the loop（用户参与循环）。他强调，除非产品并非为用户设计，否则用户参与是核心挑战。这一观点突显了在AI代理或系统开发中，将用户有效整合到反馈与迭代循环中的关键性。

艾逗笔 cconline.sh 全面转向 Serverless 架构，实现存算分离

cconline.sh 已完全迁移至 serverless 架构，不再为每个用户分配独立沙箱，而是采用会话隔离并动态挂载沙箱进行 Agent 运算。对话记录存储于 D1，工作区文件存放于 R2，计算任务由 Worker 处理，所有服务均部署在 Cloudflare 上，利用边缘计算提升速度并降低成本。该平台在浏览器端运行 Claude Code，支持 BYOK 使用自有模型，将通用 Agent 的存算分离架构实践得较为彻底。平台无需本地编程工具，适合希望随时通过网页开发小产品的用户，强调零基础使用和零门槛上手。

三星获Meta超10万亿韩元AI芯片代工订单，2纳米工艺订单看涨

据报道，三星电子正成为全球科技巨头自研AI芯片（ASIC）的核心生产基地，其中长期积压订单有望逼近50万亿韩元。Meta正与三星晶圆代工合作，设计并生产价值超10万亿韩元的下一代ASIC，其自研AI加速器“MTIA”已锁定三星为合作伙伴，计划采用2纳米尖端工艺量产数十万组。同时，美国AI公司Anthropic也在评估使用三星的2纳米工艺开发芯片。

海光信息与数字电网共建电鸿数智创新联合实验室

近日，海光信息与南方电网数字电网科技（广东）有限公司共同成立了“电鸿数智创新联合实验室”。双方将围绕电力AI、行业操作系统适配及自主算力平台建设展开长期合作。实验室将依托海光CPU+DCU“双芯”架构，结合电鸿PES系统，重点攻关国产软硬件兼容适配、系统性能优化以及电力行业大模型落地等关键技术，并面向电网智能决策、实时仿真、自动化运维等典型场景持续开展联合创新。

开源AI助手技能集：设计、阅读与自媒体运营三大方向

开发者“空格_”在GitHub上开源了三个方向的AI助手技能集，共计40个Skill。design-buddy包含19个技能，专注于视觉设计、排版、品牌、图表及PPT制作等任务。read-buddy提供16个技能，用于处理网页、RSS、YouTube视频、播客及文档的信息读取与摘要生成。creator-buddy则包含5个技能，支持小红书、公众号、B站等平台的热点搜索、爆款分析及内容运营。这些技能既可独立使用，也可串联协作，例如从信息读取到内容分析，再到视觉设计，形成完整的工作流。

世界模型新用途：从选手转型裁判，革新AI评估范式

量子位报道指出，世界模型正从传统任务执行者转向评估者角色。这一转变意味着世界模型不再直接参与任务，而是作为裁判或评估工具，用于衡量其他AI系统的性能与行为。该应用有望为AI评测、安全对齐及系统验证提供新的方法论，推动行业在模型评估与监管方面的发展。

扎克伯格内部坦言：AI Agent 进展未达预期

据 TechCrunch 报道，Meta CEO 马克·扎克伯格在一次内部会议上向员工表示，公司在人工智能（AI）领域的开发进展并未像他此前预期的那样快速。他特别提及了 AI Agent（智能体）的发展速度未达目标。这一表态反映了当前 AI 技术，尤其是旨在执行复杂任务的智能代理系统，在实现商业化或广泛部署方面可能面临的挑战与瓶颈。

llm-coding-agent 0.1a0 发布

Simon Willison 宣布推出 llm-coding-agent 0.1a0 版本。该工具旨在作为基于大型语言模型的编码代理，帮助开发者自动化编程任务。目前版本为早期 alpha 阶段，标志着项目进入初始开发与测试期。

推荐理由：我认为这是 Simon Willison 刚发布的 LLM 编码代理早期版本，适合想尝鲜自动化编程的开发者，可以直接上手测试，看看它如何把大模型变成你的编码助手。

短绳AI编码方法：击败Fable的编程策略

本文介绍了一种名为“短绳”的AI辅助编程方法，旨在帮助开发者更有效地利用AI工具完成编码任务，特别是针对Fable这类挑战。该方法强调对AI生成代码的紧密控制和即时验证，通过分步指导、实时反馈和严格测试来确保代码质量与安全性。文章在Hacker News上引发热议，获得120个赞和139条评论，反映了开发者社区对AI编程实践的高度关注。

Claude-real-video：让任意大语言模型都能“观看”视频

开源项目 Claude-real-video 发布，旨在使任何大语言模型（LLM）具备视频理解能力。该项目在 Hacker News 上获得 123 分，引发 39 条讨论。其核心思路是通过技术方案处理视频数据，并将其转化为 LLM 能够解析的格式，从而扩展模型的多模态应用场景。

使用DSPy评估与优化Datasette Agent的SQL系统提示

本文介绍了如何利用DSPy框架来评估和改进Datasette Agent的SQL系统提示。DSPy作为一个用于优化语言模型提示的编程框架，能够帮助开发者通过系统化的方法测试不同提示策略对Datasette Agent生成SQL查询性能的影响。通过该方法，可以更客观地衡量提示的有效性，并基于评估结果迭代优化提示设计，从而提升Agent处理自然语言到SQL转换的准确性和可靠性。

ctx：本地搜索编码代理历史记录的Rust CLI工具

ctx是一个Rust命令行工具，旨在解决编码代理缺乏长期记忆的问题。它将存储在用户机器上的代理对话记录和日志导入结构化的SQLite数据库，并通过排名文本匹配进行搜索，整个过程完全本地化，无需图数据库或托管记忆服务。开发者通过让代理在开始任务前搜索历史记录，可避免重复错误，例如当测试运行因磁盘空间不足失败时，代理能快速找到先前的工作方案。此外，ctx还能生成简洁的会话记录供分享，并支持利用历史数据递归改进代理驱动的软件开发生命周期。

zkGolf：基于LLM的形式化验证电路优化竞赛

zkGolf项目通过形式化验证与大型语言模型（LLM）结合，探索零知识证明（ZKP）电路的自动化优化。团队首先在Lean中为SHA-256压缩编写形式化规范，引导LLM生成并优化R1CS算术化电路，以降低约束数量为目标。LLM在优化过程中能自主提出方案、验证正确性，并在无法证明时回溯调整，最终得到了超越当前人工优化水平的SHA-256压缩电路。该项目现已开放为竞赛平台zk.golf，旨在推动形式化验证电路的发展，降低ZKP应用门槛并提升效率。

联想天禧AI短剧《“禧”从天降》：AI Agent化身职场系统流爽文主角

联想天禧AI推出定制短剧《我的AI搭档之“禧”从天降》，将网文中的“系统流”爽文题材与职场现实结合。该剧讲述职场新人叶天在获得天禧AI后，借助AI Agent能力处理营销方案、恢复被删PPT、实时翻译等任务，实现逆袭。短剧通过情景化叙事，直观展示了AI Agent如何理解用户历史数据、自动备份、多端协同等核心功能，将技术概念转化为普通用户可感知的办公助手。剧中天禧AI的离线守护、企业云备份等功能，对应了其零部署、端云协同的产品特性。

开源AI助手Valmis：安全优先的Claude Cowork替代方案

开发者因现有AI助手OpenClaw在API集成与安全性上的不足，创建了开源替代品Valmis。Valmis通过代理系统设计解决安全问题：将AI代理运行在Docker容器中，仅能通过凭证ID请求主机执行API调用，主机完成实际请求后返回JSON数据，此设计甚至允许在断开容器网络访问的情况下工作。目前该系统已支持超过100款商业与生产力应用集成，包括Google Workspace、Slack、Notion等。Valmis还提供自动化工作流功能，支持通过cron、webhook或应用事件触发多步骤工作流，并包含条件与循环控制。

OpenClaw与Claude代码助力自动化约会脚本

Ben Guez利用OpenClaw、Claude代码和Instagram试用功能，开发了一个自动化脚本，成功在Instagram上吸引了大量潜在的国际约会对象。该脚本通过自动化操作，帮助用户在社交媒体上扩展社交网络，展示了AI工具在个人社交场景中的应用潜力。

AReaL 2.0开源：打造面向自演进智能体的RL基础设施

AReaL 2.0作为强化学习基础设施正式开源，旨在与社区共同推进自演进智能体生态的发展。该项目专注于为智能体提供持续学习和自我优化的能力，通过构建可扩展的RL框架，支持智能体在复杂环境中实现长期性能提升与自主演进。

科大讯飞智能交互生态发布会：三大平台同步升级

科大讯飞举办了智能交互生态发布会，宣布对其三大平台进行同步升级。此次发布聚焦于智能交互技术的生态构建与平台能力提升，具体升级细节未在摘要中披露，但表明公司在持续推进其AI产品与服务的迭代。

天工 3.2 发布：Skywork Tags 功能上线，Agent 可加入工作群聊

昆仑万维天工 3.2 版本迎来重磅升级，核心新功能 Skywork Tags 正式上线。该功能旨在让 AI Agent 更深度地融入工作流程，用户可为 Agent 生成专属“工牌”，并将其邀请至飞书、钉钉、企业微信等工作群聊中。此举使得 Agent 能够像人类同事一样，在群聊中接收信息、理解上下文并执行任务，实现“和人并肩工作”的协作模式。此次升级标志着大模型应用正从工具型向协同型 Agent 演进，进一步探索 AI 在具体工作场景中的落地方式。

钉钉A1录音卡入选Gartner AI可穿戴设备报告

Gartner近期发布的AI可穿戴设备报告中，钉钉A1录音卡作为案例入选。该报告指出，AI硬件的竞争重点正从参数比拼转向其背后是否拥有真正的企业级AI协作平台。钉钉A1录音卡是钉钉推出的智能硬件，旨在通过AI技术提升会议记录与协作效率，其入选反映了市场对硬件与平台深度融合价值的认可。

PieterPost MCP：开源AI代理协作平台

PieterPost MCP 是一款基于模型上下文协议（MCP）的开源AI代理协作平台，旨在促进不同AI代理之间的高效通信与任务协调。该平台通过标准化接口简化了代理集成流程，支持开发者构建复杂的多代理系统，适用于自动化工作流、数据分析及智能助手等场景。其开源特性鼓励社区贡献与生态扩展，为AI代理技术的实际应用提供了基础设施支持。

Google 智能助手 Gemini Spark 登陆 Mac，支持实时追踪与多应用

Google 的 24/7 智能助手 Gemini Spark 现已正式登陆 Mac 平台。此次更新不仅带来了 Mac 版本，还引入了实时追踪功能，并扩展了对更多应用程序的支持。Gemini Spark 作为一款具备自主行动能力的智能助手，旨在为用户提供全天候的自动化服务体验。

推荐理由：我认为Mac用户和效率控值得看：Gemini Spark的24/7自主行动能力加上实时追踪，可能直接改变桌面自动化玩法，开发者也能抄它的多应用支持思路。

Claudoro：嵌入Claude Code状态栏的番茄钟计时器

开发者因意外骨折卧床期间，为转移注意力并满足个人需求，创建了Claudoro。这是一个直接集成在Claude Code编辑器状态栏中的番茄工作法计时器，同时支持通过Claude Code界面和命令行直接控制。该项目源于作者几年前开发的pymodoro，但新版本更注重与常用工具的深度嵌入，并强调灵活性和可定制性。作者已发布相关技术文章详细介绍其实现原理，并公开征集改进反馈。

Google Home 智能音箱硬件出色，但 Gemini 助手尚未就绪

Google 推出了六年来首款全新智能音箱 Google Home Speaker，这是其首款“专为 Gemini 设计”的硬件产品，标志着 Google 重新重视智能家居领域。该音箱设计美观，硬件表现良好。然而，内置的 Gemini 助手目前仍处于未完成状态，功能体验尚不完善，未能充分发挥 AI 在智能音箱场景下的潜力。文章指出，尽管硬件清晰展示了 Google 的回归意图，但软件层面的 Gemini 仍需进一步开发才能兑现其承诺。

NXT：与你的待办清单对话的AI助手

NXT是一款AI驱动的待办清单应用，允许用户通过自然语言对话与任务列表进行交互。用户可以直接向应用提问，如“我今天需要完成什么？”或“将会议推迟到明天”，系统会理解并执行相应操作。该产品旨在简化任务管理流程，通过对话式界面提升效率，目前已在Product Hunt上发布。

飞书新AI同事：从表格处理到群聊@，脏活累活全包

飞书引入新型AI智能体，深度集成于工作场景。该智能体不仅能处理复杂的表格数据，还能直接在群聊中被@提及并执行任务，旨在自动化处理各类繁琐的日常工作。其设计理念是将AI作为“住在表格里的同事”，接管重复性高、耗时长的“脏活累活”，以提升团队协作效率。

胡彦斌，Vibe Coding 无需再抱电脑

爱范儿报道，未来用户在地铁等移动场景中也能操作自己的 Agent，实现更便捷的 Vibe Coding 体验。该消息暗示了 AI 代理工具在移动端应用的潜力，可能提升开发者的工作效率与灵活性。

开源Agent程序OpenClaw正式登陆Android与iOS平台

免费开源Agent程序OpenClaw现已正式在Android和iOS移动平台上线。该程序采用开源模式，旨在将Agent能力扩展至智能手机端，为用户提供新的移动端交互体验。

DeepMind三人组从扑克AI转战量化对冲基金，创企估值超5亿美元

由三位前DeepMind研究员创立的布拉格AI实验室EquiLibre Technologies，目前估值已超过5亿美元。该团队曾因开发扑克AI而闻名，如今其技术正应用于量化对冲基金领域，为金融投资创造收益。

使用 shot-scraper video 录制 Agent 工作视频演示

本文介绍了如何利用 shot-scraper video 工具为 AI Agent 录制工作过程的视频演示。shot-scraper 是一个命令行工具，能够自动化网页截图和视频录制，适用于展示 Agent 的交互界面、操作流程或结果输出。通过录制视频演示，开发者可以更直观地呈现 Agent 的功能与效果，便于项目展示、文档记录或用户教程。

推荐理由：我认为这是给 AI Agent 做演示视频的捷径，可以直接抄来用 shot-scraper 自动录制网页操作，省去手动录屏，特别适合需要快速展示项目效果的开发者。