Anthropic / Claude

Claude 11天完成费马大定理首个完整形式化证明

Anthropic宣布，其AI模型Claude在11天内完成了费马大定理的首个端到端形式化证明，生成了约1300万行Lean代码和超过3万个中间定理。该工作由姚班校友Tianyi Peng主导，使用了多Agent协作系统Prove2Me，最终证明经Lean验证与Mathlib中的陈述一致。这一成果表明AI可大幅加速数学文献的形式化进程。

另有 1 家信源报道

Anthropic Java SDK v2.61.0 发布：新增使用报告与合规设置功能

Anthropic 发布了 Java SDK 的 2.61.0 版本，新增了 Claude Tag 类别和用户细分到使用报告，为组织合规设置状态添加命名类型，支持多工作区凭据的 workspace id 请求选项，并将 Managed Agents 的 vault 刷新令牌限制提升至 8192 字符。同时修复了响应文本块长度限制和联合类型解析问题，并更新了认

Anthropic TypeScript SDK AWS 版 v0.7.0 发布，支持更多端点发送工作区 ID

Anthropic 发布了 TypeScript SDK 的 AWS 版本 v0.7.0，该版本新增了在更多 API 端点上发送工作区 ID 的功能。此更新增强了 SDK 对多工作区场景的支持，便于用户更灵活地管理资源。

Anthropic foundry-sdk v0.4.5 发布：刷新示例模型 ID

Anthropic 发布了 TypeScript SDK 中 foundry-sdk 的 v0.4.5 版本，主要更新是刷新了示例中的平台模型 ID。该版本没有新增功能或修复，仅包含维护性改动。

Anthropic TypeScript SDK Bedrock 版 v0.33.4 发布

Anthropic 发布了 TypeScript SDK 的 Bedrock 版本 v0.33.4，该版本主要更新了示例中的平台模型 ID。此更新属于常规维护，旨在保持示例与最新模型信息同步。

Anthropic Vertex SDK v0.19.7 发布：更新示例模型 ID

Anthropic 发布了其 TypeScript SDK 中 Vertex AI 适配器的新版本 v0.19.7。本次更新主要刷新了示例中的平台模型 ID，以保持与最新模型的一致性。该版本通过 GitHub 发布，并提供了完整的变更日志链接。

Anthropic TypeScript SDK v0.124.0 发布

Anthropic 发布了 TypeScript SDK 的 0.124.0 版本，新增了 Claude Tag 类别和用户细分功能，用于使用情况报告，并为组织合规设置状态添加了命名类型。该版本还支持在更多端点上发送工作区 ID，并修复了消息资源中的自定义代码合并问题及工具文件权限问题。

Anthropic Python SDK v1.4.0 发布：新增使用报告与合规功能

Anthropic 发布了 Python SDK 的 v1.4.0 版本，新增了 Claude Tag 类别和用户细分到使用报告，为组织合规设置状态添加了命名类型，并支持在更多端点上发送工作区 ID。此外，修复了客户端错误处理和自定义代码合并问题，并更新了示例中的平台模型 ID。

Anthropic开源电商Agent：单Agent架构优于多Agent

Anthropic于9月3日发布并开源了电商Agent蓝图及代码库，提供购物和商家Agent的参考实现，用户可自行部署并通过Claude Code自定义。Anthropic在商业场景中推荐使用单Agent架构而非多Agent，认为连续上下文任务中单Agent加Skills更高效，并引用客户数据称购物车规模最高增长35%，购买概率提升60%。该架构强调通过Sk

Anthropic 多款 Claude 模型错误率升高已解决

Anthropic 报告其多个 Claude 模型（包括 Claude Mythos 5.1、Claude Fable 5.1 和 Claude Opus 5）出现错误率升高的问题，影响范围涉及 claude.ai、Claude API、Claude Code 和 Claude Cowork。团队已定位原因并部署修复，截至 9:16 PT 问题已解决，影响结

ChatGPT、Grok和Claude同时宕机

