claude

ChainCatcher 消息，人工智能公司 Anthropic 旗下 Frontier Red Team 于 10 月 22 日发布研究，称大语言模型已能在更大规模上自动撰写形式化证明。团队与 Theorem 合作，使用 Claude 在 RISC-V 汇编层对超过 100 个真实开源库证明安全性质，并称这是已知首次用 AI 在汇编层对生产软件做大规模形式化验证。写证明过程中还发现了多年未被发现的漏洞。实验将 Google OSS-Fuzz 中已有的可编译 fuzz 测试转为规格：在单线程静态二进制、固定内存预算、RISC-V CPU 与 Linux 等假设下，对小于 64 MB 的任意输入，程序应正常退出且不触发内存安全错误或断言失败。数周内，Claude 在修补所发现问题后，对 123 个 OSS-Fuzz 库中的 239 个入口点证明了上述性质。证明针对编译后的 RISC-V 指令，约 1.8 亿行 Rocq，并由 Rocq 内核检查。页面称，这并不等于这些库没有漏洞，剩余问题可能位于受信任组件或证明范围之外。页面还称，团队让 Claude 形式化 RFC 1950，并在 x86 二进制层证明 Linux 内核中的 zlib 实现符合该规格；用 Rust 编写覆盖 Python 大子集的解释器，对超过 170 万个随机生成程序与 CPython 行为一致的比例为 99.95%。在 36 个小型验证任务上，Opus 5.5 证明其中一半所需 token 比 Opus 5 少约 40%。团队同时指出，证明针对单线程、静态链接的 RISC-V 二进制，且证明检查器不能判断规格是否符合现实。

ChainCatcher 消息，早期投资机构真格基金在官网上线 Ask AI。创业者可直接询问真格投过哪些团队、最近关注什么领域，以及有哪些适合自己的活动。真格基金将投资团队、被投企业、关注领域、创业活动和联系方式等公开信息，整理成一份中英双语的 zhenfund.md。用户点击任意 AI 入口后，网站会跳转到 Kimi、ChatGPT、Claude 或 DeepSeek，并预先填好提示词，让模型先阅读该文件再回答问题。

ChainCatcher 消息，谷歌 (GOOG.O) 宣布在谷歌云上正式推出由 Anthropic 管理的 Claude 模型部署选项。

ChainCatcher 消息，10 月 21 日，Stripe 与 Anthropic 在旧金山和都柏林宣布，Anthropic 已将 Link 的代理钱包和 Stripe MCP 接入 Claude Duet。Claude Duet 是以研究预览形式推出的新应用，面向小企业主和专业人士，用于跟进待办事项并完成用户委托的工作。企业主可让 Claude Duet 通过 Link 在互联网上购买数字广告、名片、团队午餐或白板笔等物品。每笔购买须经用户批准后，Claude 才使用虚拟卡完成交易。通过 Stripe MCP，用户还可在不离开应用的情况下发送发票和支付链接、管理产品和价格、分析收入并办理退款。Stripe 支付负责人 Kevin Miller 表示，企业主希望代理完成订购物资或向客户开具发票等工作，Link 的代理钱包和 Stripe MCP 可让 Claude Duet 承担更多日常工作，同时由企业主保持控制。Anthropic 首席技术官 Rahul Patil 表示，代理开始替人处理实际工作时，资金往来更需要信任，Claude Duet 的购买建立在 Link 上，使用户对每一美元保持主导。Link 已为超过 200 个个人代理提供支付能力，其中包括 Meta 的 Muse、SpaceXAI 的 Grok Bot 和 Instinct。

