Anthropic 用 Claude 自动为现有代码生成形式化证明
Anthropic 前沿红队与 Theorem 合作，让 Claude 对 Google OSS-Fuzz 中 123 个开源库的测试程序做形式化验证，几周内产出约 1.8 亿行数学证明代码，由 Rocq 独立校验。Anthropic 称该流程几乎不需要人工复核，Claude 在生成证明过程中发现并自行修复了数百个缺陷，包括一个十余年未被发现的逻辑错误。
#Anthropic
The Decoder AI in practiceAI 评分7474 AI新榜AI 评分5858 《八十亿分之一》海外爆火：韩国开发者用Claude Opus 5.5四小时做出的网页人生模拟器
韩国开发者Jin's Earth用Claude Opus 5.5在约4小时内做出网页游戏《八十亿分之一》，玩家随机出生在172个国家或地区，依据世界卫生组织、世界银行、联合国等真实统计数据经历升学、就业、恋爱、移民、治病等抉择。游戏在X等平台最高浏览量超5700万，作者实测以8倍速约10分钟走完一生，死亡后生成人生记录卡与人生地图。
AI新榜AI 评分4747 MiniMax开放M3.1 Flash权重；智谱GLM-5.5万亿参数传闻；OpenAI开放决策API
MiniMax于10月23日开放M3.1 Flash模型权重，总参数4280亿、激活230亿，上线72小时真实用户累计处理Token超100万亿。OpenAI同日开放基于GPT-6 Luna的Decisions API，官方称决策速度最高提升10倍，输入每百万Token 0.1美元且不收输出费。智谱GLM-5.5传闻总参数达2.5万亿至3.5万亿，或成最大参数规模国产开源模型，尚待官方确认。
Claude Code 官方版本记录AI 评分2222 Claude Code v2.1.309 发布：修复 macOS/Linux 沙箱与权限检查问题
Claude Code v2.1.309 修复了 macOS 和 Linux 上沙箱化 Bash 命令在执行前于沙箱外加载 shell 启动文件的问题，并修正 macOS 沙箱 denyWrite glob 模式经符号链接路径不生效的情况。该版本还阻止沙箱命令和自动接受的编辑修改通过 --mcp-config 传入的 MCP 配置文件。
AI新榜AI 评分4141 Anthropic推出Claude Duet个人AI助手；Today AI融资超2亿美元
Anthropic于10月21日推出个人AI助手Claude Duet研究预览版，支持iOS、Android及网页端，已纳入Claude Pro和Max套餐并沿用原有额度。该助手可主动发送每日简报、监控已连接应用并在后台执行安排会议、制作财务预测等任务，配备独立云端虚拟机，涉及付款、签署文件等操作需用户批准。同日。
Claude Code 官方版本记录AI 评分1212 Claude Code v2.1.308 发布
Claude Code v2.1.308 发布，本次更新以缺陷修复和可靠性改进为主。官方版本记录未列出具体修复项或新增功能。
Claude Code 官方版本记录AI 评分2222 Claude Code v2.1.307 发布
Claude Code 发布 v2.1.307，新增 `/claude-api api-version` 命令，可将 Claude API 代码迁移至 API 版本 `2026-10-21`。该版本还新增 `claude_code.safety_event` OpenTelemetry 事件。
AI新榜AI 评分2626 MiniMax发布M3.1 Flash：推理速度提升近3倍，Agent任务成本降70%
MiniMax于10月19日发布新一代模型M3.1 Flash，线上推理速度提升近3倍，Agent任务综合使用成本降低70%。模型输入价格每百万Token 1元、输出4元、缓存读取0.1元，已上线MiniMax API、MPlan及MiniMax Code，权重后续开放，Pro版本将稍后推出。
Claude Code 官方版本记录AI 评分2828 Claude Code v2.1.304 发布
Claude Code v2.1.304 新增 `/auto-mode-setup` 引导式设置，可读取项目与近期会话让 auto mode 了解环境，并已支持 Bedrock、Vertex、Foundry、Claude apps gateway 及禁用遥测的会话。该版本还加入 `/claude-api managed-agents-secure`。
AI新榜AI 评分3232 Meta 推出开放权重模型 Muse Spark Open，可在两台 Mac Studio 本地运行；苹果国行 AI 10 月底开放测试
Meta 发布 8160 亿参数开放权重模型 Muse Spark Open，采用混合专家架构，每次处理 Token 激活约 420 亿参数，支持 100 万 Token 上下文及文字、图片、音频、视频输入，借助苹果 MLX 框架可在两台 Mac Studio 组成的约 1TB 内存集群上本地运行。苹果确认 Apple 智能已获批进入中国市场。