跳到正文

#GitHub

今日 5 条
今天10月2日周五
  1. Reddit · MachineLearning68

    FLEET 用奖励记忆和 MCTS 调整 logits,减少 Best-of-N 盲采样

    FLEET 的作者提出,在奖励最大化任务中给搜索加入记忆,而不是只依赖重复采样。该算法先把外部奖励归因到具体 token,再用修改版 MCTS 在下一轮生成时调整 logits,使模型能利用此前获得的奖励信息。 方法上,FLEET 追踪高熵和高 varentropy 的 logits,把这些不确定状态视为分支点;对应的归一化 hidden states 存入向量库,并与奖励历史、节点转移等元数据关联。检索和更新基于余弦相似度,因为高相似状态下 KL divergence 足够低,可保留多数有意义 token。它不直接选择 token,而是对 top-k token 和探索集合排序,并惩罚次优 token,再交给解码策略。作者称在 GSM8K 和 LiveCodeBench v6 easy split 上用 Llama 3.2 3B 测试:GSM8K 只多解出 7 道题,但用一半迭代达到采样基线;LiveCodeBench 在相同预算下把分数从 0.59 提到 0.69,并用 9 次迭代达到基线,而基线需要 32 次。 事实是作者给出了方法、代码、预印本和两项基准结果。推断是这类记忆化搜索可能把 Best-of-N 从盲搜索推向可复用经验,但材料未提供更大模型或更多任务上的验证;其跨任务复用、作为 SFT/RL 先验的价值仍属作者设想,需要更多实验确认。

  2. Hacker News · AI78

    Show HN:kamchatka 展示了一个上下文、权限和日志透明的 Linux 终端 agent

    kamchatka 是一个只面向 Linux 的终端 agent,把上下文、权限、日志和 shell 沙箱做成可审计的本地工具,核心结果是用 Landlock 与 seccomp 限制模型 shell,而不是依赖命令黑名单。它基于 nachalnik runtime,自研 tools、permission policy、compactor、confinement、served sessions、drawing 和 providers,目标是让模型每次调用都能被查看、授权和追溯。 材料给出的关键机制是权限按 subject 而不是工具名授权:fs:read 是 subject,fs 覆盖其下操作,MCP server 通过 nachalnik-mcp 声明 mcp:call,来源本身成为独立 subject,可用 --allow-server files 授权单个 server。它提供 fs、shell、context、fork、log、setup 六个工具,默认所有操作都要询问,包括读文件;/step 只执行一次状态机 transition,使“命令已决定、已允许、未运行”成为可暂停的 ready 状态。构建只支持 Linux x86_64 和 aarch64,需要 Rust 1.88 或更新,release 为 static musl,TLS 使用 rustls over ring。 对做 agent 产品的人,事实是它把控制面拆成上下文 tab、权限 prompt、输出截断、本地 transcript 和内核沙箱;推断是它适合需要本地审计、细粒度权限和最小供应链的开发者,不适合需要 macOS/Windows 或通用 npm 工具链的用户,因为 0.15.1 之后依赖 Landlock 和 seccomp。猜测是这类设计可能推动 agent 工具从功能堆叠转向可验证控制面,但材料没有提供采用数据或性能基准。

    推荐理由:它把上下文、权限、日志和 Linux 内核沙箱做成可审计的本地终端智能体,能校正对通用 agent 工具是否可控、可追溯的判断。

  3. Hacker News · AI78

    agent-chrome 让 Claude Code 在后台使用已登录 Chrome 而不抢占焦点

    agent-chrome 是一个开源 macOS 工具,让 Claude Code 通过复制的已登录 Chrome 配置文件浏览网页,同时把浏览器窗口放在其他应用后面,避免用户输入被自动化窗口打断。项目以 Claude Code 插件和本地代理形式发布,依赖 Node 18.3 或更高版本,代码约 500 行,仅监听 localhost,采用 MIT 许可。 关键细节是它不直接使用 Chrome 默认数据目录,而是用 APFS clone 复制一份用户配置文件,并关闭主题、标签、扩展等同步项,但密码、书签、自动填充和设置仍会同步回 Google 账户。代理以 --remote-debugging-pipe 启动 Chrome,再向 chrome-devtools-mcp 暴露兼容 /json/version、/json/list 和浏览器级 WebSocket 的本地接口,通过请求 ID 重写、目标状态缓存和共享会话让多个 Claude Code 会话共用同一个已登录窗口。 事实层面,它解决的是 macOS 上 Chrome 调试端口每次调用都会激活窗口、以及 pipe 只能由启动进程持有导致多会话冲突的问题。推断是这种代理模式比 headless Playwright 更适合需要人工处理登录、2FA 或 CAPTCHA 的场景,因为它保留可视化窗口和真实登录态。猜测是网站仍可能通过调试器痕迹、点击轨迹和输入节奏识别自动化,因此它更适合受信任工作流,而不是高对抗抓取。

    推荐理由:它把 macOS 上 Chrome 调试端口抢焦点的问题改成本地代理复用 pipe,能直接改善 Claude Code 多会话浏览自动化的人机协作体验。

  4. Hacker News · AI78

    Zero Slop 开源 agent skill 发布,可检测并改写 AI 写作痕迹

    Zero Slop 是一个开源 agent skill,用本地评分和八阶段编辑流程检测并改写 AI 写作痕迹,同时保留原文核心信息。它提供浏览器编辑器、MCP connector、Claude Code、Codex、Gemini CLI 等接入路径,并可用本地 Python scorer 在不调用模型的情况下评分。REST API 的共享免费容量接受最多 20,000 Unicode code points,项目采用 MIT 许可。 材料称本地评分器使用 294 个加权模式和 96 词表,检查固定开头、模糊归因、夸大意义、宣传词、重复句式和过度格式化。八阶段包括 scorer、interpreter、rewriter、fact gate、copy desk、read-aloud editor、verifier 和 fresh-eyes finalizer,材料强调这是工程约定,不是八个独立模型。在 GPT-5.4 high reasoning 的测试中,原始草稿平均写作分为 76.3,Zero Slop 后为 12.8,18/18 通过本地门和来源检查,平均长度变化 -8.9%;同场对比的 avoid-ai-writing、no-ai-slop 和 humanizer 分别为 23.3、28.4 和 35.4。 RAID+ 审计用 7,627 条匿名用户生成文本测试不同模型默认写作被 Zero Slop 标记为 AI slop 的比例:DeepSeek V3 10.1%、Gemini 3.1 Pro 18.2%、Gemma 3 27B 30.4%、Llama 3.3 70B 41.7%。事实是这些数字只表示被该工具标记,不表示文本质量或作者身份;推断是本地评分、事实门和可复现对比比单纯提示词更适合做发布前编辑;猜测是它更可能用于降低 AI 味,而不是替代人工判断或识别作者。

    推荐理由:它把去AI味工具拆成本地评分、事实门、八阶段编辑和可复现对比,能校正对提示词方案是否可靠的判断。

  5. Reddit · MachineLearning68

    作者开源了不可信生成式智能体的 CCA 权限分配架构,并用 Lean 4 验证核心定理。

    作者开源了 Certificate-Conditioned Authority(CCA),一个面向不可信生成式智能体的形式化权限分配架构,核心定理用 Lean 4 机械化验证。仓库还包含 Python 仿真桥接和 belief-state safety models,目标是替代松散信任或运行时对齐启发式,为高风险 cyber-physical 环境中的智能体建立 non-reentrant consequence boundaries。事实是仓库提供 Lean 4 验证、Python 仿真桥接和 belief-state safety models;推断是它把智能体安全控制从经验式对齐转向可形式化证明的权限边界,但材料未给出基准结果或外部复现,不能据此判断其工程成熟度。