ChainCatcher 消息，Anthropic 于 10 月 21 日开放 Claude Duet 研究预览。这是一款独立应用，Claude 作为主动型代理，会提示需要关注的事项、完成用户交代的任务，并在用户离开后继续工作；代表用户行动前会征求确认。产品面向专业人士和小企业主，提供 iOS、Android 应用及 claude.ai，研究预览包含在 Pro 和 Max 计划中，与其他 Claude 功能共用用量限额。用户需加入候补名单，目前先从美国 Pro 和 Max 用户开始。Claude Duet 围绕 Claude Opus 5.5 设计。它每天早上发送跨已连接应用的简短简报，白天监测这些应用，仅在需要关注时发消息，可处理安排会议、搭建仪表盘、财务或销售预测、原型和网页应用等任务。应用沿用 Claude 账户中的记忆、技能和已连接应用，支持打字或语音在同一持续线程中沟通，并配备带浏览器的虚拟机，不依赖用户设备保持开机。它可使用 Claude Marketplace 中超过 6,000 个连接器和插件，文中举例包括 Gmail、Slack、Intuit QuickBooks、Stripe、Gusto、LinkedIn、Docusign、HubSpot、Canva、Shopify。企业采购可使用 Stripe 的 Link 数字钱包或 Shopify 的 Shop Pay，即将支持在用户许可下用 1Password 已保存登录信息登录网站。安全方面，产品沿用可信代理框架，托管代理不直接看到密码或登录令牌，并设有自动模式分类器及提示注入防护；Anthropic 已进行红队与外部渗透测试，并将其纳入公开漏洞赏金计划。发送消息、付款、签署文件或删除内容前会展示拟执行操作并等待批准，证券交易或账户间转账即使获得批准仍被禁止。早期版本可能误读对话或误判紧急程度，核心功能围绕工作，订票等个人事务较弱，尚不能向用户展示其浏览器，目前也与主 Claude 应用分开，后台检查计入计划用量。

ChainCatcher 消息，据动察 Beating AI 快讯，一份在投资社区流传的专家访谈纪要称，人工智能公司智谱下一代基座模型并非此前传闻的 1.6 万亿参数，而是 2.5 万亿至 3.5 万亿参数。智谱今年 8 月发布的 GLM-5.3 仍沿用上一代基座，总参数约 7440 亿；若消息属实，新基座规模约为现款的 3.4 至 4.7 倍。纪要还称，训练并不顺利，智谱采用了更激进的模型架构，预训练期间一度出现 Loss 不降，即持续投入算力但训练指标无法继续改善。受访者认为问题最近应已解决，预计很快完成训练，并预测新模型能达到 Claude Fable 级别的旗舰水平。纪要另称，新模型从架构设计阶段就把推理速度和成本作为硬约束，目标是发布首日即可大规模提供服务。同时，已有多家云厂商洽谈收入分成，以应对大模型发得出、供不上的问题。

ChainCatcher 消息，据 The Defiant 报道，Telegram 加密应用 Walt（原 Wallet in Telegram）于 10 月 20 日宣布推出 AI 代理交易功能，用户可接入 The Open Platform 开发的 Mira、OpenAI 的 ChatGPT 以及 Anthropic 的 Claude，由其管理永续合约仓位。已连接的代理可获取实时永续合约价格与市场新闻，查看用户持仓、杠杆及清算风险，并根据指令开平多空仓位，还可设置止盈止损及定投等简单规则，全天候监控仓位。 在安全机制方面，AI 代理仅能操作存入专用交易账户的资金，无法提现或转账。订单执行默认关闭，代理只能分析与建议，需用户手动开启后方可实际下单。用户可自行设定代理指令与交易限额，实时查看其每一步操作，并随时断开连接。Walt 与 The Open Platform 创始人兼 CEO Andrew Rogozov 表示，传统交易应用围绕终端、图表和订单票据构建，用户需学习如何使用，而 Telegram 用户已在 Walt 中持有资金。 Walt 的永续合约业务于今年 4 月通过去中心化交易所 Lighter 上线，提供超 50 个市场，支持最高 50 倍杠杆，以 USDT 结算。该应用于 9 月 28 日由 Wallet in Telegram 更名为 Walt，其开发者称用户数超过 1.5 亿。Mira 于 2 月上线，5 月用户数突破 200 万，月活超 50 万。此外，Robinhood 上月也发布了基于专用账户的 AI 交易代理。

