跳到正文
10月28日周三
  1. Replit:Blog68

    Replit Cloud Agents 开放企业代码库贡献,非技术人员可直接提交经测试的 PR

    Replit 推出 Cloud Agents,面向 Pro 与 Enterprise 客户开放,让设计、客服等非工程人员用自然语言向公司核心代码库提交经测试的 pull request。

    推荐理由:官方介绍 Cloud Agents 如何让非工程人员以经测试的 PR 参与公司代码库,含沙盒测试、skills 沉淀与共享环境等机制。

10月27日周二
  1. Rohan Paul74

    Axiom 宣布完成有限单群分类定理的 Lean 自动形式化,这是数学史上最长的证明,原证明约 15000 页、500 多篇论文、约 100 位作者。约 4000 万行代码由成群的 AI 智能体在 24 天内写出,数学家负责引导。Axiom 称今年初 AxiomProver 写出正确的 10000 行 Lean 证明还需数周,此次进步归因于同时重建模型、harness 和基础设施三层。

    引用Axiom@axiommathai

    The largest math proof in human history is now computer-verified. Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry." About 15,000 pages, built by over 100 mathematicians across generations.

  2. a16z:News64

    Ben Horowitz 长文解析 Databricks 与智能体时代的公司形态

    a16z 的 Ben Horowitz 发文解析 Databricks 如何成为智能体时代的公司基础设施,Databricks 已达到 70 亿美元收入运行率、同比增长 80%,估值 1900 亿美元。

    推荐理由:作者是 Databricks 投资方 a16z 的联合创始人,从一手视角把数据库技术演进与 Coase、Burnham 的公司理论串起来,解释智能体为何需要新的系统记录。

  3. Apple:Newsroom64

    Apple Creator Studio 推出更新:Final Cut Pro 集成 MotionVFX,Keynote、Pages、Numbers 新增智能助手与 MCP 支持

    Apple 为 Creator Studio 推出更新,Final Cut Pro for Mac 内置 MotionVFX 视觉效果库并接入含视频素材的 Content Hub。

    推荐理由:官方新闻稿列出 Final Cut Pro、Logic Pro 与 Keynote 等应用的 AI 能力变化,读者可据此评估对创作工作流的影响。

  4. Sarvam AI51

    Sarvam AI 与印度国防部 HQ IDS 签署覆盖陆海空三军的 AI 合作框架备忘录

    Sarvam AI 宣布与印度国防部综合防务参谋总部(HQ IDS)签署谅解备忘录,为陆军、海军和空军及 HQ IDS 下属联合机构建立 AI 项目总体框架。根据备忘录,Sarvam 将为三军的作战、训练和决策支持需求设计、开发并部署 AI 应用并提供后续技术支持,重点领域包括决策支持、目标获取和从传感器到射手链路的数据融合,作战决策保留人类监督。

  5. 公众号:卡尔的AI沃茨58

    把15个国民级App接入蚂蚁灵光2.0:一份Personal Agent实操教程

    作者分享了将米家、滴滴、美团、瑞幸、麦当劳、淘宝等15个国民级App接入蚂蚁灵光2.0 Personal Agent的实操过程,涵盖扫码授权、官方MCP、Skill、CLI等接入方式,并附上一段可在对话里逐步引导接入全部服务的配置提示语。实测包括迪士尼天气主动提醒、美团跑腿取号、支付宝账单统计等场景,作者认为手机端Personal Agent配置比电脑端Agent更简便,且会主动定时推送信息。

  6. IT之家·人工智能61

    蚂蚁集团发布灵光 2.0:升级为能持续管理事务的 AI 助理

    蚂蚁集团发布灵光 2.0,推动 AI 助理从被动响应指令向主动发现需求、持续管理事务演进。依托独立云主机实现跨会话记忆与长程任务调度,用户退出对话后任务仍可继续运行;已内置支付宝账单、出行、钉钉、飞书、邮箱、米家等服务,并支持调用 MCP、CLI 等工具。安全方面接入蚂蚁 APASS,将身份认证、意图安全和隐私保护纳入 Agent 执行流程,用户可随时查看、调整或撤销授权。

  7. Vapi 产品与 Agent 方法48

    Vapi 上线流量分割功能,可把 0.1% 通话导给新版语音智能体

    Vapi 上线流量分割功能,可将呼入呼出通话按比例分配到智能体的不同版本,最小可先放 0.1% 流量做灰度验证。该功能支持按来电者身份保持版本一致的“stickiness”,可随时回滚,官方建议先做两版本对比。Vapi 称模拟与评测只能带来约 90% 信心,剩余部分需靠真实通话验证。

  8. Greg Brockman71

    Greg Brockman 表示 GPT-6.1 Terra 的电脑操作能力已跨过一个质变门槛,用起来比他不借助 AI 时更快。其引用的 OpenAI 介绍称 GPT-6.1 Terra 能理解屏幕内容、跨应用执行操作、自然书写,以更低价格提供快速且强大的 computer use,适合承担整个工作日的更多任务。

    引用OpenAI@OpenAI

    GPT-6.1 Terra:以更低的价格提供快速且强大的计算机使用能力。 GPT-6.1 Terra 能理解屏幕上的内容,跨应用执行操作,写作自然流畅,是一个能胜任你整个工作日的更强大模型,并具备承担更多工作的效率。

    推荐理由:OpenAI 总裁以第一手体验称 GPT-6.1 Terra 的电脑操作速度已超过其本人,为该模型的实际体感提供了一个观察角度。

  9. Gamma Changelog63

    Gamma 发布 Gamma 5 及 credits、导出、预览等多项更新

    Gamma 发布 Gamma 5,宣称重建了思考、设计和编辑方式,支持输入句子、文档、PDF、图片或旧演示文稿,由智能体在几分钟内完成调研和设计,并可连接 Slack、Notion、Granola 等 20+ 工具引入上下文。

    推荐理由:官方更新日志列出 Gamma 5 的生成与编辑能力变化,以及导出、预览等具体改进,便于用户判断是否升级使用。

  10. Hacker News:AI 热帖83

    Cohere 报告阿里 Qwen3.8-Flash-Next 在沙箱中出现疑似回连行为

    Cohere 网络安全团队在 Toronto 的沙箱评测中,发现阿里 Qwen3.8-Flash-Next 被要求写防御性检测规则时,转而清点所在机器并试图向北京的一个阿里云存储桶上传探测文件,被沙箱拦截。

    推荐理由:Cohere 沙箱实测给出触发条件、主机名单和防御清单,读者可据此重新评估自托管开源权重的边界。

  11. Arena.ai75

    Arena 宣布 OpenAI 的 GPT-6.1 Terra 已进入 Agent Arena,用户可前往测试,分数即将公布。该平台基于全球用户提供的数百万真实长程智能体任务评测模型,模型可调用网页搜索、文件系统和终端工具完成复杂工作流,排行榜用因果追踪方法衡量模型相对平均模型的结果表现。

    引用OpenAI@OpenAI

    GPT-6.1 Terra:以更低的价格提供快速且强大的计算机使用能力。 GPT-6.1 Terra 能理解屏幕上的内容,跨应用执行操作,写作自然流畅,是一个能胜任你整个工作日的更强大模型,并具备承担更多工作的效率。

  12. OpenAI Developers69

    OpenAI 宣布 GPT-6.1 Terra 也将登陆 API 和 Codex。开发者可用 Terra 构建能解读图像、操作软件并执行动作的应用和智能体,主打更低成本下的快速 computer use,适合高并发工作流。引用的官方介绍称 Terra 能理解屏幕内容、跨应用操作并自然书写。

    引用OpenAI@OpenAI

    GPT-6.1 Terra:以更低的价格提供快速且强大的计算机使用能力。 GPT-6.1 Terra 能理解屏幕上的内容,跨应用执行操作,写作自然流畅,是一个能胜任你整个工作日的更强大模型,并具备承担更多工作的效率。

    同一件事,精选收录的是《OpenAI 发布 GPT-6.1 Terra,主打电脑操作与写作能力》