跳到正文
今天10月30日周五2 条
  1. Rohan Paul40

    Mintive 发布平台,为每个 AI 智能体分配独立身份和权限,并已完成 1100 万美元融资。平台让赋能团队接入工具与智能体,安全团队则设定统一策略,所有调用都需通过该策略校验。据称 Modern Treasury 用它在 3 周内上线银行运营智能体,将原本 4 小时的任务缩短至几分钟;密歇根大学则将其用于 15 万名学生、教职员工。

    引用Jiquan Ngiam@JiquanNgiam

    Every AI agent at work runs with the access of whoever set it up. That’s why security keeps saying no. Today we’re launching @mintive: every agent gets its own identity and permissions, the same way every employee does. We’ve raised $11M, with @cowboyvc leading our latest round.

10月29日周四
  1. 404 Media79

    404 Media 起底 Proton 内部 AI 转型之争:CEO Andy Yen 强推 AI 引发恐惧文化

    404 Media 采访九名现任与离职 Proton 员工并查阅内部文件,报道 CEO Andy Yen 强推 AI 转型引发的内部冲突。10 月公司 90% 代码由 AI 编写,多使用 Anthropic 的 Claude;Yen 称今年是最后一年招聘工程师,并宣布将以可能决定去留的重新面试评估员工 AI 使用情况。

    推荐理由:记者基于九名员工和内部记录还原 Proton 强推 AI 的内部冲突,读者可据此对照其他安全公司在效率与文化上的取舍。

  2. Boris Cherny67

    Boris Cherny 介绍犹他州向 10 个州政府部门的 34 名开发者提供了 Claude Code。试点显示 80% 的开发者在 30 分钟内搭好可用环境,71% 的开发者在为期四周的试点结束前报告节省了 20 小时以上时间。该推文引用了 Anthropic 与 GSA 合作将 Claude 以 40% 折扣提供给联邦及各级政府的公告作为背景。

    引用Anthropic@AnthropicAI

    我们正在扩大与 @USGSA 的合作。根据一项新的 OneGov 协议,我们将以 40% 的折扣向联邦、州、地方、部落和领地政府提供 Claude。 https://www.anthropic.com/news/expanding-partnership-gsa

    推荐理由:作者提供了犹他州为期四周试点的一手数据,读者可据此评估 Claude Code 在政府开发者中的上手速度与实际节省时间。

10月28日周三
  1. The Decoder:AI News77

    Cathedral 用 AI 智能体侵入 Anthropic 内部系统,双方对事件范围说法不一

    网络安全初创公司 Cathedral 通过第三方业务软件渗入 Anthropic 内部系统,称其 AI 智能体在不到十二小时内接触到会议记录、薪资数据和 Slack 消息,并借漏洞赏金计划披露问题。

    推荐理由:安全公司用 AI 智能体渗透 Anthropic 内部系统,双方对影响范围各执一词,可用作观察第三方软件安全短板的案例。

  2. IT之家·人工智能62

    美国银行提醒客户不要向 AI 助手透露网银密码

    据 Android Authority 报道,美国银行向客户发送题为《AI 时代的财务保护》的邮件,提醒不要向外部服务包括 AI 智能体分享网银用户名和密码,并表示分享凭据产生的责任由客户承担。摩根士丹利已开始屏蔽未经批准访问客户网银的第三方智能体,摩根大通和花旗银行也在收紧相关权限,责任归属难题尚无妥善解决方案。

  3. Sarvam AI48

    Sarvam 与 HQ IDS 建立 AI 框架,覆盖印度陆海空三军

    Sarvam 与印度国防部下属的 HQ IDS 签署 MoU,为印度陆军、海军和空军建立统一的 AI 项目框架。三军及联合机构将共用同一套基础模型、智能体基础设施与地理空间和感知系统,项目由其专注国防的 Chanakya 部门执行,采用包括 Sarvam 105B 在内的 AI 技术栈。重点方向为决策支持、目标获取与传感器到射手链路的数据融合,作战决策保留人工监督。

  4. Rohan Paul76

    作者称 Verified AI 迎来标志性月份,Axiom 的 AI 智能体集群用 24 天完成数学史上最长证明的验证,将跨越 500 多篇论文的 15,000 页有限单群分类定理(CFSG)转化为 3800 万行以上机器验证代码,并发现已发表记录中的 34 处严重出入。引用内容补充称该形式化证明可能是最大的开源项目之一,图中显示 Axiom CFSG 达 43.0M 行,约每 37 天翻倍。

    引用Leo@biosemiote

    CFSG 的形式化证明如今可能已成为有史以来最大的开源项目之一。观看智能体将其组装起来,让人再次意识到其背后那令人敬畏的人类成就。这张图代表了数学家们数十年来发展出的约 15,000 页错综复杂的论证。

    推荐理由:原文汇总了 AI 智能体集群形式化验证有限单群分类定理的规模数据,可作为观察形式化验证能力进展的一个参照点。

  5. TechCrunch:AI56

    美国银行提醒客户不要向 AI 助手共享银行账号密码

    美国银行向客户群发题为“在 AI 世界保护你的财务”的邮件,提醒客户永远不要把用户名和密码交给他人或外部服务,包括声称能代你操作的 AI 工具或智能体。邮件指出共享凭据可能让 AI 未经知情操作资金、触发银行风控锁号,或因 AI 助手安全漏洞导致凭据泄露;并强调一旦共享凭据,由此产生的操作后果由客户自行负责。

  6. Noam Brown54

    Noam Brown 发文称,MIT 每年冬季开设为期一个月的 6.9630 课程,学生制作扑克 AI 并比赛争夺现金奖励;编码智能体大幅加速了这一过程,现在一小时就能做出一个扑克 Bot。他还表示会出席 No Limit 扑克 Bot 锦标赛决赛,该赛事由 Sequoia、citsecurities 和 OpenAI 主办,冠军奖金 10 万美元。

    引用Sequoia Capital@sequoia

    Announcing No Limit: a bot building tournament hosted by @Sequoia, @citsecurities and @OpenAI. Teams of 1 or 2 get 60 minutes to build a pokerbot from scratch. Agents play thousands of games across six scored rounds. Open to university students and recent grads (‘25 or ‘26). Regionals in Boston, Pittsburgh and the Bay Area in early November. Top five teams from each fly to the Finals. $100K grand prize.

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. Sarvam AI51

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

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