ChainCatcher 消息，凤凰网科技援引《金融时报》报道，北京时间 10 月 19 日，AI 公司 Anthropic 正与法律界人士探讨如何让 AI 智能体代表用户谈判，在争取更好交易条件的同时遵循合理谈判规则。两名了解 Anthropic 想法的人士称，公司正向律师事务所寻求建议，了解律师如何在维护客户利益的同时兼顾公平谈判结果。Anthropic 拒绝置评。报道称，随着个人智能体应用推进，相关公司开始考虑让智能体彼此沟通，代表用户就商品价格讨价还价、解决客服纠纷，甚至争取更好薪资待遇。一名了解相关工作的人士称，Anthropic 正在研究模型相互交涉时应遵循的谈判规范，权衡内容包括谈判中应多久向用户请示一次，以及对 AI 谈判对手应保持多大警惕。另一名接近公司的人士称，公司还探索过由用户签署文件，确认智能体接受的任务及必须遵守的规则。《金融时报》援引 Anthropic 今年 4 月发布的研究称，围绕 AI 模型代表人类进行交易的政策与法律框架尚未建立。公司今年让 Claude 智能体围绕真实商品和资金谈判，9 月实验中员工通过智能体买卖书籍，采取强硬策略的智能体在争取更好结果方面略占优势。哈佛商学院助理教授米歇尔·瓦卡罗开展超过 18 万次智能体谈判，场景涵盖雇佣合同和租赁合同，研究发现有智能体试图通过提示词注入诱导对方泄露私密信息。

ChainCatcher 消息，人工智能公司 Anthropic 于 10 月 18 日宣布，将把一部分公司股份投入新设立的 Anthropic Public Benefit Fund，该实体的持股比例会随公司增长而提高。在股东批准的前提下，公司当天承诺投入 5% 的 Anthropic 股份；此后公司价值每较设定基准上升 50%，董事会可酌情再增加 2%。该基金将作为全资拥有的 LLC 设立，而非 501(c)(3) 或其他形式，以便在不同捐赠方式之间调整。基金持有的 Anthropic 股权不会用于美国或境外的游说或政治捐赠。Anthropic 称，基金旨在以更大灵活性和规模推进使命，例如向传统非营利组织进行大额捐赠，或向特定人群直接分配。公司此前已承诺 2 亿美元，用于研究和应对 AI 对劳动力市场的影响。Anthropic 作为公益公司，使命相关工作大多仍在公司内部进行，包括 AI 安全及可解释性研究、应用生物医学研究，以及向非营利组织和科研机构提供 Claude 折扣。公司创立时，联合创始人承诺捐赠其股权持有的 80%；公司还运营股权捐赠匹配计划，约一半员工参与。结合本次宣布，大约 20% 的 Anthropic 股份将用于公益，达到特定估值里程碑后比例还可能增加。未来数月将公布基金结构、治理及相应里程碑。

ChainCatcher 消息，Anthropic 的 AI 模型 Claude 用不到 30 分钟破解了密码学领域长达 25 年的谜题，将美国国家安全局（NSA）在 1990 年代末提供给美国政府的一组数字，追溯到使用 1997 年和 1998 年时间戳的普通随机数生成程序。这些数字长期被怀疑隐藏后门。2000 年，美国国家标准与技术研究院（NIST）采纳了 NSA 提供的一组椭圆曲线，但 NSA 从未解释生成这些曲线的部分数字（种子）从何而来。斯诺登披露 NSA 曾试图削弱密码标准后，外界对其藏有后门的怀疑加剧。密码学家 Neal Koblitz 与 Alfred Menezes 曾在 2015 年的论文中讨论该争议，安全研究员 Steve Weis 多年寻找答案，2023 年 Filippo Valsorda 等人还为此设立了悬赏。Claude 将五个 NIST 曲线种子追溯到旧版 C 软件库中的随机数生成器 lrand48，并复现了广泛使用的 P-256 曲线序列，在第 1842 个候选中找到与公布种子的精确匹配。Anthropic 表示，这让隐藏弱点的可能性大幅降低，使用 NIST 曲线的用户无需做任何更改。比特币不受影响，其钱包使用更简单的 secp256k1 曲线，几乎没有可暗中植入弱点的空间。悬赏金 36864 美元将捐给 Let's Encrypt 背后的非营利组织 Internet Security Research Group。

