开源

ChainCatcher 消息，据 Factory 公告，企业级 AI 软件工程公司 Factory 宣布收购编码智能体协作平台 HumanLayer，联合创始人 Dex Horthy 与 Kyle Mistele 加入。HumanLayer 平台将开源，过渡期内支持用户导出数据、迁移至 Factory 或自行托管开源版本。

ChainCatcher 消息，11 月 3 日，在 2026 世界互联网大会乌镇峰会上，阿里巴巴集团联合创始人、董事会主席蔡崇信发表主旨发言表示，AI 需求持续攀升，中国企业持续加大模型开源和生态开放，开源模型下载量等关键指标保持领先。他强调，“只有开源才能普及，只有普及才能创造可持续、普惠的时代智能”。据蔡崇信介绍，三年前阿里巴巴提出开源开放战略，截至目前，阿里千问已开源超过 470 款模型，全球累计下载量突破 40 亿。

ChainCatcher 消息，据市场消息，语音 AI 公司 Deepgram 已收购开源语音 AI 基础设施框架 Pipecat 的开发商 Daily，双方未披露交易金额，并承诺继续保持 Pipecat 开源及供应商中立。Pipecat 可管理语音、视频流，并整合语音转文本（STT）、大语言模型（LLM）及文本转语音（TTS），以降低实时交互延迟。

ChainCatcher 消息，开源资金通道 Slop Cash 页面显示，其代币 $SLOP 拍卖尚未开始，倒计时约 9 天 8 小时，已承诺金额为 0 美元，目标为 40 万美元。项目称只为被合并或被接受的工作付款，并以 GitHub 为事实来源，付款范围包括已合并 PR、有用的 review，以及经确认的严重安全发现。页面称，$SLOP 通过 Umia 发行，实体为 Umia Launcher SPC 旗下独立组合 Slop Cash, S.P.。拍卖所得将进入 Robinhood Chain 上的非托管链上金库，由持有人经决策市场决定用途。奖池与贡献者付款使用稳定币或项目自有代币，不使用 $SLOP。首次贡献者付款于 2026 年 9 月发出，对应 8 月工作，共 72 笔转账、6,005 USDC，涉及 elizaOS、ASI 及 Slop 自身。总供应固定为 1 亿枚。页面列出的分配为拍卖 45%、团队 10%、生态与贡献者计划 14%、贡献者 2%、协议自有流动性 9%、金库 8%、启动方 Umia 2%、绩效储备 10%，并称 TGE 时流通 5,600 万枚。CEO 为 Drew Pierson，CTO 为曾构建 elizaOS 的 Shaw Walters。Umia 相关合约由 Certora 审计，Slop 自身付款合约页面称尚未独立审计。

ChainCatcher 消息，路透社 10 月 23 日报道，支持开源语言 PHP 的非营利组织 PHP 基金会执行董事 Elizabeth Barron 周五通过电子邮件接受采访时表示：基金会资金严重不足。她说，近期事件表明企业和政府高度依赖 PHP，鉴于这种依赖，PHP 的资金明显不足。Barron 称，基金会目前仅有 1 名全职员工，即她本人，另有 14 名以兼职为主的承包人员，资金来自捐赠和拨款。与人工智能相关的编码增加，使基金会工作量大约翻倍。PHP 项目收到的代码变更提案几乎是一年前的两倍，但贡献者数量并未翻倍。她表示，审查代码贡献和漏洞报告需要大量人工投入与经验。路透社称，本周发现 PHP 的两个严重漏洞，引发全球网站紧急修补，显示这门约三十年的开源语言对互联网至关重要。文中称，PHP 可能支撑全球最多约 70% 的网站，目前未见这些漏洞在披露前被利用的证据。报道由记者 Toby Sterling 发自阿姆斯特丹。

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 消息，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 文件兼容性。