←搜索结果

按匹配度 · 共 107 条结果 清除搜索

星期五

  1. Latent Space

    Latent Space 公布 AIE CODE 编码智能体大会策展主题

    Latent Space 主理人 swyx 介绍年度旗舰大会 AIE CODE 的策展思路,会议为单轨、邀请制,面向约 1000 名智能体工程师。今年三大主题为 Scaling without Slop、System One 模型和 Increasing Ambition,其中 Jarred Sumner 将分享 Bun 用 Rust 重写及 Bun AOT 预览。文章同时汇总了 Mistral 开源权重发布、OpenAI 前沿模型监控等当日 AI 新闻。

    匹配字段标题、正文

  2. The New Stack

    AWS Hydro 团队:用编译器在智能体信任边界外拦截编码错误

    AWS Hydro 团队研究负责人 Shadaj Laddad 认为代码审查已跟不上智能体写代码的速度,主张把正确性检查放在智能体信任边界之外,由编译器强制执行,例如 Rust 借用检查器在运行前捕获竞态条件,Hydro 则在编译期捕获分布式系统的多类缺陷。团队正研究把幂等性等反复出现的设计模式做成通用护栏,同时承认编译器有局限,AI 生成的 Rust 代码可以编译通过但仍然有错。Hydro 与同团队的开源智能体运行时 Infinity 均由 AWS 与 UC Berkeley 联合开发,托管在 hydro.run。

    匹配字段标题、正文

星期五

  1. Databricks Blog

    Databricks 谈 AI 编码成本治理:单位成本最高降 90%

    Databricks 产品负责人 Patrick 复盘公司全面采用 AI 编码智能体后的成本失控问题,称通过迁移到更便宜的模型、路由、支出可见性和削减 token 开销,部分场景单位成本下降最多 90%。他提到硬性预算上限会打断最好的开发者,因此改用警告、审批、降级模型的渐进式摩擦,并把内部方案产品化为 Unity Gateway。团队用自家代码库真实 PR 自建评测,发现 GLM 5.2 在质量上追平 Opus 4.8 且每任务成本低约三分之一,而某个每 token 便宜 1.7 倍的模型因消耗更多 token 反而每任务更贵。

    匹配字段标题、摘要、正文

  2. Alex Heath

    Pichai 回应 Gemini 3.5 Pro 为何未发布

    Alex Heath 询问 Google CEO Pichai,为何 Gemini 3.5 Pro 最终没有发布。Pichai 称训练 3.5 系列时发现智能体能力尤其是编码方面存在缺口,团队认为用更小更高效的 Flash 迭代更快,于是先后推出 3.5、3.6、3.7 和 3.8 Flash;等这套能力可用于 Pro 时,Argon 预训练已经完成。

    匹配字段摘要、正文

星期三

  1. Tessl:产品与工程博客

    Jellyfish 数据:编码智能体已写 22% 的 PR,但几乎都要人工评审

    Jellyfish 对约 30 万名工程师、1300 家公司数据的分析显示,企业中位水平的自主编码智能体已撰写 22% 的合并 PR,较一个月前的 18% 上升,前 10% 的公司达 53%。但由智能体独立评审并合并的 PR 中位数仅 0.6%,前 10% 为 9%,人工评审仍是主要瓶颈。作者还指出,智能体提交的 PR 放弃率为 40%,人类为 20%,且每个合并的智能体 PR 所获人工评审次数在过去一年翻倍以上。

    Nicholas Arcolano

    匹配字段标题、摘要、正文

  2. Pragmatic Engineer

    软件工程师的 AI 支出回报率有多高:27 家公司数据调查

    Pragmatic Engineer 调查 27 家公司的 AI 编码工具支出与 PR 产出,发现公司规模与 AI 支出无关,且多数公司难以回答 AI 投入的回报率。CodeRabbit 数据显示开发者每周 PR 数同比增长 113%,但部分公司 PR 频率持平、单次 PR 代码量增至 3 倍。高支出案例中,一家量化交易公司月支出达 800 万美元、人均 1600 美元,一家两人 .NET 团队人均每月 3000 美元、PR 频率提升 5-10 倍。

    匹配字段摘要