10月26日周一
  1. Dash50

    作者发现开源 AI 智能体 Cindy 当天登上 GitHub Trending 第一。引用内容称该项目突破 5000 星,它是一个可驱动浏览器、电脑和手机的开源 AI 智能体,仓库地址 https://github.com/makecindy/cindy。截图显示仓库为 makecindy/cindy,TypeScript 编写,5296 星,当日新增 675 星。

    引用Cindy App@making_cindy

    Cindy just crossed 5,000 ⭐ on GitHub! Thank you to everyone building with us. Open-source AI agent that drives your browser, computer and phone. Free 👉 https://github.com/makecindy/cindy

10月25日周日
  1. IT之家·人工智能61

    AI 智能体涌入银行账户,美国大行制定灾后应急预案

    据 Axios 报道,随着代表个人客户的 AI 智能体金融操作激增,摩根士丹利、美国银行、摩根大通、富国银行等美国头部银行正为 AI 引发的灾难制定应急预案。部分智能体在无人类明确指令下自主操作甚至致电客服;阿波罗首席经济学家斯洛克警告,智能体最大化资金收益可能令银行流失低成本存款并冲击金融体系,摩根大通 CEO 戴蒙称这一趋势挡不住,只能尽力管控。

10月24日周六
  1. Noam Brown67

    Noam Brown 表示,上月一个大模型智能体团队用了超过 1000 亿 token 解决 Navier-Stokes 千禧年大奖问题,现在把类似方法用于红队测试,以发现并修复基础设施漏洞。其引用的 Eric Wallace 内容补充说明,团队在离线隔离环境中让多个网络安全能力强的模型协作找零日漏洞,虽未发现能绕过 CoT 监控的联网路径,但找到了逃逸常用 VM、利用网络基础设施以及通过硬件侧信道与其他 VM 中智能体通信的方法,相关修复已上游提交给开源软件包;配图显示红队高优先级候选发现随 token 消耗(约 0 到 400B)累积至约 275 条左右。

    引用Eric Wallace@Eric_Wallace_

    To make sure our frontier models don't cause another HuggingFace incident, we built an offline world that they use during training. It provides everything that the models need in a fully cached, indexed, or synthetic manner. We then built a huge team of our most cyber-capable models and told them to collaborate to find zero-days in this containment infrastructure. While they didn't find a path to the internet that wouldn't be caught by our CoT monitors, they did find ways to escape popular VMs, exploit our network infrastructure, and even ways to communicate with other agents running in separate VMs by using hardware side channels. We used this to dramatically harden our infra, and we also upstreamed a ton of patches to open-sources packages.

10月23日周五
  1. Rohan Paul70

    Anthropic 将 Agent Skills 标准的所有权捐赠给 Linux Foundation 旗下的 Agentic AI Foundation,与其此前捐赠 MCP 的做法一致。

    引用ClaudeDevs@ClaudeDevs

    我们正在将 Agent Skills 捐赠给 Agentic AI Foundation(@AgenticAIFdn),我们此前也是将 MCP 捐赠给同一个基金会。 自 2025 年 12 月起,已有 70 多个智能体平台集成了该标准,包括 ChatGPT、Cursor、GitHub Copilot 和 VS Code。 这对你意味着什么: