AI 日报 · 2026-07-03

行业新闻

热门产品

Acti

Acti

Acti 是一款智能键盘,通过理解用户意图来提供即时搜索结果或执行操作,适合移动用户提升效率。

Young原文

Humalike

Humalike

为AI代理提供社交智能和行为基础设施,帮助代理在对话中具备人性化互动能力,提升用户体验。

Martí Carmona Serrat原文

Tabstack Browser Automation

Tabstack Browser Automation

Tabstack Browser Automation 提供自然语言驱动的浏览器自动化 API,适合开发者集成到应用或智能体中,无需托管浏览器即可完成网页操作。

fmerian原文

Claude Sonnet 5

Claude Sonnet 5

Claude Sonnet 5是一款高度智能的AI助手,具备规划与行动能力,适合编程与专业工作场景。

Mike Krieger原文

Adam CAD Copilot

Adam CAD Copilot

Adam CAD Copilot将AI CAD助手集成到Onshape和Fusion中,机械工程师可通过自然语言创建和编辑零件,提升设计效率。

Zach Dive原文

MailAdept by mailwarm

MailAdept by mailwarm

MailAdept 是 AI 智能体邮件投递优化服务,帮助邮件营销团队自动化审计基础设施、监测健康并提升收件箱率。

Thami Benjelloun原文

Modelence Mobile Builder

Modelence Mobile Builder

通过聊天快速构建移动应用,适合开发者和创业者,无需编码即可生成完整应用。

Aram Shatakhtsyan原文

Sequence Agentic

Sequence Agentic

Sequence Agentic 为AI智能体提供资金转移API,帮助开发者构建自主金融操作,安全可控。

Gilad Uziely原文

Fuser Apps

Fuser Apps

Fuser Apps 是一个无代码创意引擎,适合设计师和创作者,可在画布上生成图片、视频、3D等内容并直接构建应用,一键发布。

Dalena Tran原文

Mark by Airtop

Mark by Airtop

Mark 是一款为独立营销人员设计的 AI 自动化平台,通过分析网站生成营销计划并构建 Web 智能体,实现线索生成、外展和广告投放的全自动执行。

Amir Ashkenazi原文

Gemini Omni Flash

Gemini Omni Flash

Gemini Omni Flash 是一款支持视频生成和对话式编辑的AI模型,面向开发者,提供低成本高质量的视频生成能力。

Logan Kilpatrick原文

Claude Science

Claude Science

Claude Science 是面向科研人员的 AI 工作台,能像科学家一样分析数据并追踪每一步,减少繁琐的流程拼接。

Chris Messina原文

RunInfra

RunInfra

RunInfra让用户用自然语言描述所需AI模型,自动构建并优化生产API,适合开发者快速部署高性能AI应用。

Jaber Jaber原文

N71

N71

N71 为多AI智能体提供共享上下文,通过知识图谱和MCP实时更新,适合管理多个代理的知识工作者,提升协作效率。

Mira Charkawi原文

Metal

Metal

Metal 是一款 AI 驱动的融资操作系统,帮助创始人以数据驱动方式高效完成风险融资轮次。

Usman Gul原文

Stigg 2.0

Stigg 2.0

Stigg 2.0 是为AI产品设计的实时用量执行与治理运行时,帮助开发者实现计量、信用控制和权限管理,提升计费效率。

Dor Sasson原文

Dump Memory

Dump Memory

Dump Memory是一款利用设备端语义搜索的私人第二大脑应用,帮助用户无分类地捕捉和查找信息。

Rohildev原文

LightTwist

LightTwist

LightTwist 是一个基于 AI 计算机视觉的虚拟视频工作室,帮助主播和创作者在 Chrome 中录制和直播,实现真实感背景合成与远程协作。

Vikas Reddy原文

Clusy

Clusy

Clusy 是一款面向数据科学团队的 AI 笔记本平台,用自然语言描述目标即可自动执行数据预处理、模型实验和评估,提升数据分析效率。

Eldar Hasanov原文

Ciaro Pro

Ciaro Pro

为视觉故事讲述者提供的AI电影制作工具,可在一个工作流中开发故事、角色、参考、故事板、图像和视频,保持创意控制。

Markus Etter原文

开源项目

codex-plugin-cc

为 Claude Code 用户提供的 Codex 插件,支持通过斜杠命令在 Claude Code 中直接调用 Codex 进行代码审查(常规/对抗性审查)、任务委托(rescue/transfer)和管理后台任务。亮点是让两个 AI 编程助手无缝协作,无需切换终端,且背景作业和审查门控功能提升了工作流效率。

openai原文

caveman

caveman

