跳到正文
今天11月12日周四21 条
  1. Hacker News:AI 热帖61

    Enspirit 开源代码审查工具 Revu:用 scopes 帮人读 Agent 写的代码库

    Enspirit 发布开源工具 Revu(MIT 协议,npm install -g @enspirit/revu),为阅读 Agent 生成的代码库提供浏览器界面:左侧按 scopes(如最近提交、最长文档、无测试覆盖等)组织文件,中间读源码,右侧按行添加带 must-fix、question、scope 标签的备注并导出为一份 markdown。

  2. Hacker News:AI 热帖54

    Griyd 发布面向开发团队的多智能体协作看板

    Griyd 推出多智能体协作看板,让团队各自使用 Claude Code 或 Codex 在同一看板上规划规格、创建故事并构建功能。智能体通过 MCP 创建故事并 @ 成员,写规格前会读完看板上所有打开的故事,CI 结果由 Griyd 转发给构建该故事的智能体以复现修复。定价为每开发者每月 $15,无智能体成员免费,另支持 $500/年 Docker 自托管。

  3. Hacker News:AI 热帖41

    美联航将禁止 AI 智能体代订机票

    美联航宣布将禁止 AI 智能体(AI Bots)自动预订航班。目前该消息在 Hacker News 上以 3 分和 2 条评论呈现,正文尚未披露禁令的具体执行方式或时间。这一举措将直接影响依赖自动化工具购票的用户和 Agent 服务。

  4. Hacker News:AI 热帖67

    为什么 AI 干活你反而更累:并行多智能体的 thrashing 陷阱

    作者用计算机科学里的 thrashing 概念解释为何同时使用多个 AI 编码智能体(Codex、Claude Code、Cursor 等)反而让人疲惫:智能体完成后需要花大量时间重新理解、审查其输出,频繁切换上下文导致实际进展很少。他类比 Jevons 悖论,指出任务变容易后人们倾向于接更多任务,并建议限制并行任务数量、把审查时间计入工作量、先完成已开始的审查再启动新任务。

  5. Hacker News:AI 热帖64

    美国押注 AI 智能体,中国押注机器人:20 天 446 笔融资对比

    作者统计 2026 年 10 月 22 日至 11 月 11 日中美 446 笔公开融资:美国 310 轮共 1333 亿美元,中国 136 轮披露 55 亿美元;去掉 Anthropic 650 亿美元 Series H 和 SpaceX 400 亿美元债务后美国为 283 亿美元,约是中国的 5 倍,但两侧中位融资额接近(2120 万美元对 2400 万美元)。

  6. Hacker News:AI 热帖52

    Dedoomify 上线:把 AI 新闻中的末日表述改写成软件问题口吻

    作者推出开源工具 Dedoomify,粘贴任意 AI 新闻链接即可把「模型对齐失效」等末日式表述改写成「模型有 bug」这类普通软件问题口吻。每处改写都会高亮,悬停或点击可查看原文;可用快捷短语规则运行,也可通过 WebGPU 在浏览器中调用本地 AI 模型,代码开源于 GitHub。

  7. Google Developers Blog70

    Google 发布 A2UI 1.0 稳定版开源协议,让智能体用原生交互界面回答

    Google 发布 A2UI 1.0,这是其生成式 UI 开放协议的首个稳定版本,让 AI 智能体以表单、图表等交互屏幕而非纯文本回答,提供覆盖 Web、Android、iOS 的开源渲染器 SDK 和 Python、TypeScript、Dart 的 Agent SDK。

    推荐理由:官方发布开源生成式 UI 协议的 1.0 稳定版,给出渲染器与 Agent SDK 清单和 Atlassian、ByteDance 等落地方式,读者可评估是否接入自己的智能体工作流。

  8. Hacker News:AI 热帖67

    发展心理学家用 Claude Opus 5.5 审计自己近五年的 79 篇论文

    一位发展心理学家用 Claude Code(尤其 Claude Opus 5.5)审计自己过去五年有署名的 79 篇论文,其中 59 篇为实证论文。58/59 公开了部分代码和数据,但仅 31/58 能完全复跑;40/58 至少有一个数字无法在 10% 容差内复现,平均每篇数字错误率约 2%(每篇中位数 155 个数字、总数超 10k)。

11月11日周三
  1. TechCrunch · AI41

    Databricks 发布新版 AI 智能体 Genie,CEO Ali Ghodsi 用它获取“不加修饰的真话”

    Databricks 发布更新版 AI 智能体 Genie,可依托平台数据构建的 ontology 获取上下文,无监督地完成多步长时任务。CEO Ali Ghodsi 现场演示自己如何用它分析员工满意度低分项、总结失败的销售提案并准备播客访谈,称员工超 150 人(Dunbar's number)的公司都能从中受益。

  2. Hacker News:AI 热帖47

    观点:AI 的许多进步其实只是“不偷懒”的持久力

    一篇 Hacker News 热帖提出观点:大部分 AI 热度并非源于超常智能,而是模型快速、勤奋且不偷懒。例如 Claude 帮人找回价值 400,000 美元的比特币靠的是穷举搜索文件而非高深密码学技术;OpenAI 解 Millennium 问题用了 10,000 个智能体协调 88 小时,且有其他研究者已接近解决。

  3. Ars Technica · AI77

    Google DeepMind 用 AlphaProof Code 形式化验证 Signal 协议关键密码学保证

    Google DeepMind 研究人员用名为 AlphaProof Code 的智能体 AI 框架,在四周内对 Signal 协议的关键密码学保证做了数学层面的形式化验证。验证未发现新漏洞,但在含已知漏洞的旧版 Signal 上能正确识别问题并证明无法通过形式化验证;研究未覆盖整个 Signal 移动应用,研究人员称这是更大进程中的一个里程碑,并将公开规格与证明以支持后续形式化验证工作。

    同一件事,精选收录的是《Google DeepMind 推出 AlphaProof Code 框架,形式化验证 Signal 密码协议实现代码》

  4. Hacker News:AI 热帖52

    Sean Goedecke 谈 AI 时代胶水工作为何依然有害

    作者认为 LLM 写代码并未让工程师转向更多胶水工作,反而让其更不重要,并给出四个理由:AI agent 降低协调需求、ZIRP 结束淘汰了难缠的守门人、初级工程师招聘减少、走形式的报告可用 LLM 自动生成。但他强调工程师间的真实沟通不能外包给 LLM,建议多数时间仍应花在驱动 AI agent 上,只做少量战术性胶水工作。