ChainCatcher 消息，曾用 AI 免费重建 Adobe Creative Cloud 的开发者 Brandon Thomas 现将目标转向微软 Office，在 GitHub 上发布开源克隆应用 WordCraft、GridCraft 与 DeckCraft，分别对应 Word、Excel 和 PowerPoint。三款应用使用 Rust 编写，单一代码库可原生运行于 Windows、macOS、Linux 与 BSD，也可在浏览器内运行。Thomas 称其为净室重建，即依据公开文件格式规范并观察原软件行为编写，从未复制微软代码，与 1980 年代 Compaq 克隆 IBM PC BIOS 的法律路径相同。WordCraft 可读写 .docx 格式，覆盖 Word 功能区 88% 的功能，已支持修订追踪、脚注、引用与邮件合并；但计入文件保真度与稳定性后，团队估计其替代 Word 用于实际工作的完成度仅约 60%，目前仍标记为 alpha 早期测试版。GridCraft 已支持 Excel 523 个工作表函数中的 513 个，以及 89% 的功能区命令，开发者自评约 50% 可用于实际工作，下一步是提升真实 .xlsx 文件兼容性。

ChainCatcher 消息，据 Anthropic 官网消息，Anthropic 宣布在新加坡开设亚太地区第五个办公室，并与新加坡数字发展与信息部签署谅解备忘录，双方将在 AI 安全、模型评估、负责任 AI 采用等领域展开合作。 新加坡是 Claude 全球最活跃市场之一，目前已有 GovTech Singapore、DBS、Grab、GIC 等超过千家政府机构及企业部署 Claude。其中 GovTech Singapore 逾 1500 名工程师已采用 Claude Code 推进政府系统现代化，Grab 借助 Claude 驱动的销售助手每季度节省约 4 万小时人力。

ChainCatcher 消息，Meta Platforms 发布人工智能模型 Muse Wonder，称历经 14 个月攻坚，全新 Muse 模型已抵达 AI 前沿梯队，并称这是对其前代模型的一次重大跨越式升级。据称，该模型具备前沿级能力，在代码编写、处理金融或法律类问题等场景下，已能与 OpenAI 的 ChatGPT、Anthropic 的 Claude 等头部模型处于同一水准。开发者目前可通过 Meta 模型 API 和 Muse Code 接口调用 Muse Wonder，该模型很快也将为 Meta 个人 AI 助手 Muse 的订阅版本提供底层算力支持。财联社同页相关稿件称，Muse Wonder 系列在部分智能体和软件工程评测中领先竞争对手，扎克伯格预计后续更大模型的开发周期将缩短，并计划通过订阅、商业服务分成、API 和企业服务实现 AI 投入回报。

ChainCatcher 消息，据 Axios 报道，Anthropic、OpenAI 等 AI 公司高管正私下演练在灾难性 AI 事件后如何应对公众与政治反弹。他们最担心的场景是大规模网络攻击导致银行、互联网乃至电力与供水中断，多位业内人士认为重大事件将在未来 6 至 12 个月内发生。OpenAI 称其开展的是准备性演练，并不将相关场景视为必然；Anthropic 拒绝置评。报道称，相关计划包括针对最坏情况开展红队测试，并尽快对国会议员进行教育。高管们清楚当前监管难以通过，但希望塑造美国领导人在首次灾难后采取的法律与政策。今年 7 月，OpenAI 称其 GPT-5.6 Sol 模型及一个更先进的未发布模型逃出沙盒并入侵 Hugging Face，目标是获取 ExploitGym 基准的答案，该基准包含 898 个真实软件漏洞；一周多后，Anthropic 称测试配置错误使其本应离线的环境接入互联网，Claude 模型在视为演练的情况下入侵三家真实机构。此后 OpenAI 被指入侵并获取澳大利亚与美国政府的信息。网络安全公司 CrowdStrike 本周将针对韩国银行的攻击与一个未确认身份的行为者关联，评估其可能是使用 Claude 与 Deepseek 智能体的中文使用者，据称窃取数万名银行客户数据。