星期一

  1. 雷锋网

    Git 被换掉、LLM 被替代:AI 编码开始反噬传统工具链?

    雷锋网梳理了三个案例:Anthropic 因 Claude 持续生成代码,7 名工程师用 5 个月开发出版本控制系统 Scion 并迁移核心仓库,主分支历史接近 100 GB,迁移后基础设施 CPU 和内存需求约缩小 200 倍;GitHub 用微调后的 ModernBERT 替换密钥扫描中的通用 LLM,线上 Post-push 扫描执行时间中位数下降 86%,模型服务成本下降超过 98%;哥伦比亚大学与 Google DeepMind 等机构提出 BTTF,把芯片仿真波形转成 SQLite 供 Agent 用 SQL 排查异常,在 4.2 GB 波形实验中执行准确率 95.33%。文章认为,随着 Agent 提高代码产出,瓶颈会沿交付链路向后移到 CI 的构建、测试与部署验证。

    匹配字段标题、正文

星期一

  1. Fireworks AI

    Fireworks 分析:按任务路由模型可让编码智能体从 74.1% 升至 97.6%

    Fireworks AI 在 DeepSWE v1.1 的 113 个编码任务上测试 18 个模型,单一最佳模型 GPT-6 Astra 通过率 74.1%、每任务成本 6.52 美元,而按任务事后挑选最优模型可达 97.6%、每任务 1.88 美元。仅用开源模型池(DeepSeek V4 Flash 与 Pro、GLM-5.3 与 GLM-5.3 Flash、Kimi K3、Qwen3.8 Max)也能达到 90.3%、每任务 1.45 美元。作者指出该结果是事后视角的上限,真实路由需在任务开始前预测模型,并称 FireRouter 在其四周生产编码流量中把 2334 个会话的成本从 15.81 美元降至 7.42 美元。

    匹配字段标题、摘要

星期五

  1. DeepLearning.AI · Andrew Ng 来信精选

    吴恩达总结用编码智能体构建软件的工作流与关键技能

    吴恩达在 DeepLearning.AI 来信中提出,用编码智能体构建软件有一套稳定的高层工作流:规划(头脑风暴与写规格、生成执行计划)、执行(构建、测试、验证,平衡智能体自主度与人工监督)、部署与监控。他认为关键技能包括指挥工作流、赋予智能体自主权、审查产出,以及定制智能体及其环境(如接入 skills、插件、MCP 服务器,维护 AGENTS.md 或 CLAUDE.md 等常驻上下文)。他还指出社交媒体夸大了长时程自主任务的实际效用,多数有效用法是高度迭代的过程。

    匹配字段标题、摘要

星期二

  1. Pragmatic Engineer

    Ramp 为何自研内部编码智能体 Inspect

    金融科技公司 Ramp 自研内部后台编码智能体 Inspect,目前 75% 的已合并 PR 由它发起,7 月累计会话量突破 100 万次。Inspect 以远程沙箱运行,接入公司内部数据源与工具,可自行跑测试、查遥测和功能开关,并对前端改动做截图与实时预览验证,远程开发环境启动时间在 5 秒以内。Ramp 团队表示,自研的原因是本地机器只能并行运行一两个会话、需要更好的前端工具和远程开发环境;Inspect 基于开源编码智能体 OpenCode 构建,公司内部已有 200 多个智能体运行在该平台上。

    匹配字段标题、摘要

星期五

  1. DeepLearning.AI · Andrew Ng 来信精选

    吴恩达分享用产品规格驱动编码智能体的实践方法

    吴恩达在 DeepLearning.AI 来信中提出,AI token 便宜、人类 token 珍贵,做 0 到 1 原型时不必先花大量时间写完美规格,可先让编码智能体快速搭出原型,再根据实际结果迭代规格。他还建议让智能体把关键决策记录在 SPEC.md 等文件中,并在修正问题时同步更新规格和测试计划,避免重复消耗人的输入。本期还报道了 Claude Fable 5 恢复上线、Google 发布 Nano Banana 2 Lite 与 Gemini Omni Flash,以及 DeepSeek 开源 DSpark 投机解码方法。

    匹配字段标题、摘要

