每日文摘

每日科技/AI 摘要 2026-10-24

2026 年 10 月 24 日

今日共采集 91 条，新增 52 条，科技/AI 相关 43 条，深挖 8 篇。

MiniMax 重磅模型开源，华为昇腾将接入，3 天处理超 100 万亿 Token

来源：36氪 · 一句话：428B 总参 MoE 开源权重上架，昇腾跟进适配。

要点：
- MiniMax 开源 M3.1 Flash 模型权重，总参数 4280 亿、每 Token 激活约 230 亿（MoE 架构）
- 华为昇腾将接入该模型，国产模型 + 国产算力组合值得跟进
- 官方披露 3 天处理超 100 万亿 Token，反映线上服务规模（官方口径，未独立核实）
扩展资料：
- MiniMaxAI HuggingFace 组织页 — 已核实 M3.1-Flash 于 10-23 上架开源（元数据标注多模态 Image-Text-to-Text，与 M3 一脉相承）

来源：机器之心Pro · 一句话：用 rollout 侧 FP4 真实量化结果指导训练，弥合量化边界差。

要点：
- 核心思路：FP4 RL 中训练端与 rollout 端量化边界不一致导致训练崩溃，TRACE 直接拿 rollout 侧真实 FP4 量化结果指导训练侧舍入
- 在 Qwen3.5-35B-A3B、Qwen3.5-122B-A10B、Qwen3.8-Flash-Next、Qwen3.8-2.4T-A95B 四个 MoE 模型上验证
- 128K 输出解码吞吐最高 5.4x，RL step 额外开销约 7.4%；FP4 rollout 性能可追平 BF16，显著优于先 BF16 训练再量化的基线
扩展资料：
- TRACE: Rollout-Guided Quantization-Aware Training for FP4 Reinforcement Learning of MoE Language Models — 原始论文（arXiv:2610.07767，10-06 提交/10-09 更新），5.4x 加速数据与文章一致

来源：新智元 · 一句话：至知创新研究院公开 320B/15B 激活 agentic 基模完整技术报告。

要点：
- IQuest-Q1：320B 总参 / 15B 激活 MoE，面向 agentic CLI 系统的基座模型，权重已开放
- 训练三阶段：预训练用 Stable SplitNorm + Muon + muP 与两阶段课程；中训做数据域/格式细粒度扩展与渐进上下文延长；后训混合 SFT、领域 RL 与 MOPD，并用模型合并融合不同阶段检查点
- 文中强调以可执行任务实例与防 reward-hacking 约束保证评测真实性
扩展资料：
- IQuest-Q1: Advancing Foundation Capabilities for Agentic CLI Systems — 原始技术报告（arXiv:2610.30949，2026-10-22），已核实摘要与 320B/15B MoE 口径一致

来源：新智元 · 一句话：Claude 对 123 个开源库测试入口生成 Rocq 形式化证明。

要点：
- Claude 对 123 个开源代码库的 239 个测试入口做形式化验证，生成约 1.8 亿行 Rocq（原 Coq）证明代码，全部通过机器核验
- 叙事落点：万亿次随机测试漏掉的边界 Bug 可被形式化证明一锅端，AI + 定理证明成为软件可靠性新路径
- 信源等级：新智元与 36氪同题报道、数字一致，但原始项目/论文暂未检索到，细节未核实
扩展资料：
- 36氪同题报道 — 交叉印证核心数字（123 库 / 239 入口 / 1.8 亿行）

来源：字节跳动技术团队 · 一句话：记忆能力下沉为网关层，任意 AI 客户端即插即用。

要点：
- 定位：把「找历史信息 + 存新进展」的记忆工作从客户端剥离，接入网关即可让任意 AI 客户端获得跨会话上下文
- 一手方案（字节技术团队官方号）：统一 Agent Memory、Knowledge RAG 与 Skills 的自进化上下文库
- 生态已在自发长出：社区有管理 UI、Claude Code / DeepSeek Harness 插件、MCP Server 等周边
扩展资料：
- volcengine/OpenViking — 已核实 GitHub 仓库（40.7K star，AGPL-3.0，Python），与文章「网关」叙事对应

来源：VibeCoder · 一句话：审计 254 份提交，SWE-bench 榜首差距已无统计意义。

要点：
- 论文《Coding Agents Have Converged》审计 254 份 SWE-bench 公开提交（不跑模型）：Verified 榜前两名各解 396/500，McNemar 配对检验无法区分 top-30 相邻 29 对
- 同一模型换 scaffold 的分数波动（最高 29.8 分）远大于 top-30 总分差（8.8 分）——榜单排的是 scaffold 还是模型？
- 建议：报告分辨率 + 模型/scaffold 出处；更大的 Test split 可区分 14/23 相邻对，仍具甄别力
扩展资料：
- Coding Agents Have Converged (arXiv:2609.17394) — 原始论文，ADMA 2026 收录，关键数字已逐项核对一致

来源：机器之心Pro · 一句话：NLP 宗师入华 + 钛动发布「Pro Agent」概念。

要点：
- 著名 NLP 学者 Kevin Knight（「带出 Transformer 一作」的导师级人物）空降中国，参与国内 Agent 行业活动
- 钛动科技提出 Pro Agent = Professional + Proactive + Profitable，主打面向出海营销等真实商业闭环的智能体
- 信源等级：机器之心与新智元同题活动报道，属企业发布会口径，产品能力未独立核实
扩展资料：
- 新智元同题报道 — 补充李述昊对 Pro Agent 三要素的定义与现场细节

来源：人人都是产品经理 · 一句话：OpenAI 发现的 PHP「世纪漏洞」引爆全网补丁潮。

要点：
- 多家媒体同题：OpenAI 发现 PHP 底层重大漏洞，波及面号称全球约 70% 网站，披露后 96 小时内漏洞利用与补丁拉锯（「最暗十月」叙事）
- 同期 48 小时内全球爆发 27 起重大网络攻击的关联报道（新智元另文），攻击面疑似被批量利用
- 信源等级：爱范儿/人人都是产品经理/数字生命卡兹克等多家同题，但 php.net 与 NVD 均未查到对应安全公告或 CVE 编号，漏洞细节与补丁状态未核实——大概率处于披露初期，请以官方公告为准
扩展资料：
- 爱范儿同题报道 — 「OpenAI 发现 PHP 世纪漏洞」角度的交叉印证