OpenAI 公布前沿模型在数学开放问题上的新结果
OpenAI 发布内部前沿模型在数学开放问题上的新结果，并公开 Lean 证明形式化及研究细节。相关材料已发布在 GitHub 上。
推荐理由：OpenAI 公开内部前沿模型在数学开放问题上的结果，并同步放出 Lean 证明形式化与细节，可供研究者直接复核。
#开源生态
#开源生态
今日 0 条OpenAI News精选AI 评分6262 Google DeepMind精选AI 评分6262 Google DeepMind 发布 EmbeddingGemma 2 开源多模态嵌入模型
Google DeepMind 发布 EmbeddingGemma 2，将文本、代码、图像、视频和音频映射到统一嵌入空间，采用 Apache 2.0 许可，参数量 7.4 亿。
推荐理由：EmbeddingGemma 2 把文本、图像、音频、视频统一到同一嵌入空间，并给出端侧内存与向量截断的具体数据，便于判断本地检索与 RAG 的可行性。
NVIDIA BlogAI 评分2222 电信运营商为何将 AI 战略押注在开放模型上
NVIDIA 最新《State of AI in Telecommunications》报告显示，89% 受访者认为开源模型与软件对公司 AI 战略重要。
AWS Machine Learning Blog精选AI 评分6262 GLM 5.3 上线 Amazon Bedrock
Z.ai（智谱 AI）的 GLM 5.3 已在 Amazon Bedrock 上线，这是一个 753B 参数的 MoE 模型，面向编码和长周期智能体任务。Bedrock 提供全托管 API、跨区域推理、提示词缓存和服务层级，支持 OpenAI 兼容的 Responses 与 Chat Completions API 以及 Invoke 和 Converse API。
推荐理由：GLM 5.3 在 Bedrock 上线，读者可了解其 753B MoE 规格、编码与安全能力及托管接入方式。
AWS Machine Learning BlogAI 评分2626 Amazon Quick 跨账户资源迁移：基于 MCP 与 Bedrock AgentCore 的自动化方案
AWS 发布 Quick Resource Migrator 示例 MCP 服务器，托管于 Amazon Bedrock AgentCore，可在单次工具调用中把 Amazon Quick 的 chat agents、action connectors、知识库、flows 和 spaces 从开发账户迁移到生产账户。
NVIDIA Blog精选AI 评分6262 NVIDIA 推出 64GB 版 DGX Spark，10 月 23 日开售 4999 美元起
NVIDIA 宣布本月推出 64GB 统一内存版 DGX Spark，由 Acer、ASUS、Dell、Gigabyte、HP 和 MSI 等厂商伙伴独家发售，10 月 23 日上市，起售价 4999 美元。
推荐理由：NVIDIA 官方给出 64GB 版 DGX Spark 的定价、上市时间与双机集群实测数据，可据此判断本地跑大模型的成本与扩展方式。
AWS Machine Learning BlogAI 评分3636 用 NVIDIA NeMo Agent Toolkit 和 Amazon S3 Vectors 构建智能体记忆
NVIDIA NeMo Agent Toolkit（NAT）可通过自定义 memory provider 接入 Amazon S3 Vectors，作为多智能体系统的持久化记忆层，并部署在 Amazon EKS 上。
Hugging Face：Blog（RSS）精选AI 评分6767 NVIDIA 发布开源表格基础模型 Kumo Tabular，在 TabArena 等四项基准排名第一
NVIDIA 发布开源表格基础模型 Kumo Tabular，对带标签表格做单次前向推理即可完成分类和回归，无需训练、调参或特征工程。
推荐理由：官方技术博客披露了架构、纯人工数据预训练配方和四项基准成绩，读者可据此评估其替换梯度提升树的可行性。
GitHub BlogAI 评分4343 GitHub 更新开发者政策透明度报告：2026 上半年政府下架请求增至 708 起
GitHub 公布 H1 2026 透明度数据，政府下架请求从 2025 全年的 98 起增至 2026 上半年的 708 起，这一增长主要源于报告口径调整，而非内容删除量上升。GitHub 还回顾了 2026 年美国州级立法会期，重点跟进 AI 内容溯源与年龄验证议题，其中加州 AI 透明度法案 SB 1000 已采纳更窄的通知—回应机制，以兼容不可撤销的开源许可证。
公众号：蚂蚁百灵（Ling）AI 评分3333 百灵 Ling-3.0-flash-Fin 在两项金融智能体评测中取得领先
蚂蚁百灵 Ling-3.0-flash-Fin 在 FrontierFinance System Performance 与 Vals AI Finance Agent v2 两项金融智能体评测中取得领先。
OpenBMB@OpenBMBAI 评分4747
Hugging Face：Blog（RSS）精选AI 评分7171 H Company 发布 Holo4 智能体模型系列，含 27B 与 35B-A3B 两个版本
H Company 发布通用计算机使用智能体模型系列 Holo4，含 27B dense 和 35B-A3B MoE 两个尺寸，并基于 Nemotron 3 Nano Omni 推出 Holotron4 Nano。
推荐理由：原文给出跨 GUI、代码、MCP 和 API 的统一智能体模型设计、基准分数和成本对比，并开源权重与轨迹数据，读者可评估其实际可用性。
H Company 官方精选AI 评分7474 H Company 发布 Holo4 开放权重模型，统一操作界面与工具
H Company 发布 Holo4 的二百七十亿参数稠密模型和混合专家版本，提供 API、可下载权重与多种量化格式。模型把桌面、网页、安卓操作及代码和工具调用结合在同一智能体中；不同测试平台的分数不能直接横向比较。
推荐理由：开放权重和量化版本让团队能在自有环境尝试界面操作智能体，并对不同设备和工具组合开展实际任务评测。
Black Forest Labs：Blog（网页）AI 评分5454 Black Forest Labs 发布 7B 开源权重世界动作模型 FLUX 3 Action
Black Forest Labs 发布 FLUX 3 Action，一个 7B 参数、开放权重的世界动作模型。官方称可将 FLUX 的视觉智能转化为动作能力，用于机器人、模拟器或游戏。
Google Developers Blog（RSS）AI 评分5151 Google 团队在 TPU 上用 MaxText 复现 Ai2 的 Olmo 3 7B 预训练
Google 团队用 MaxText 在 Google Cloud TPU 上从头复现 Ai2 的 Olmo 3 7B，完成 stage-1 预训练（约5.93T token。
公众号：蚂蚁百灵（Ling）精选AI 评分6767 蚂蚁开源 Ming-Image-0.1-Design 系列：两个 6B 模型打通设计生成与图层编辑
蚂蚁百灵开源 Ming-Image-0.1-Design 系列模型，包含两个 6B 模型：Design 从文字需求生成 UI、信息图、海报等完整设计，Layer 将设计图拆成 2 至 9 个可独立编辑的 RGBA 图层，并同步开源 Design Skill 和 PPT Skill。
推荐理由：原文给出两个 6B 模型的能力划分、评测成绩和实际接入效果，读者可以据此评估设计生成加图层编辑链路的部署价值。
OpenRouter：Announcements（RSS）精选AI 评分7777 OpenRouter 解析 Kimi K3：开源权重与许可证条款，以及如何调用
OpenRouter 撰文说明 Kimi K3 是开放权重而非开源模型，Moonshot AI 以自定义 Kimi K3 License 在 Hugging Face 发布 moonshotai/Kimi-K3。
推荐理由：原文逐条拆解 Kimi K3 许可证的授权与规模化门槛，并给出 OpenRouter 调用参数和各家定价，读者可据此决定自部署还是走 API。
NVIDIA Technical Blog：Agentic AI / Generative AIAI 评分5353 NVIDIA 开源 NVCRE，在 AI 工作负载上线前验证 GPU 集群就绪度
NVIDIA 发布开源 Kubernetes 控制器 NVIDIA Cluster Readiness Engine（NVCRE），通过运行真实的分布式负载（如 NCCL all-reduce 和 Nemotron 5 预训练测试）在集群进入生产前验证就绪度，并将故障归因到具体节点。
Hugging Face：Blog（RSS）AI 评分5959 NVIDIA 发布开源 100M 参数说话人分离模型 Nemotron 3 Diarization，登顶 VoiceArena Diarization-Bench
NVIDIA 发布开源权重、100M 参数的 Nemotron 3 Diarization 说话人分离模型，支持最多八名说话人，在 VoiceArena Diarization-Bench 12 个系统中以 14.72% DER 排名第一，比第二名低约 24% 相对值。
GitHub BlogAI 评分5252 GitHub 联合 Yale 调查 1039 名用户：开发者需要更高效的软件与可测量的节能路径
GitHub 与 Yale Program on Climate Change Communication 对 1039 名 GitHub 美国用户调查显示，80% 有兴趣使用帮助编写更节能代码的工具，74% 想测量软件或开发流程的环境影响，71% 担心 AI 的环境影响。
Tencent Hy@TencentHunyuanAI 评分5757
Qwen@Alibaba_Qwen精选AI 评分6565推荐理由：原文给出 Arena 两个榜单的开源第一排名和具体分数，读者可以据此比较开源图像模型的当前水平。
StepFun@StepFun_aiAI 评分5959- StepFun@StepFun_aiAI 评分5757
Unsloth AI@UnslothAIAI 评分6565
Arena.ai@arenaAI 评分7272LlamaIndex：产品、工程与评测精选AI 评分6666 LiteParse 9 月更新：PDFium 提速 20-25%，新增视觉定位与 is-complex 路由 API
LlamaIndex 发布 LiteParse 2.14.6 更新，通过对自维护 PDFium fork 做内存分配优化（内置 mimalloc）等手段，将文本提取耗时降低 20-25%，平均 2.76ms/页，markdown 渲染 3.94ms/页。
推荐理由：原文给出速度、表格准确率等实测对比数据和新增 API，读者可据此评估是否替换现有 PDF 解析方案。
OpenBMB@OpenBMBAI 评分5353
Xiaomi MiMo@XiaomiMiMoAI 评分5858
OpenRouter@OpenRouterAI 评分6060小米 MiMo-V2.6 系列三款模型上线 OpenRouter，包括 1T+ 参数旗舰、开源 MoE 模型和约 10 倍速的旗舰变体。三款模型均支持文本、图像、视频和音频输入，上下文为 1M。
- Arena.ai@arenaAI 评分6666
- Xiaomi MiMo@XiaomiMiMo精选AI 评分7373
推荐理由：官方发布全模态模型并开放权重、技术报告和训练代码，附与 Claude Opus 5、GPT-5.6 Sol 的 Agent 基准对比数据。
公众号：小米 MiMoAI 评分7474 小米发布并开源 MiMo-V2.6 系列，扩展强化学习规模迈向自我提升
Xiaomi MiMo 于今日正式发布并开源 MiMo-V2.6 系列模型，包含 Pro 与 Flash 两个原生全模态模型，称这是探索 RSI（递归自我改进）路径的关键一步。
Artificial Analysis@ArtificialAnlysAI 评分6666Meta Engineering Blog（RSS）AI 评分5252 Meta 开源通用高性能分配问题求解库 Rebalancer
Meta 宣布开源 Rebalancer，一个用于解决资源分配问题的通用求解库，已在 Meta 内部使用超过九年，目前每天解决约 4000 万个分配问题，涵盖 30 多种问题建模。
Nathan Lambert：Interconnects（RSS）精选AI 评分6969 Nathan Lambert 撰文分析开源模型的中美实力格局
Nathan Lambert 发布其向美国国会汇报的开源模型现状综述，指出中国开源权重模型已在下载量、基准成绩和学术采用上领先，自 2025 年 7 月起在 Hugging Face 下载量上领先约 1.6B（总 3.2B，为美国两倍）。
推荐理由：作者基于自己持续追踪的下载量、基准和 arXiv 数据，给出开源权重模型中美竞争格局的全景与政策视角。
- Qwen@Alibaba_QwenAI 评分7070
- Qwen@Alibaba_QwenAI 评分6464
SGLang-Diffusion 发布对 Qwen-Image 2.1 的 Day-0 支持，覆盖文本生成图像、多图编辑和透明 RGBA 输出，单 checkpoint 即可完成。
- Qwen@Alibaba_QwenAI 评分6363
- Qwen@Alibaba_QwenAI 评分6969