AI 日报 · 2026 年 10 月 31 日 · 星期六
AI NEWS
模型发布/更新
Latent Space 盘点 AINews 与近期 AI 行业动态
Latent Space 发布最新 AINews，涵盖 Mistral Large 4 开源模型发布、各大前沿模型的安全监控与漏洞利用事件、Anthropic 额度账单争议及社区讨论。文章同时梳理了多项评测基准进展、系统推理速度优化方案以及国内外厂商的模型与工具更新。
国产开源 1.3B 文档解析模型 OXR 发布并登顶三榜
开源文档解析模型 OXR 宣布发布并登顶 OmniDocBench、olmOCR-Bench 和 DocParsingBench 三项全球评测榜单。该模型参数量为 1.3B，采用面向文档解析的递归自我改进（RSI）后训练范式，实现了版面分析与内容识别的分离架构，支持本地部署并提供免费 API 接入。
产品发布/更新
Lasm：在 Lean 中编写经形式化验证的 Node、serverless 与 edge Web 应用
Lasm 是一个将 Lean 4 程序提前编译为 WebAssembly 的工具链，支持将单一 Lean 代码库部署为 Node 服务、serverless/edge 函数、WASI 模块或浏览器应用。该工具内置 Lean、Lake 及构建工具，并结合了形式化定理证明能力，提供多种模板与多平台部署支持。
面壁智能开源算子生成系统 ForgeKernel
面壁智能推出并开源算子生成系统 ForgeKernel，该系统在英伟达 B200 上用时 22.5 小时将 DeepSeek-V4.1 的 FlashMLA 核心算子写快了 9.8%，并此前已登顶昇腾 CANNBench 多项硬件榜单。
智元创新日发布 GO-3 Preview、WITA-OMNI 与灵渠 OS 1.0 等全栈成果
智元在 2026 智元创新日上发布了全新具身智能全栈成果，包括新一代具身基座模型 GO-3 Preview、具身智能原生多模态交互大模型 WITA-OMNI 以及具身智能原生操作系统灵渠 OS 1.0。同时，大会推出了具身智能价值度量衡 Worken、多款硬件新品及开源生态计划。
Apple 智能宣布入华：Siri、写作工具及视觉智能接入阿里千问，11 月 4 日开放测试
苹果公司宣布 Apple 智能将于 11 月 4 日开放测试，并在 12 月推出的 iOS 27.3 更新中在国内上线首批核心功能。Siri、写作工具及视觉智能将接入千问，涉及文本与图像理解以及从零开始创作原创内容等功能。用户可选择登录千问账户或匿名使用，相关隐私政策与账号设置将依登录状态而定。
行业动态
Breakthrough Listen 与 SETI 研究所引入智能体 AI 赋能地外信号搜索
Breakthrough Listen 与 SETI 研究所将智能体 AI 引入艾伦望远镜阵列的日常地外文明搜索中，实现单条自然语言请求控制望远镜、处理数据和应用模型。NVIDIA Holoscan 平台和 RTX PRO 6000 Blackwell GPU 实时处理每秒数太比特的传感器数据，系统已成功在蟹状星云中实现脉冲星的实时 AI 检测。
技巧与观点
使用 Amazon Bedrock AgentCore 运行时实时预览编码智能体构建的 Web 应用
AWS 介绍了如何使用 Amazon Bedrock AgentCore 运行时的会话端点功能，在编码智能体构建和修改 Web 应用时通过浏览器实时预览。文章通过一个运行在 microVM 会话中的 Vite 网站示例，演示了如何配置允许的端口、利用本地端点添加凭证转发请求，以及实现文件保存后无需刷新即可在浏览器中查看更新。