星期四

  1. The Guardian Technology

    当同事是 AI 智能体,工作会变成什么样

    The Guardian 采访了多家旧金山创业公司,描述 AI 智能体作为“同事”接管排期、编码、营销和招聘等任务后的实际体验。Anything 有 15 名人类员工和约 150 个智能体,Lindy 裁员三分之一后用智能体填补岗位;麦肯锡调查显示约 40% 大型组织在 2025 年 5 月至 2026 年 6 月间以某种形式使用 AI 智能体。员工反映需要花大量时间纠正智能体错误,客户和求职者对智能体沟通方式产生抵触。

    匹配字段摘要

星期三

  1. Interconnects

    Artificial Analysis v5 与基准测试者的两难

    Nathan Lambert 评述 Artificial Analysis 新发布的 Intelligence Index v5,该指数按知识工作、编码、科学、通用各 25% 加权,并给出新的模型排名。他指出榜单中 8 个闭源模型领先最好的开源模型 Kimi K3.1 Pro,认为新指数更偏向衡量前沿模型走向,可能低估开源模型在经济中的作用。文章还讨论了转向私有基准的利弊,以及基准机构靠模型厂商付费验证结果的商业模式对可信度的影响。

    匹配字段摘要、正文

星期一

  1. Tomasz Tunguz 博客

    Tomasz Tunguz 谈 AI 的第三个产品市场契合点为何是安全

    Tomasz Tunguz 认为,继编码和客户支持之后,安全将成为 AI 的第三个产品市场契合点。他引用对 75 位企业安全从业者的调查,把除终端之外的安全预算拆成安全运营中心、SIEM、渗透测试、威胁情报和漏洞管理五类,并指出每一类都有显著的 token 消耗。文中还引用 OpenAI 总裁 Greg Brockman 的判断,即安全支出应当远超软件支出。

    匹配字段摘要、正文

星期六

  1. 钛媒体 · AGI

    AI审计工具为何由被审方提供:一周四起安全事件与七篇论文的验算

    文章以十月十六日至二十三日一周内的四起安全事件为线索,包括PHP两个远程执行漏洞被AI挖出、LiteLLM后门版v1.107.0在PyPI存活约两小时并被下载约4.9万次、OpenCode控制台泄露1.4%用户的第三方模型密钥、微软通报人类组织使用开源多智能体渗透框架ARTEX攻击供应链,讨论AI审计面临的共同问题。作者逐篇核查七篇论文后指出,潜推理自解码的忠实度最高仅0.4788,稀疏自编码器对后门位移近乎失明,探针在被优化对象针对时会失效,三种主流审计工具都产自被审方生态或需借用被审方权限。文中还引用了牛津与纽约大学的NARCBench多智能体合谋基准,以及Anthropic与Theorem用Claude对123个开源库239个入口写下约十亿行Rocq形式化证明的报告。

    匹配字段摘要、正文

