开源

ChainCatcher 消息，风险投资机构 a16z 在 X 发布联合创始人 Marc Andreessen 谈开源 AI 的言论。Marc Andreessen：若孩子学习 AI 的唯一方式是进入一两家公司工作，作为家长会很难接受。他同时表示，在开源世界中，每个孩子都可以了解相关技术如何运作。没有开源，AI 将不可避免地集中到一两家公司，甚至直接落到政府手中。Marc Andreessen 还以“政府寿司”作类比，请人想象“政府 AI”，并称开源是确保这一情形不会成为未来的保障。

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 消息，据人民财讯报道，针对 DeepSeek 将内部使用的 AI 推理框架 DeepInfer 全面开源，三六零创始人周鸿祎表示，这背后是一种技术自信，更是一种开源普惠的理念。周鸿祎同时表示，往深一层看，这表明 AI 时代的技术主权之争已经到来。他透露，三六零已打造一套主权 AI 操作系统，目前已在部分政企单位投入使用。

ChainCatcher 消息，央视旗下「玉渊谭天」披露，10 月 16 日中国启动 AI 技术出口登记管理后，DeepSeek 和 MiniMax 已顺利完成登记，并完成相关技术的开源和海外授权使用。目前新目录仍在征求意见，实施的是临时登记制度。商务部此前明确，已通过开源进入公共领域的技术不纳入管理范围，新技术开源也有自动许可等便利措施，基本可以即报即出。通过 API、网页和 App 向海外提供模型服务，同样不属于此次大模型技术出口管理范围。

ChainCatcher 消息，MiniMax 于 10 月 23 日宣布开源 MiniMax M3.1 Flash 模型权重，总参数 428B，激活参数 23B。相较于上一代 M3 模型，M3.1 Flash 的模型能力实现全面提升。据官方数据，该模型上线后 72 小时内，真实用户处理 Token 数量超过 100 万亿。技术层面，M3.1 Flash 通过全模型稀疏注意力、量化感知训练（QAT）及 Power-aware scheduling 等优化提升推理效率。生态方面，MiniMax 与华为昇腾、平头哥、昆仑芯、摩尔线程、壁仞、海光、沐曦、天数、NVIDIA、AMD 等芯片厂商，以及 Together AI、Fireworks、Nebius、Baseten、Modal、DigitalOcean 等云平台合作推进开源首日接入。vLLM、SGLang、智源 FlagOS 及 Hugging Face、魔搭等社区同步支持模型在不同芯片与开发环境中的部署。

ChainCatcher 消息，消息协议 XMTP 创始人 Shane Mac 发文称，XMTP 将演进为可自行运行的开源消息栈，面向人与 agent 提供私密对话，基础设施由使用者控制，不要求代币或钱包。XMTP Labs 托管的网络将于 2027 年初关闭。Shane Mac 表示，五年前创办 XMTP，是因为认为私密消息不应由单一公司拥有。他回顾称，团队曾设想以钱包作为跨应用身份、让消息跟随身份，并用代币支付基础设施运营者，但相关路径并未实现。XMTP 从未发行代币，现在也不会发行。他承认长期坚持单一共享网络是错误决定，开发者一直要求能自行运行 XMTP，因此改为自托管，开发者可使用、检查、修改并自行维持整套软件，不必依赖 Labs。前员工将协助维护协议，Shane Mac 本人也会继续投入。文中介绍，自托管 XMTP 提供抗量子端到端加密、私密私聊与群聊、加密身份与消息真实性，以及面向移动端、网页、服务器和 agent 的 SDK。首席技术官 Nick Molnar 已将后端简化为单一 Rust 二进制，并整合附件、推送通知、handles 及新消息的签名 webhook。各自托管网络默认不自动互联，不同工具的 agent 需连接同一后端才能共享对话。

ChainCatcher 消息，DeepSeek 宣布全面开源其内部推理框架 DeepInfer，并同步开源生产级 Token 编解码组件 deepseek-recipe。DeepInfer 集成高性能算子与深度优化推理引擎，支持分布式推理、推测解码、SWA Bounded Replay 及结构化输出，兼容英伟达与华为昇腾平台。DeepSeek 表示，已基于 DeepInfer 实现 DeepSeek V4.1 Flash 的高吞吐、低延迟大规模推理服务，未来新模型的推理代码及优化也将在此持续更新。deepseek-recipe 与 DeepSeek 官方 API 处理逻辑完整对齐，旨在确保社区获得与官方部署一致的体验。开源仓库及技术报告已同步发布。

ChainCatcher 消息，AI 模型评测平台 Arena 宣布，DeepSeek-V4.1-Flash-20261017（Max）已位列 Agent Arena 开源模型第一、总榜第 11。基于约 7500 次真实使用会话，该模型相对平均模型的综合净改善约为 5.1%，单任务成本中位数约 0.20 美元。该版本在任务成功确认、用户正负反馈、Bash 命令执行可靠性及可引导性四项指标中均位列开源模型第一，其中任务成功确认指标位列总榜第 8。

ChainCatcher 消息，财联社 10 月 20 日讯，亚马逊当地时间 19 日推出开源工具 TorchNeuron，意在降低开发者从英伟达芯片转向其自研芯片的门槛，挑战英伟达依托 CUDA 构筑的软件壁垒。据报道，该工具可让用 PyTorch 编写的 AI 代码无需重写，即可在亚马逊自研 AI 芯片上运行。PyTorch 由 Meta 主导维护，被描述为多数 AI 开发者使用的开源框架。亚马逊芯片设计部门 Annapurna Labs 介绍，借助 TorchNeuron，开发者只需修改一项配置，即可让同一份代码在自研 Trainium 芯片上运行。亚马逊已于当地时间 19 日宣布推出该工具，并计划于 20 日在加州圣何塞的 PyTorch 大会上以免费开源形式公开发布。Annapurna Labs 软件副总裁 Colin Brace 接受采访时称：推出 TorchNeuron 是为减少开发者试用亚马逊自研芯片所需步骤，并从客户现有的工作方式出发。他透露已有超过 30 家早期客户使用，覆盖机器人、世界模型和语音 AI 等领域，并称转用亚马逊芯片可节约成本。

ChainCatcher 消息，网易号《DeepTech深科技》报道，开源 AI 编程工具 OpenCode 官方确认遭遇入侵，约 1.4% 的 OpenCode Console 用户受影响，部分保存在平台上的模型 API 密钥可能泄露。多名开发者称用于调用 OpenAI、Anthropic 等模型的账户出现异常费用，有人报告损失数百美元，有人称超过 1700 美元。官方称事件与一场大规模蒸馏攻击有关，并正与 OpenAI、Anthropic、Google 共同处理。OpenCode 由 Anomaly 团队相关人员开发，主要创建者之一为 Dax Raad，团队此前有 SST、OpenNext 等项目。除本地程序外，其云端服务 Console 可将 OpenAI、Anthropic、Google 等厂商的 API 密钥集中保存在工作区并代为调用，事故发生在这项云端服务上。通知邮件称，攻击者未经授权访问一套正在停用的旧系统，部分 Console 工作区中的第三方模型 API 密钥可能暴露。开发者 Colin Parsons 称 OpenAI 账户约 281 美元、Anthropic 账户约 168 美元出现异常费用，Preston Zeller 称损失约 1700 美元。另有用户报告 Anthropic 约 400 美元异常费用，以及 Google 服务因异常使用触发账户限制。OpenCode 已通知受影响用户撤销并更换密钥、检查近期调用记录。Anthropic Claude Code 团队成员 Lydia Hallie 表示，Anthropic 已与 OpenCode 合作，并撤销被认为受影响的 Claude API 密钥。OpenAI 团队成员 Tibo 表示，正与 OpenCode 合作帮助受影响 API 用户恢复使用，并退还攻击期间被异常消耗的相关额度。Dax Raad 澄清，受影响的是 OpenCode Console，不是本地运行的 OpenCode，用户直接在本地工具中配置的密钥不会传到 OpenCode 服务器。10 月 18 日，他在社交平台称攻击者在过去 48 小时持续尝试入侵，团队正在加强防护。

ChainCatcher 消息，Google Research 开源 AI 工具链自改进框架 Harness²，使 AI Agent 在不重新训练模型的情况下，自动修改系统提示词、记忆、Skills、工具规则以及脚本和插件。项目采用 Apache 2.0 协议，支持 OpenCode 和 Codex。其核心机制是让 Agent 自行试错，遇到新任务时先提出几套改进方案，再由不同版本的 Agent 分别执行并比较表现，最后组合出更合适的方案。即使没有标准答案，系统也可根据实际执行过程寻找改进方向。任务结束后，系统会记住哪些修改有效以及原因，供下次类似问题参考。谷歌使用 GLM-5 和 Gemini 3.5 Flash 进行测试。在 WorkBuddy-Bench 上，GLM-5 搭配 OpenCode，仅一轮优化后平均成绩从 64.2 分提高到 75.7 分，超过未优化的 Gemini 3.5 Flash 的 72.4 分。在法律任务测试中，GLM-5 部分评分标准通过率从 59.6% 升至 71.4%。实验中默认由 Claude Opus 4.8 负责提出和实施改进，GLM-5 和 Gemini 主要负责执行任务，并非完全依靠自身实现进化。国内开发者 Joseph Zhou 展示了 Harness² 接入 Jev 1.14 的实验，称视觉任务表现持续改善。

ChainCatcher 消息，据金十消息，商务部等 9 部门发布关于加快推进科技兴商的意见。意见提出，推动商品供给迭代升级，深入实施“人工智能+制造”专项行动，加快人工智能技术与产品研发、设计、制造、营销深度融合，丰富智能手机、电脑、家居、穿戴设备、机器人等智能商品供给，鼓励基于安全可靠开源操作系统的智能产品研发和应用。意见还提出，加快历史经典产业转型升级，开发经典名品精品，建设中国消费名品方阵，挖掘自主创新、品质高端的消费名品。大力发展科技农业，推动优质特色农产品提质增效，推动老字号守正创新发展，支持老字号企业运用现代生产技术进行产品创新。

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 消息，马斯克刚刚于 X 平台转发评论开源 AI IP Claudia 相关推文，或受此影响，据 GMGN 行情，Solana 上 Claudia 代币短时拉升近 40%，市值暂报 586 万美元。上周末，马斯克曾转发 Claudia 主题视频，并在采访中称赞 “Claudia 的一些作品可以跻身他见过的最佳音乐视频前 10-20 名”。Claudia 由生物科技公司 aion 联创 anabology 创建，其旨在让 Claudia 成为 AI 时代的开源 “初音未来”。anabology 曾表示，CLAUDIA 代币的交易费用将用于资助相关主题的电影制作。

ChainCatcher 消息，据 PR Newswire，纽交所美国板上市公司 NFT Limited（股票代码 MI，前称 Takung Art）10 月 13 日在香港发布拟议技术协议 RWAIX，并以 MIT 许可证在 GitHub 开源参考实现。该公司运营国际艺术品与收藏品在线交易平台，称该协议用于让买方、卖方、AI 代理及机器人核验身份、约定内容与交付是否实际发生，现有数字艺术平台拟作为首个真实场景。公司称，内部自行管理的测试记录显示 50 项测试通过、无失败，并计划在完成独立安全审查及其他条件后，于 90 天内启动有限实盘试点，目标为 2027 年第一季度。参考实现包含 Node.js 核心协议逻辑、50 个自动化测试用例及预期输出、schema 与 API 文档，以及使用合成数据的浏览器演示。公司同时表示，RWAIX 尚未与生产环境集成，相关时间表仍可能调整。现有数字艺术交易平台由全资香港子公司 Metaverse Digital Payment Co., Limited 运营。试点拟先升级一笔现有 NFT 订单的同意购买、交付、独立核验、付款与争议处理流程，并使用现有银行通道。首席执行官 Yanying Wang 称，公司已有客户、订单与付款，未来 90 天拟验证协议能否用于真实客户订单。

ChainCatcher 消息，免费开源工具 REA（Reverse Engineer Anything）在 GitHub 上的星标数从 10 月 6 日的不足 1 万，一周内跃升至 10 月 12 日的逾 10 万，仅 10 月 11 日单日就新增超过 3 万。该工具将 Claude Code、OpenAI Codex 等 AI 编程助手接入 Ghidra 等专业逆向工程套件，桥接依托 Anthropic 推出的模型上下文协议 MCP。REA 自今年 4 月创建后长期无人问津，其 readme 文件声明，该工具并不声称能还原原始源代码或自动克隆应用，也不自带反编译器。REA 被用于各类软件与游戏的逆向尝试：有玩家让蜘蛛侠在《蝙蝠侠：阿卡姆之城》的哥谭市中摆荡，有人把约 1600 个《我的世界》物品塞进《艾尔登法环》与 Boss 玛莲妮亚对战，还有模组作者把《逃离塔科夫》的枪械与菜单搬进《上古卷轴 5：天际》。旧主机独占作品也在脱离主机，9 月有爱好者借助开源 AI 模型与重编译工具，把从未登陆 PC 的《神鬼寓言 2》带到 Windows，AI 约一小时完成启动，随后是漫长的手动修复；另有开发者让《GTA 5》在 iOS 上原生流畅运行。

ChainCatcher 消息，英特尔首席执行官陈立武 10 月 12 日在新加坡表示，中国前沿人工智能模型的 token 成本更低，采用速度“非常快”。他在星展银行组织的座谈会上称，DeepSeek、Kimi、GLM 等中国模型表现“足够好”。陈立武表示：“我坚信开源，这是推动效率的最佳方式。”并补充称，市场将决定哪些模型最适合不同用例。他还表示，量子计算可能在未来 3 到 5 年内成为主流，软件将在推动部分所需基础设施的高效使用方面发挥作用。

ChainCatcher 消息，据外媒报道，在星展银行周一举办的一场论坛上，黄仁勋表示，中国 AI 模型（包括 DeepSeek、Kimi 和 GLM）的表现已经足够优秀。黄仁勋称，自己是开源的坚定支持者，开源是推动效率提升的最佳方式，市场将决定哪些模型最适合不同应用场景。他还表示，量子计算可能在未来 3 至 5 年内进入主流应用，软件将在推动相关基础设施高效利用方面发挥重要作用。