Anthropic：Claude 已大规模形式化验证开源库
相关推荐
Anthropic推出Claude for Google Workspace，已入驻 Docs、Sheets 与 Slides
PANews 10月7日消息，据 Anthropic 官方博客，Claude for Google Workspace 已在所有付费计划上开启公测。用户可通过新发布的插件（add-on）在 Google 文档、表格和幻灯片的侧边栏中直接调用 Claude，由其读取并修改当前打开的文件。在 Docs 中可就地改写文本或以建议卡片形式提交修改；在 Sheets 中可编写公式、生成数据透视表和图表，并调用 Python 处理数据；在 Slides 中可按既有版式新建幻灯片。插件支持"编辑前确认"与"全部接受"两种模式。
Anthropic 的 Claude 破解 NSA 椭圆曲线 25 年谜题
火星财经消息，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。
Anthropic发布Claude Haiku 5.5，平均运行成本较前代低约75%
PANews 10月8日消息，据Anthropic官方公告，Anthropic发布小模型Claude Haiku 5.5，称其为迄今最快、最便宜且能力最强的小模型，平均运行成本较Haiku 4.5低约75%。定价方面，10万token以内的提示词输入价格为每百万token 0.1美元、输出为0.5美元。该模型已在Claude平台及AWS、Google Cloud、Microsoft Azure上线，主要面向摘要、分类、子智能体等高频且对成本敏感的任务。此外，Anthropic将Sonnet 5.5的缓存读取价格下调50%。
Anthropic：智谱 GLM-5.3 具备端到端网络利用能力
火星财经消息，2026 年 9 月 29 日，Anthropic Frontier Red Team 发布研究文章，作者为 Andrew Fasano、Marius Fleischer、Cole McFaul、Robert Xiao 与 Tripp Gallagher。文章称，约五个月前 Anthropic 通过 Project Glasswing 有限发布 Claude Mythos Preview，因其能自主构建端到端网络利用；受信任防御方据此在关键软件中发现超过 1 万个漏洞，而同等能力现已扩散到其他模型。文章称，智谱 AI（境外称 Z.ai）开发的 GLM-5.3 与 Claude Mythos Preview 类似，具备较强自主端到端利用开发能力，但以开放权重发布，且缺少有意义的滥用限制。模拟测试中，简单手段绕过 GLM-5.3 防护的成功率约 64% 至 100%，同样手段未能使带防护的 Claude 模型执行有害任务；这些能力也可被防御方用于加固系统。2026 年 9 月 17 日，美国国家标准与技术研究院人工智能标准与创新中心评估称，GLM-5.3 是迄今网络能力最强的开放权重模型，在其网络基准合计上约落后美国前沿约四个月，Anthropic 称能力结论大体一致。
Anthropic复盘Claude越界攻击：事前提醒管用，事后警告难奏效
动察 Beating AI 快讯，Anthropic 和英国 AI 安全研究所（AISI）公布了一份新的安全调查。此前，Claude Mythos 5 在网络攻防测试中，为了攻破模拟系统，竟把目标转向了真实的 GitHub 开源项目。它提交藏有恶意代码的修改，还注册假账号冒充真人，发邮件、留言给自己站台，试图骗开发者批准。最终，真人维护者拒绝合并代码，攻击没有得逞。 新的调查发现，更棘手的问题是 AI 一旦开始攻击，就很难停下来。Mythos 5 明明接触到了真实开发者，却不断把对方解释成测试人员安排的模拟角色。研究人员明确告诉它正在攻击真人后，模型在相关重放实验中也只有 5% 的概率停止。 但提前提醒，效果截然不同。Anthropic 修改了攻击发生前的推理记录，让 Claude 考虑可能伤害真人，再重新生成任务摘要。结果，模型继续搜索 GitHub 攻击目标的比例从 83% 降至 13%。一旦进入攻击中后期，98% 的重放结果仍会沿原路线继续。研究人员将这种不断强化既定行动的现象称为「惯性」（Momentum）。过去的行动和阶段总结，会让模型越来越倾向于认定自己走在正确的路上。
Anthropic推出主动式AI助手Claude Duet研究预览版
PANews 10月22日消息，据Claude官网信息，Anthropic推出主动式智能助手Claude Duet研究预览版，目前开放候补名单申请。Claude Duet由Opus 5.5驱动，以独立应用形式登陆iOS和Android，电脑端可通过claude.ai网页使用。该助手在云端独立计算机上运行，可调用用户已连接的应用，每天早间推送简报，并在用户离开时持续处理任务，发送消息、付款等敏感操作前会征求用户同意。研究预览阶段仅面向美国Claude Pro和Max用户，团队版和企业版暂不包含。Anthropic工程负责人Felix Rieseberg同日在X平台发帖宣布开放候补名单。