Anthropic 发布 Claude Sonnet 5.5：速度提升 30%，智能体编码表现反超 Opus 5.5

Anthropic 于 9 月 4 日宣布，Claude 在基本自主运行 11 天后，完成费马大定理首个端到端、经计算机检查的 Lean 形式化证明。

智谱宣布开源 GLM-5.3 模型权重，支持本地运行与个性化定制，擅长复杂编码、防御性网络安全及长程任务。该模型在 AA 综合智能指数中取得 60 分，与 Claude Fable 5、GPT-5.6 Sol 等闭源旗舰同级，并与 Kimi K3 并列开源模型第一。仅年营业额超 100 亿美元的机构将其作为外部模型服务提供时才需安全审查。

月之暗面推出迄今最强模型 Kimi K3，拥有 2.8 万亿参数和 100 万 Tokens 上下文窗口。该模型在 Frontend Code Arena 中以 1679 分超越 Claude Fable 5 位居第一，在 7 个前端领域中的 6 个排名 #1。API 定价为每 100 万 Tokens 输入 2 元（缓存命中）或 20 元（缓存未命中），输出 100 元。

摩尔线程发布并开源 MusaCoder 代码大模型，含 9B 和 27B 两个参数规模，是业内首个基于国产 GPU 算力底座完成全链路训练与验证的开源模型。后训练流程在基于 MTT S5000 的夸娥智算集群上完成，支持从 PyTorch 标准算子自动生成高性能 CUDA/MUSA 原生 Kernel 代码。在 KernelBench 评测中，MusaCoder-27B-RL 以 Overall Pass@8 93.2%、Avg.@8 88.60% 超越 Claude Op…

新智元转述多位开发者在 X 上的爆料称，Claude Sonnet 5.5 已出现在 Anthropic 官方配置中，标识符为「claude-sonnet-5-5」，并在 Claude Code 中开启灰度测试。

高驰发布 COROS PACE 4 Pro 运动手表，售价 2999 元，部分地区国补到手价 2,549.15 元。新品采用 5 级钛金属表圈与蓝宝石镜面，机身重 38 克、厚 11.8mm，配 1.47 英寸 AMOLED 屏，单频高精度模式续航 60 小时、日常使用 21 天。手表支持 AI 语音操控，COROS MCP 可接入豆包、ChatGPT、Claude 等主流 AI 平台。

Anthropic 发布 Claude Opus 5.5，为 Claude 5.5 家族首个模型，宣称性能可媲美 Claude Fable 5.1，典型工作负载成本比 Opus 5 低 40%，输出速度快 30% 以上。

Anthropic 计划将 IPO 推迟至 11 月，上市估值约 2 万亿美元，推迟后可展示三季度财报证明竞争优势。DeepSeek 公布最新 API 峰谷计费规则，调休上班的周末及中国法定节假日全天均按空闲时段计费。苹果睡眠呼吸暂停通知软件获国家药监局批准，Apple Watch Series 9 起支持。

亚马逊表态称 AI 模型必须经过严格测试、确认具备足够安全保障后才能发布，由此加入围绕 AI 发展节奏的讨论。发言人汤姆·帕内尔表示，进步与安全并非只能二选一，若整个行业不能共同做到严格测试和强有力安全保障就会产生风险，并相信行业会与政府合作制定适当保护措施。亚马逊既是 OpenAI、Anthropic 等企业的合作伙伴和投资者，也在开发自己的大语言模型。

Salesforce 在 Dreamforce 大会上发布首款推理大模型 Koa，基于英伟达开源权重的 Nemotron 模型由双方联合微调，主打销售、市场营销和客服类业务任务。Koa 将作为 Agentforce 平台可选模型，训练未使用真实客户数据，Token 消耗更低，可经 AI 网关自动调度；此前复杂推理任务依赖 Claude、ChatGPT 等外部前沿模型。