每周精选 10 条真正值得知道的 AI 进展
字节跳动发布 Apache 2.0 许可的 Axion 1.0-35B 智能体模型，采用约 350 亿总参数、30 亿激活参数的 MoE 架构，并同步开放代码、训练数据、提示词和可复现训练方案。完整披露两阶段 SFT 与长程工具轨迹强化学习流程，使这次发布的价值不仅在模型性能，也在于为智能体后训练和可验证工具使用提供可复用基线。
Anthropic 开源 FlashProve，可让服务商在不公开模型权重的情况下，用零知识证明确认回答确实来自指定模型；其在 400B MoE 的 Llama 4 Maverick 上实现约 110 token/s，每 1024 token 产生约 19MB 证明。当前证明成本仍是普通推理的 70 至 95 倍，但该系统为模型防调包、第三方评测核验和生成内容溯源提供了可执行的密码学路径。
GitHub 公布面向智能体规模设计的新 Git 存储系统，在 5000 个并发智能体压力下达到每秒 7200 次推送。代码智能体把提交频率从人类节奏提升到机器并发后，版本控制的写入吞吐、冲突处理和存储架构正在成为开发平台的新基础设施约束。
月之暗面开放 Kimi K3.1 Pro 权重，该模型总参数约 2.8 万亿、激活参数 1040 亿，支持图文输入和 100 万 token 上下文，并强化代码、金融研究与长程智能体任务。旗舰模型从 API 服务转为可下载权重，让企业和研究团队能够直接评估其超长上下文、稀疏注意力与私有部署成本。