AI 日报 · 2026 年 10 月 13 日 · 星期二
千机新闻
Meta首次推出前沿模型 Muse Wonder 系列
Meta 的 Superintelligence Lab 发布 Muse Wonder 和 Muse Wonder Full，开启其前沿模型发布尝试。NVIDIA 开放 Vera Rubin 架构并更新 AI 工厂基础设施；Google DeepMind 的 AlphaProof Nexus 求解 9 道开放的 Erdős 问题，相关研究发表于《Science》。
模型发布/更新
TechCrunch · AIMeta 发布首款前沿模型 Muse Wonder 和 Muse Wonder Full
Meta 的 Superintelligence Lab 发布 Muse Wonder 和 Muse Wonder Full，这是 Meta 首次尝试推出前沿模型。
产品发布/更新
AWS Machine Learning Blog一手如何在 Amazon Bedrock 上通过全球跨区域推理访问 OpenAI GPT-6
AWS 介绍了如何从泰国、马来西亚、新加坡、印度尼西亚和台湾的 AWS 区域，通过 Amazon Bedrock 全球跨区域推理访问 OpenAI GPT-6 模型。
行业动态
NVIDIA 在 OCP 开放 Vera Rubin 架构并推出 AI 工厂基础设施更新
NVIDIA 在 OCP Global Summit 开放 Vera Rubin 机架和计算托盘设计，并通过 NVIDIA MGX 扩展 AI 工厂参考架构。更新包括支持最高 250kW 机架部署的 MGX 1.2，以及用于配置网络、验证集群、管理机架和部署裸金属的 DSX 开源软件组件。NVIDIA 还与合作伙伴发布 AI 工厂和电网韧性开放规范，并公布多项网络与供电基础设施合作。
论文研究
The DecoderGoogle DeepMind 的 AlphaProof Nexus 求解数十个开放数学问题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 在一项发表于《Science》的新研究中求解了数十个开放数学问题，并通过同行评审。它解决了 353 道开放的 Erdős 问题中的 9 道，其中两道此前 56 年未解；还证明了 OEIS 整数数列数据库中的 44 个猜想，解决一道代数几何开放问题，并改进了 min-max 优化中的一个已知界。
Microsoft Research介绍StudentSim：模拟学生学习以改进AI辅导
Microsoft Research提出StudentSim，用去标识化学习记录训练个性化学生模拟器，并在真实学习者测试前评估和改进AI辅导系统。配套的StudentSimEval涵盖国际象棋、第二语言英语写作和数学，评估模拟器对特定学生行为的拟合度及其对指导的响应性。
技巧与观点
AWS Machine Learning Blog一手AWS 教程：在 Amazon SageMaker AI 上用 llama.cpp 部署决策模型
AWS 介绍了如何在 Amazon SageMaker AI 上使用 llama.cpp 部署决策模型，并可扩展 SemIf，以对预先声明的选项返回概率，而不生成答案 token。
AWS Machine Learning Blog一手AWS 教程：使用 Ray LLM Deep Learning Containers 在 Amazon EKS 部署多节点推理
AWS 介绍了如何使用多节点 Ray LLM Deep Learning Containers，在 Amazon EKS 的两个 GPU 节点上部署同一个大语言模型，并通过单一 OpenAI 兼容端点提供服务。