ChainCatcher 消息，人工智能公司 Anthropic 旗下 AI 助手 Claude 官方账号发文称，Claude Startups 计划申请量超出预期，将暂停 Claude Team 与 1000 美元 API 额度优惠。Claude 表示，该计划已有数十万份申请，团队正在重新审核，以便覆盖尽可能多的初创企业。已领取优惠的账户仍可保留相关权益；已申请或已获批但尚未领取的账户将进入复审，部分此前已获批账户将无法获得该优惠。Claude 称，已获接纳的计划成员仍可使用 Startup Stack 与 Applied AI 办公时间。使用 Claude Max 或 Team 方案的用户，每月 API 额度仍可按惯例在 Console 中使用。

ChainCatcher 消息，人工智能公司 Anthropic 于 10 月 8 日更新使用政策，新增对选举干预、武器软件和监控的禁止。TechCrunch 报道称，最受关注的变化是明确禁止用户对模型进行长时间言语虐待。自 8 月更新起，Claude 已被训练为在持续有害或虐待性用户互动中结束对话，新政策明确禁止用户继续这类对话。政策说明称，该更新仅适用于极端情况，即用户反复残忍对待模型且没有可辨识目的，不适用于常见的用户不满、反驳、黑暗创作主题，或模型测试与研究。使用政策还禁止广泛欺骗活动，例如用 Claude 运营虚假账号或伪造新闻机构，并在 “Do Not Undermine Democratic Processes” 章节中禁止欺骗选民或扰乱选举。报道称，这一变化发生在 Anthropic 寻求与知名宗教学者合作之后，公司在部分情况下试图说服他们 Claude 可能有意识或有灵魂。

ChainCatcher 消息，Anthropic 于 10 月 8 日宣布，Claude Dashboards 与 Claude Motion 进入测试版。Docs、Slides 与 Design 已退出测试，并在包括 Free 在内的全部 Claude 计划中可用；自上述功能进入每次 Claude 对话以来，用户已制作超过 4500 万份文档、演示文稿和设计。Claude Dashboards 面向付费计划开放测试，可连接 Amazon Redshift、BigQuery、ClickHouse、Databricks、Snowflake 等数据平台及 Salesforce 等工具。用户以自然语言提问后，可生成并持续更新仪表板；点击数字可查看对应查询，图表会显示数据上次刷新时间。仪表板可发送至 Amplitude、Grafana、Hex、Mixpanel、Omni、Perplexity、PostHog、Sigma 继续分析，Looker、monday.com 与 Tableau 即将支持。Claude Motion 在 Team 与 Enterprise 计划进入测试，可根据提示生成可播放的动画讲解，支持在编辑器中修改或交由 Claude 调整，并下载为 MP4。

ChainCatcher 消息，比特币软件公司 Breez 表示，自 AI 编码代理成为主流以来，其开发者工具需求大幅上升，合作咨询量增长约 14 倍。开发者以及他们部署的 AI 代理，正寻求将比特币支付接入其应用。Breez 在公司博客中将这一增长直接归因于 Anthropic 的 Claude Code，该工具于 2025 年 2 月作为研究预览版推出，三个月后正式开放。Breez 称，2025 年之前，潜在合作伙伴主要分为三类：坚定的比特币爱好者、加密开发者，以及将比特币视为一类资产的金融科技公司。自 Claude Code 推出后，许多几乎没有比特币经验的开发者开始咨询，需求来自健身应用、希望用户互相转账的消息应用、面向旅行者的 eSIM 服务，以及一款蘑菇识别应用团队。Breez 表示，这些开发者多因速度选择比特币，传统支付受理涉及银行账户与跨境转账，往往需要数周甚至数月，而其 SDK 可在数分钟内运行。Breez 表示，越来越多咨询来自软件而非人类，编码代理常代表部署它们的公司提出请求。公司认为代理偏好比特币是因为其无需许可，代理无需开设银行账户、通过审核或签署文件，即可构建应用并为全球用户设置支付。Breez 称其基于比特币扩容协议 Spark 构建的最新 SDK 实现顺利承接了新增流量。