专为Claude Code等AI编码助手设计的技能插件,通过让agent用极简原始人风格说话,平均减少65%的输出token,大幅降低API成本。亮点:无需改模型,仅靠提示优化即可实现token节省,支持lite/full/ultra/wenyan等多级压缩,兼顾技术准确性。

JuliusBrussee原文

agentskills

标准化 AI agent 技能格式,通过 SKILL.md 定义能力元数据和工作流,支持渐进式加载(仅任务相关时才读取完整指令),降低上下文占用。亮点是 Anthropic 主导的开放标准,已被多个 agent 客户端采用,解决了 agent 缺乏领域上下文和可复用技能的问题。代码 Apache 2.0,文档 CC-BY-4.0。

agentskills原文

cs249rbook

cs249rbook

哈佛大学开放的机器学习系统教科书与配套课程资源,系统讲解从单机训练到分布式推理的ML工程原理。包含两卷教材、从零构建框架的TinyTorch、交互式实验、硬件部署套件和基础设施模拟器,形成完整的“读-探-建-模-部-练-教”学习闭环。

harvard-edge原文

pytorch

pytorch

深度学习框架,提供张量计算和自动求导能力,用动态计算图构建神经网络。与 TensorFlow 等静态框架不同,PyTorch 采用命令式编程,调试直观、灵活性强,已成为学术界和工业界的主流选择。支持 CPU/GPU/ROCm 等多种后端,生态完善,社区活跃。

pytorch原文

langflow

langflow

可视化构建和部署 AI Agent 与工作流的低代码平台,支持拖拽式编排、内置 API 和 MCP 服务器,可将流程一键转为可集成工具。亮点在于兼顾可视化开发与源码编辑,支持多 Agent 编排、对话管理、检索增强,并提供 Desktop 版免除环境配置,适合快速原型到生产部署的完整链路。

langflow-ai原文

论文

Orca: 世界在你心中

Orca: 世界在你心中

我们提出 Orca,一个通用世界基础模型的初步实现。Orca 从多模态世界信号中学习统一的世界隐空间,并通过多模态读取接口暴露出来。不同于优化孤立的下一 token、下一帧或下一动作预测,我们聚焦于下一状态预测建模,提供一种统一的状态转换建模路径,用于理解、预测和作用于世界。

Yihao Wang原文

Dockerless: 面向编码代理的无环境程序验证器

Dockerless: 面向编码代理的无环境程序验证器

程序验证器在训练编码代理中发挥核心作用,包括为监督微调(SFT)选择轨迹和为强化学习(RL)提供奖励。传统的基于执行的验证需要在每个仓库环境(如 Docker 镜像)中运行单元测试,导致巨大的环境设置成本。 本文提出 Dockerless,一种无需执行即可评估生成代码补丁的无环境智能体补丁验证器。

Wenhao Zeng原文

DOPD: 双重在策略蒸馏

DOPD: 双重在策略蒸馏

On-policy distillation (OPD) 通过使用密集的 token 级信号监督学生采样的轨迹,实现了优越的能力迁移。为了提供高质量的监督源并进一步提升蒸馏的性能边界,一个直观的方向是将特权信息注入教师或学生模型。

Xinlei Yu原文

BlockPilot: 面向 Diffusion-based Speculative Decoding 的实例自适应策略学习

BlockPilot: 面向 Diffusion-based Speculative Decoding 的实例自适应策略学习

投机解码 通过轻量级 草稿模型 并行生成候选 token,再由 目标模型 验证,实现无损加速。近期 基于扩散的投机解码 利用 块级扩散 在单次前向中生成多个 token,进一步提升了并行性,达到最先进性能。然而,现有方法采用固定的推理块大小,并假设所有输入适用统一的最优解码策略。

Hao Zhang原文

VLA 是否了解基础?衡量视觉-语言-动作模型中的常识与世界知识保留

VLA 是否了解基础?衡量视觉-语言-动作模型中的常识与世界知识保留

问题:具身视觉-语言-动作模型(VLA)通常通过对强大的预训练视觉-语言模型(VLM)进行微调获得,但适应后保留了多少常识与事实知识尚不明确。知识敏感任务上的失败难以归因,可能混淆了知识缺失与底层控制泛化不良。 方法:我们提出Act2Answer,一种轻量级协议,通过要求智能体以动作回答问题,将VLM知识基准适配到VLA评估。

Nikita Kachaev原文

Scenes as Objects, Not Primitives: Instance-Structured 3D Tokenization from Unposed Views

Scenes as Objects, Not Primitives: Instance-Structured 3D Tokenization from Unposed Views

理解3D场景是通过对象,而非组成它们的基元。然而,现有前馈重建方法输出密集、无结构的点集或高斯体,对象级结构需事后恢复。 我们提出一个前馈框架,直接从无位姿多视图图像将场景分解为实例结构化3D标记组——紧凑的对象中心单元,重建、分割和操控均由此派生。每个标记组将一个捕获实体级身份的实例标记与编码局部几何和外观的锚点标记配对,解码为一组3D高斯体。

