OpenAI 内部模型发布 722 篇数学论文,解决 500 个开放数学难题中的 90 个
OpenAI 从一个未发布的内部前沿模型发布 722 篇数学手稿,归入 372 个相关结果族,来自约 4,000 个研究问题的评估,平均每个结果消耗约 3 小时 ChatGPT Pro 算力。其中 Result 003「准黎曼假设」被数学家 Levent Alpöge 称为「数学史上最重要的时刻」,约 20% 的结果为反证或反例。模型本身仍未发布。
OpenAI 从一个未发布的内部前沿模型发布 722 篇数学手稿,归入 372 个相关结果族,来自约 4,000 个研究问题的评估,平均每个结果消耗约 3 小时 ChatGPT Pro 算力。其中 Result 003「准黎曼假设」被数学家 Levent Alpöge 称为「数学史上最重要的时刻」,约 20% 的结果为反证或反例。模型本身仍未发布。
Strands 发布 Strands Decider 2B,一个 20 亿参数的决策模型,专为快速实验和本地开发优化,权重已开源在 GitHub 与 Hugging Face,训练数据和脚本一并放出。
Google DeepMind 发布 EmbeddingGemma 2,一个基于 Gemma 4 架构、740M 参数的端侧多模态嵌入模型,采用 Apache 2.0 许可,可把文本、图像、音频和视频映射到统一嵌入空间。
推荐理由:端侧多模态嵌入模型开源发布,做本地搜索或 RAG 的可以评估用它替换现有嵌入方案。
Google 发布 EmbeddingGemma 2,一个把文本、图像、视频、音频和代码转成数值向量的开源模型,参数量 7.4 亿,Google 称其在多模态嵌入基准上超过参数量最多两倍的竞品。
Z.ai(智谱 AI)的 GLM 5.3 已在 Amazon Bedrock 上线,这是一个 753B 参数的混合专家模型,面向编码和长流程 agentic 任务,目前面向符合条件的企业客户开放。
Aleph Alpha 发布德英双语模型 Kolibri,总参数 780 亿,采用混合专家架构,每个 token 约激活 30 亿参数。该模型在德语基准上得分 71%,解码速度快于 GPT OSS A5B、Qwen 3.6 A3B 和 Gemma 4 A4B 等同类模型,训练数据中德语占 21.3%,并使用了中文模型生成合成训练数据。
微软 Copilot Studio 团队与 Hugging Face 联合发布 ThinkingBox,它不看 agent 的最终回复或工具调用是否合法,而是检查其留在后端数据库里的终态和副作用,并对 507 条有状态业务流程各跑 20 次。
推荐理由:想给自家 agent 加可靠性评测的,可以直接用这套 MIT 许可的沙盒和 507 条任务跑一遍,重点看 20/20 全过率而不是 pass@1。
OpenAI 发布 GPT-6.1 Sol,定价 $2/$10 每百万输入/输出 token,比 Astra 的 $10/$50 便宜 81%,在 Agent Arena 以 $0.56 中位成本进入第 5 名。Anthropic 的 Sonnet 5.5 首秀排名第 3,并在 Chat 类别登顶,每任务成本 $2.74。Anthropic 模型目前占据 Agent Arena 前三名。
Aleph Alpha 发布 Kolibri,一个英德双语 MoE Transformer,总参数 78B、每 token 激活约 3B,支持最长 1M token 上下文,权重已在 Hugging Face 以 Apache 2.0 许可开放下载。
Aleph Alpha 于 2026 年 10 月 3 日发布 Kolibri,一个面向德语和英语的开源权重 MoE 模型,总参数 78.1 亿级(78.1 billion),每个 token 只激活约 3.46 billion,权重以 Apache 2.0 许可放在 Hugging Face,训练在德国和芬兰的基础设施上完成。
Cloudflare Workers AI 团队发布首批自研模型 Clef 与 Clef-flash,已在 Workers AI 上线,权重以 Apache 2.0 许可开源在 Hugging Face。
推荐理由:Cloudflare 在 Workers AI 上线决策模型 Clef 并开源权重,做 agent 路由与风控的可以换掉 Jev 端点试延迟。
ServiceNow CoreAI 在 Hugging Face 发布 AutoSynthData,用目标模型的失败案例和更强教师的成功轨迹定位能力短板,再自动生成并校验新的可执行任务用于后训练。每个任务由系统规范、用户提示和验证器组成,需满足可行性、真实性和难度三项要求,模型提升后课程会转向仍难的任务。该流程已在 EnterpriseOps Gym 数据集上演示。
Hugging Face 上线 Open TTS Leaderboard,用客观指标评测开源多语言 TTS 与声音克隆模型,单模型评测耗时从数周投票缩短到数小时。
OpenAI 在 DevDay 2026 上发布个人智能体 Dots,由 Astra 驱动,ChatGPT Pro 和 Enterprise 用户当天可用,并配套推出团队协作的 ChatGPT Space。
NVIDIA 发布开源表格基础模型 Kumo Tabular,属于 NVIDIA Kumo Structured 模型集合,已在 Hugging Face 上线,采用 OpenMDW-1.1 许可证允许商用。
推荐理由:表格预测模型开源且可商用,做流失、违约、需求预测的可以先用它替代从零训练的树模型。
H 公司发布 Holo4 系列 agentic 模型,含 27B dense 与 35B-A3B MoE 两个尺寸,均可通过 H Models API 调用,权重已在 Hugging Face 以 BF16、FP8、NVFP4 和 4-bit GGUF 发布,同时推出基于 Nemotron 3 Nano Omni 的 Holotron4 Nano。
推荐理由:Holo4 两个尺寸的权重和 API 已可用,做桌面或 GUI 自动化的可以按任务成本对比现有闭源方案。
Hugging Face Hub 新增 RL Environments 筛选,带 rl-environment 标签的数据集仓库会出现在 huggingface.co/datasets?
推荐理由:Hugging Face Hub 新增 RL Environments 筛选与框架标签,做 agent 训练或评测的可以直接把任务集挂上去,不用再自建环境注册表。
Liquid AI 发布实验性草稿模型 LFM2.5-VL-DSpark,为视觉语言模型 LFM2.5-VL-3B 加上投机解码路径,在不改变输出质量的前提下换取推理加速。
推荐理由:给本地跑 LFM2.5-VL-3B 的人多了一条投机解码路径,解码最高快 3.13 倍,代价是参数多 8.9%。
Hugging Face 的 OlmoEarth Studio 现已支持计算并导出嵌入向量,用户可通过 UI 或 API 选择区域、时段、编码器变体和分辨率,输出 Cloud-Optimized GeoTIFF(COG)。
NVIDIA 发布 Magpie TTS Multilingual,一个 364M 参数的开放权重语音合成模型,支持英语、西班牙语、法语、德语、意大利语、越南语、普通话、印地语、日语,并新增现代标准阿拉伯语、韩语和巴西葡萄牙语,共 12 种语言,每种语言含男声和女声。
推荐理由:新增阿拉伯语、韩语、巴西葡萄牙语三种语言并给出各 GPU 的 TTFA 数据,自建语音链路的可以据此评估换模型。
Meta 发布 Muse Glimmer,一个从 Muse 蒸馏到 30B 参数的多模态模型,采用 Apache 2.0 许可,面向本地 agentic 场景,可用于编程、文档分析和个人助手等隐私敏感应用。
推荐理由:Meta 放出 30B 多模态模型,Apache 2.0 可本地跑,想省 API 成本或做隐私场景的可以试着自己部署。
微软在 Build 2026 上宣布 Hugging Face 模型接入 Foundry,提供每周刷新的开放权重模型目录,可一键部署到 Foundry Managed Compute,权重预置于 Azure,运行时由微软构建并扫描。
Mistral 发布 Leanstral 1.5,一个 Apache-2.0 许可的免费模型,119B 总参数、仅 6B 激活参数,在形式化验证上大幅升级:miniF2F 达到 100%,PutnamBench 解出 587/672 题,FATE-H 达 87%、FATE-X 达 34%。
推荐理由:免费 Apache-2.0 模型开放权重和 API,做 Lean 4 形式化验证的可以直接换用,成本约每道题 $4。
Google 发布 TabFM,一个面向表格数据分类与回归的零样本基础模型,把表格预测重构为上下文学习(ICL)问题,无需手动训练、超参数调优和特征工程,单次前向传播即可对未见过的表格生成预测。
推荐理由:做表格分类回归的可以不再手调 XGBoost,TabFM 已在 Hugging Face、GitHub 和 BigQuery 上线,可直接用 SQL 跑零样本预测。
Hugging Face 把 huggingface_hub 的发布周期从每 4 到 6 周一次改成每周一次,整套流程跑在单个 GitHub Actions workflow 里。
推荐理由:把发布流程拆成机械步骤与判断步骤,用确定性脚本校验模型草稿,维护 Python 库的可以照搬这套结构。
Chrome 团队开发者关系工程师 Thomas Steiner 在 Hugging Face 博客展示如何用拟议的 Cross-Origin Storage(COS)API 解决 Transformers.js 的跨源缓存重复问题。
PaddleOCR 发布 PP-OCRv6 通用 OCR 模型家族,提供 tiny(1.5M 参数)、small(7.7M 参数)、medium(34.5M 参数)三档,medium 和 small 支持 50 种语言,含简体中文、繁体中文、英文、日文及 46 种拉丁字母语言。
推荐理由:轻量 OCR 家族新增三档模型,支持 50 种语言,做文档解析或 RAG 的可以按部署环境选档位接入。
Hugging Face 博客分享了用本地模型对 OpenClaw 仓库的 issue 和 PR 做实时分类与通知的实践,作者在 NVIDIA GB10 上运行 gemma-4-26b-a4b 和 qwen3.6-35b-a3b,通过 Pi 智能体框架配合只读的 reposhell 和 final_json 工具输出结构化标签。
推荐理由:用本地模型做 PR/issue 分类的完整实测,含 330 行评测集与 Gemma、Qwen 的精度、吞吐对比,可照着搭一套。
Hugging Face 发布了一套以 transformers 为案例的工具型 agent 基准,不看最终答案,而是测 agent 完成任务所花的成本、延迟、token 用量与失败次数。
H Company 发布 Holo3.1 系列 computer-use 模型,基于 Qwen 家族,覆盖 web、桌面、移动三类环境,共四个尺寸:0.8B、4B、9B 和 35B-A3B。
推荐理由:Holo3.1 首次放出 FP8、Q4 GGUF、NVFP4 量化权重,想在本地或端侧跑 computer-use agent 的可以开始试。
JetBrains 发布 Mellum2,一个从零训练、面向自然语言与代码的 12B 混合专家(MoE)模型,每个 token 仅激活 2.5B 参数,以 Apache 2.0 许可证开源,可在 Hugging Face 下载。
推荐理由:JetBrains 开源 12B MoE 模型,激活 2.5B、Apache 2.0,适合自托管做路由与 RAG 这类高频低延迟调用。
PaddleOCR 3.5 发布,支持通过 engine="transformers" 让 PP-OCRv5、PaddleOCR-VL 1.5 等模型以 Hugging Face Transformers 作为推理后端运行,OCR 与文档解析流程仍由 PaddleOCR 管理。
IBM 在 Hugging Face 发布两个 Apache 2.0 多语言嵌入模型 granite-embedding-311m-multilingual-r2 和 granite-embedding-97m-multilingual-r2。
推荐理由:两个 Apache 2.0 多语言嵌入模型可直接替换现有默认模型,做多语言 RAG 的可以换一行模型名试效果。
Hugging Face 发布技术博客,讲解如何在连续批处理中分离 CPU 与 GPU 工作负载以实现异步批处理。同步批处理下 CPU 与 GPU 轮流工作,实测用 8B 模型、batch size 32 生成 8K token 耗时 300.6 秒,其中 24.0% 的时间 GPU 处于空闲等待 CPU 的状态。
Hugging Face 与 NVIDIA 在 GTC Paris 上宣布合作推出 Training Cluster as a Service,让全球研究机构按需申请 GPU 集群,且只需为训练运行时长付费。
Hugging Face 在 nanoVLM 仓库中从零实现了 KV Cache,让生成速度提升 38%。nanoVLM 是一个用纯 PyTorch 训练自建视觉语言模型的精简代码库,KV Cache 在 Attention 块、语言模型和生成循环三处启用,将逐 token 生成从全序列重算改为增量更新。相关经验可推广到所有自回归语言模型的生成场景。
Arm 生态负责人 Michael Gamble 用 Stable Audio Open 模型在 Arm CPU 上搭建了一个本地音效生成工具,输入提示词几秒内即可生成 .wav 文件并直接进入 Ableton Live。该工具基于 PyTorch 和 TorchAudio,无需 GPU 或云端推理,也支持 Metal 和 CUDA,目前仍是个人原型。
H Company 在 Hugging Face 上开源 Holo1 系列 Action VLM,包含 Holo1-3B 和 Holo1-7B,其中 Holo1-7B 在常见 UI 定位基准上平均准确率 76.2%。
推荐理由:开源 GUI 自动化 VLM 与 1,639 条 WebClick 基准一起放出,做浏览器自动化的可以直接下载权重自托管。
TRL 在 v0.18.0 起支持 vLLM 的 colocate 模式,训练与推理共用同一批 GPU、走同一个分布式进程组,不再需要单独的 vLLM 服务器进程和专用 GPU。
推荐理由:TRL 新增 vLLM 同卡部署模式,跑 GRPO 训练的可把推理与训练放同一批 GPU,省下闲置卡。
DeepSeek-V3-0324 本周出现在 Hugging Face Hub,架构与初代 DeepSeek-V3 相同,但许可从自定义模型许可改为 MIT,重点提升指令遵循、代码与数学能力。
推荐理由:DeepSeek-V3-0324 改用 MIT 许可并提升代码与数学能力,自托管或调 API 的可以换版本重测基准。