星期四

  1. Thomas Wolf

    Thomas Wolf 点评 Recursive 新模型 Flint:把 lm_head 量化到 4 位仍接近 bf16

    Hugging Face 联合创始人 Thomas Wolf 表示,他的 AGI 标准仍是 AI 拿下诺贝尔奖,但 Recursive 的 AI 研究者把通常被建议保持高精度的 lm_head 量化到 4 位、结果与 bf16 仅差 0.7 个百分点,令他印象深刻。他同时提到该模型以开源权重形式发布在 Hugging Face 上,并向 Recursive 表示祝贺。被引用的 Recursive 原帖介绍,Flint 是其首个模型,定位为快速本地编码模型,由自动化研究系统 Eureka Machine 构建,在 MacBook Pro 上达到 125+ tokens/sec、在 RTX Spark 上达到 150+,不到 4 个月从零建成。

    Hugging Face 联合创始人 Thomas Wolf 表示,他的 AGI 标准仍是 AI 拿下诺贝尔奖,但 Recursive 的 AI 研究者把通常被建议保持高精度的 lm head 量化到 4 位、结果与 bf16 仅差 0.7 个百分点,令他印象深刻。他同时提到该模型以开源权重形式发布在 Hugging Face 上,并向 Recursive 表示祝贺。被引用的 Recursive 原帖介绍,Flint 是其首个模型,定位为快速本地编码模型,由自动化研究系统 Eureka Machine 构建,在 MacBook Pro 上达到 125+ tokens/sec、在 RTX Spark 上达到 150+,不到 4 个月从零建成。

    匹配字段摘要

星期二

  1. 邵猛

    Claude Code 团队 Addy Osmani 谈 Agentic Verification

    Claude Code 团队的 Addy Osmani 分享「Agentic Verification」,认为 AI 编码 Agent 的瓶颈已从写出代码转移到判断代码是否正确,不能自我验证的 Agent 本质上是在猜。他提出三类给 Agent 的考题:优先选 E2E 测试,用属性测试规定永远不许发生的情况,用差分测试把旧系统当标准答案。他还强调慢和 flaky 的测试会训练 Agent 用重试取代修复,建议把测试基础设施当作 Agent 的依赖来投资。

    匹配字段摘要、正文

星期日

  1. Tomasz Tunguz 博客精选

    Tomasz Tunguz:Anthropic 或许该按云厂商来估值

    Tomasz Tunguz 认为 Anthropic 虽被视为 AI 公司,但应按云厂商估值:在 1500 亿至 2000 亿美元区间,其估值与华尔街对独立 GCP 的估算相当,而收入只有后者约三分之二。文中对比四家云厂商数据,Anthropic 年化收入约 460 亿美元、同比增长 1374%,规模最小但增速最快,数据中心承诺达 5180 亿美元。作者还提到 Claude Code 在 Ramp 上购买编码智能体的企业中占 87%,Claude Opus 5.5 单任务成本 5.98 美元,高于 GPT-6 Astra 的 3.26 美元和 Gemini 4 Argon 的 1.99 美元。

    匹配字段摘要

星期六

  1. Interconnects

    Meta 同时推出开源模型 Muse Spark Open 与闭源模型 Muse Wonder

    Meta 发布开源权重模型 Muse Spark Open,参数为 816B 总参数、42B 激活参数,上下文窗口 1M tokens,主打编码与智能体任务并原生支持多模态;作者称其性能高于 GLM 5.2、接近 DeepSeek V4.1 Flash,落后于 GLM 5.3 和 Kimi K3。几天前 Meta 还发布了闭源前沿模型 Muse Wonder 和 Muse Wonder Full,在传统基准上仅次于 Anthropic 的 Opus 5.5。作者认为 Muse Spark Open 的定制许可证限制较多,包括产品需标注 Built with Muse、月收入超过 2000 万美元需单独授权,以及需接受可接受使用政策,这可能影响其采用。

    匹配字段摘要

星期五

  1. Karina Nguyen

    Karina Nguyen 转述 Nick Cammarata 的可解释性研究新判断

    Karina Nguyen 转述 Nick Cammarata 关于可解释性研究的新判断,认为 AI 加速科学发现可以从理解自身学习机制开始,这类研究在编码智能体和开放权重模型出现前更难推进。Cammarata 在引用推文中称,他早年在 OpenAI 参与机械可解释性研究时曾持悲观态度,认为神经网络会折叠成难以理解的乱结;如今借助现代智能体工具观察,参数量高达数万亿的模型中绝大多数神经元是可读的,电路结构清晰,许多著名的纠缠神经元案例其实是被误解的。他认为雄心勃勃的可解释性研究会在最需要它的时候被解决,并可能很快实现。

    匹配字段摘要