Mijin Yoo原文

GEAR: 引导式端到端自回归图像合成

GEAR: 引导式端到端自回归图像合成

视觉生成模型通常采用两阶段训练:先训练一个 tokenizer 用于重建并冻结,再基于其离散索引或连续隐变量训练 generator。这种解耦导致 tokenizer 不了解 generator 的建模偏好。

Bin Lin原文

SkillHone: 通过持久决策历史实现持续智能体技能进化的框架

SkillHone: 通过持久决策历史实现持续智能体技能进化的框架

现有方法在有限运行中改进智能体技能,仅保留最终产物,丢弃了后续智能体解释先前修改、评估和拒绝方案所需的决策历史。为此,我们提出 SkillHone,一种基于持久决策历史的持续智能体技能进化框架。 SkillHone 将技能修订与评估侧证据相结合,提供实践反馈,并记录诊断、修订、证据和结果的结构化历史。

Zhiwei Li原文

Evolution Fine-Tuning: Learning to Discover Across 371 Optimization Tasks

Evolution Fine-Tuning: Learning to Discover Across 371 Optimization Tasks

设计更快的 GPU 内核的经验能否也有助于解决一个长期悬而未决的数学猜想?近期,集成到进化搜索中的大语言模型(LLMs)在优化任务上取得了最先进的成果,包括开放数学猜想、GPU 内核设计、科学规律发现和组合谜题。为此,先前的工作每次只对单个目标任务应用搜索框架,每个新问题都从头开始,模型尝试结束后搜索过程中积累的经验便被丢弃。

Young-Jun Lee原文

多块扩散语言模型 (Multi-Block Diffusion Language Models)

多块扩散语言模型 (Multi-Block Diffusion Language Models)

Block Diffusion Language Models (BD-LMs) 通过 KV 缓存和灵活长度生成改进了基于扩散的文本生成。一个自然的发展是将它们从 Single-Block Diffusion (SingleBD) 扩展到 Multi-Block Diffusion (MultiBD),其中同时解码连续块的运行集以实现块间并行。

Yijie Jin原文

管理LLM代理中的程序性记忆:控制、适应与评估

管理LLM代理中的程序性记忆:控制、适应与评估

程序性记忆被越来越多地用于提升LLM代理在重复性工作场景中的表现,但其能否产生可复用的技能仍不明确。我们提出 AFTER 基准,包含 382个真实企业任务 和 22种程序性技能,覆盖六种职业角色,专门用于评估技能在任务、角色和模型间的迁移能力。 该基准包含四种受控评估设置:局部改进、跨任务迁移、跨角色迁移 和 跨模型泛化。

Julia Belikova原文

MemLearner: 学习查询视频世界模型的上下文记忆

MemLearner: 学习查询视频世界模型的上下文记忆

视频世界模型是一种交互式视频生成模型,根据用户动作和历史视频帧预测未来世界状态。此类模型面临记忆缺失的关键挑战,导致长时间生成场景不一致。先前方法采用基于规则的上下文帧检索作为记忆,但在场景遮挡和动态物体情境下泛化能力不足。 我们提出 MemLearner,一种基于学习的自适应上下文查询方法,利用 query tokens 连接上下文与预测 token。

Jiwen Yu原文

DataEvolver: 自我进化的多智能体数据构建用于文本丰富图像生成

DataEvolver: 自我进化的多智能体数据构建用于文本丰富图像生成

文本丰富图像生成是图像生成中最具挑战性的场景之一,因为模型需同时生成视觉逼真的图像和清晰、语义对齐、布局一致的文本。现有数据流水线通常遵循静态的“爬取-过滤-冻结”范式:收集候选样本,单次过滤后冻结接受的数据用于训练。然而,被拒绝的样本通常被丢弃,尽管它们常包含有用的失败信号(如 OCR 错误、语义不匹配)。这导致后续构建轮次可能重复相同的失败模式。

Siyu Yan原文

Reinforcement Learning with Metacognitive Feedback 引发 LLMs 中忠实的不确定性表达

Reinforcement Learning with Metacognitive Feedback 引发 LLMs 中忠实的不确定性表达

元认知是智能的关键组成部分,描述监控和调节自身认知过程的能力。然而,大语言模型(LLMs)在核心元认知能力上存在系统性缺陷:它们以高自信度产生幻觉、无法识别知识边界、错误表达内在不确定性——这损害了可信度和可靠性。由于监控任务性能并据此调整行为是元认知的核心,我们假设能够准确判断自身性能的模型更有能力改进性能。

Gabrielle Kaili-May Liu原文

RedVox: 跨语言语音模型中的安全与公平差距