OpenAI的ChatGPT、xAI的Grok和Anthropic的Claude在相近时间出现服务中断，影响用户访问。OpenAI报告ChatGPT和Codex出现错误，并已采取缓解措施；Anthropic称基础设施问题导致部分服务中断，影响Opus 4.8和Opus 5；xAI的Grok在多个平台也遭遇故障。目前原因不明，三家公司尚未回应评论请求。

另有 1 家信源报道

Claude Fable 5.1 破解 1653 年隐藏的保皇派密码

Anthropic 的 Claude Fable 5.1 成功破解了自 1653 年以来一直未被解开的数字谜题“Cyphral Distich”，该谜题由 Thomas Urquhart 爵士出版。Vals AI 称，Fable 5.1 在无人协助的情况下于 44 分钟内解决了该谜题，而其他前沿模型均未能给出可验证的解决方案。该模型通过系统性的试错和坚持，从

Claude Sonnet 5 错误率升高已解决

Anthropic 报告 Claude Sonnet 5 出现错误率升高的问题，影响范围包括 claude.ai、Claude API、Claude Code 和 Claude Cowork。目前问题已解决，团队正在监控结果。

Claude 5.1 发布：Anthropic 剥离智力与权限，终结模型论

Anthropic 发布 Claude 5.1，推出 Fable 5.1 和 Mythos 5.1 两个版本，底层模型相同但能力开放范围不同，标志着智力与权限的物理剥离。在长时 Agent 任务中，Claude 5.1 展示了处理状态漂移、依赖失效、验证和权限动态路由的能力，并支持异步执行、调度和来源追踪，推动 Agent 从单轮模型向复杂系统演进。

Anthropic与Lambda签署350亿美元数据中心协议，扩展Claude基础设施

Anthropic与英伟达支持的云服务商Lambda签署了一项价值350亿美元的数据中心协议，该设施位于得克萨斯州，由Hut 8开发，英伟达持有租约。这是Anthropic在IPO前大规模基础设施投资的一部分，此前其已与Nscale达成450亿美元合同。此举旨在满足其AI模型Claude及编码工具Claude Code日益增长的需求。

另有 1 家信源报道

Claude Sonnet 5 错误率升高已解决

Anthropic 报告 Claude Sonnet 5 出现错误率升高的问题，影响范围包括 claude.ai、Claude API、Claude Code 和 Claude Cowork。问题从太平洋时间下午 2:05 持续到 2:19，现已解决。

Claude 新系统提示词强化版权限制，禁止复制歌词与角色形象

Anthropic 更新了其消费级应用 Claude 的系统提示词，新增了禁止复制歌曲歌词、诗歌及受版权保护的视觉作品（如角色和标志）的条款，并调整了回答风格和应对辱骂对话的指南。这些变化可能与其面临的版权诉讼有关，并反映了对生成内容合规性的加强。

Claude Fable/Mythos 5.1 发布：缓存降价但成本上升

Anthropic 发布了 Claude Fable 5.1 和 Mythos 5.1，定位为编码和知识工作的新旗舰模型，宣称在多项基准上达到 SOTA。缓存读取价格下调 75%，但输出 token 使用量增加约 1.7 倍，导致单任务成本上升 20%。社区分析认为两个模型可能共享权重，仅安全策略不同。

另有 1 家信源报道

Paint.NET 作者用 Claude 逆向重写 Direct2D 以支持 WINE

Paint.NET 作者 Rick Brewster 表示，由于 Direct2D 在 WINE 上无法完整实现，他利用 AI 助手 Claude 从零开始逆向重写了 Direct2D，代码约 18 万行，存放在 PaintDotNet.Windows.Direct2D1.Managed.dll 中，通过 /wine 参数触发。Brewster 称大部分代码

MCP客户端失败后能否自主决策？结果可操作性审计

该论文对MCP客户端在收到失败结果后能否自主决策进行了审计研究。作者提出一个六部分的可操作性分析框架，通过对21个真实失败案例的分析发现，类型化字段能暴露失败但很少提供具体原因、修复目标或重试策略，而文本描述包含更多信息但需要语义解释。论文还展示了一个故障关闭原型，表明需要额外的控制平面来支持确定性分支。研究结论是，MCP的完成结果通常使失败可观察，但很少使