RedVox: 跨语言语音模型中的安全与公平差距

具备语音能力的模型正越来越多地部署在跨语言的实际应用中。然而,它们在英语环境之外以及自然条件下的安全性与公平性仍未得到充分研究。我们调查了最先进的语音模型发布中的安全报告实践,发现仅有8% 的模型记录了任何多语言分析。

Beatrice Savoldi原文

Play2Perfect: 灵巧操作中玩耍预训练对于精确装配的关键因素

Play2Perfect: 灵巧操作中玩耍预训练对于精确装配的关键因素

多指机器人虽可模拟人手的速度与灵巧性,但在精确装配等接触密集、奖励稀疏的任务上仍面临挑战。接触密集性使模仿学习难以收集数据,稀疏奖励则令强化学习(RL)直接探索不可行。先前工作依赖专用夹爪、工具附件和环境固定装置来简化问题。

Tyler Ga Wei Lum原文

小大脑,大成就:探索紧凑型语言模型 (Compact Language Models)

小大脑,大成就:探索紧凑型语言模型 (Compact Language Models)

虽然 大型语言模型 (LLMs) 最近在研究领域占据主导地位,但 小型语言模型 (SLMs) 在各个领域仍然高度相关;然而,它们受到的关注却少得多。在这项研究中,我们调查了较小的语言模型在 检索增强生成 (RAG) 系统内的生成阶段的表现。 为了有效评估这些模型,我们使用了涵盖不同主题领域和问题类型的 开源和专有数据集。

Dari Baturova原文

QVal: 廉价评估长周期 LLM Agent 的密集监督信号

QVal: 廉价评估长周期 LLM Agent 的密集监督信号

问题: 长周期 LLM Agent 的轨迹中常包含数百上千个动作,仅靠结果奖励 (outcome-only rewards) 难以提供细粒度指导。密集监督方法旨在通过评估中间步骤来弥补这一缺陷,但现有评估方式依赖于下游训练性能,成本高且混杂了训练工程因素,导致不同方法难以公平比较。 方法: 本文提出 QVal,一个无需训练的测试平台,直接评估密集监督信号。

Sergio Hernández-Gutiérrez原文

动态

经验丰富的工程师能判断AI代码质量

经验丰富的工程师能判断AI代码质量

这正是为什么经验丰富的软件工程师有价值且将一直有价值。如果你不知道好的代码长什么样,你就无法判断模型生成的代码是否好。当然,“AI审查代码”等等……它并不那么可靠。来自@mitchellh

Gergely Orosz原文

采访NousResearch Hermes联合创始人,征求话题建议

采访NousResearch Hermes联合创始人,征求话题建议

转推 @petergyang:明天我将采访 @NousResearch Hermes 联合创始人 @karan4d,你们想了解哪些话题?在之前的教程中我已经涵盖了设置、集成和基本 cron 任务——那么你们还想听些什么呢?这个图表是一条垂直线哈 https://t.co/Bqacty1252

Teknium 🪽原文

Claude模型解题时暴露内部原始思维语言

Claude模型解题时暴露内部原始思维语言

RT @ompatel5: 有人抓到了Fable 5泄露其未经过滤的内心声音,它全程自言自语嘟囔着。 他给它一个残酷的竞争性编程问题,网页界面没有给出干净答案,而是吐出了它的实际思维链。 这是Claude在幕后思考的内容: 处理问题时爆发“数据数据数据。开始。

Peter Steinberger 🦞原文

一个让AI模型发现新颖科学理论的prompt

我最喜欢在新兴前沿模型上运行的prompt之一,而fable完美实现了它: “在已知概念之间,画出最令人惊讶的联系,这些联系之前从未有人连接过,从而发现一个详细、高度可信、有价值且可证伪的新颖科学理论,且之前从未有人发现过。避免生物和AI领域。”

Siqi Chen原文

OpenAI Codex负责人认为取消产品角色是糟糕想法

OpenAI Codex负责人认为取消产品角色是糟糕想法

.@OpenAI 的 Codex 应用负责人:“很多公司正在取消产品角色,说每个人都将成为构建者。我认为这是个糟糕的主意。产品这门学科经过多年积累,有真正的实践经验和试错教训。仅仅因为有人写过一些代码就被抛弃了。不是每个人都能做所有事。每个学科都有技能成分。很多工程师没有认识到这一点。是的,你可以用 Excel,但你无法在财务团队工作。”

Lenny Rachitsky原文

AI清理工作仍由资深开发者完成

是的,这一切都在发生。但对此持积极态度: 将会有更多清理工作,猜猜谁会去做? (不,AI不会做这类清理——尽管会有初创公司承诺他们的AI能做到,但不会像经验丰富的开发者那样好)

Gergely Orosz原文