Mistral AI 发布 Leanstral 1.5 形式化验证模型
Mistral AI 发布 Leanstral 1.5，一款 Apache-2.0 许可、119B 总参数 6B 激活参数的免费模型，权重已上线 Hugging Face 并提供免费 API 端点 leanstral-1-5。
推荐理由：原文给出基准成绩、成本对比和测试时扩展曲线，读者可据此判断其在形式化验证任务上的性价比与能力边界。
全部 AI 动态
Mistral AI精选AI 评分7474
Berkeley AI ResearchAI 评分1212 2026 届 BAIR 博士毕业生展示：从机器人到 LLM 推理的 AI 研究全景
加州大学伯克利分校 BAIR 实验室展示 2026 届博士毕业生，其研究覆盖机器人、具身智能、大语言模型与推理、计算机视觉、生成建模、AI 安全、人机交互及 AI for Science 等方向。
Hugging Face BlogAI 评分5757 Hugging Face 与 Cerebras 合作将 Gemma 4 用于实时语音 AI
Hugging Face 与 Cerebras 合作推出基于 Gemma 4 的实时语音 AI 演示，将开放的级联语音管线与 Cerebras 的推理速度结合，实现更自然的对话响应。
Hugging Face BlogAI 评分5656 IBM Research 开源 ScarfBench：评测 AI 智能体的企业级 Java 框架迁移能力
IBM Research 推出开源基准 ScarfBench，用于评测 AI 智能体在 Enterprise Java 跨框架迁移任务上的表现，覆盖 Spring、Jakarta EE、Quarkus 三大生态，包含 34 个应用、204 个迁移任务、约 151K 行代码和 1331 个专家编写的测试。
Google ResearchAI 评分5555 Google Research 将热韧性屋顶反照率数据扩展至 50+ 全球城市并上线 Earth Engine 应用
Google Research 发布覆盖 50+ 全球城市、9 个国家的建筑级屋顶反照率数据集，并上线高分辨率 Heat Resilience Earth Engine App 供公众使用。
Google DeepMind精选AI 评分7676 Google DeepMind 发布 Nano Banana 2 Lite 与 Gemini Omni Flash
Google DeepMind 发布 Nano Banana 2 Lite（gemini-3.1-flash-lite-image）图像模型与 Gemini Omni Flash（gemini-omni-flash-preview）视频生成与对话式编辑模型。
推荐理由：原文给出了两款模型的定位分工与串联用法，读者可据此判断如何组合图像与视频生成搭建工作流。
Hugging Face BlogAI 评分3838 为什么专业化不可避免
Dharma AI 解读 Goldfeder、Wyder、LeCun 与 Shwartz-Ziv 2026 年论文《AI Must Embrace Specialization via Superhuman Adaptable Intelligence》，论证专业化是 AI 系统的必然趋势。
Google Research精选AI 评分6767 Google Research 发布表格数据零样本基础模型 TabFM
Google Research 发布面向表格数据分类与回归的基础模型 TabFM，将表格预测建模为上下文学习问题，无需手动训练、超参调优和特征工程，单次前向传播即可在未见过的表格上生成预测。
推荐理由：原文说明了混合注意力架构与合成数据训练如何替代传统特征工程和调参流程，便于评估其对现有工作流的替代空间。
OpenAI NewsAI 评分3838 ChatGPT 采用情况如何扩展
OpenAI 新的 Signals 数据显示 ChatGPT 采用情况正在全球范围内增长，用户使用量上升、探索更多能力，并推动各地区和语言的增长。
Hugging Face BlogAI 评分5454 Hugging Face 模型页接入 Every Eval Ever 评测结果
Every Eval Ever（EEE）与 Hugging Face Community Evals 现已互通，贡献者可用转换器把 EEE 记录写成 Hugging Face 所需的 YAML 文件，评测分数会显示在模型页并汇入基准排行榜，同时带来源徽章链回完整 EEE 记录。
OpenAI NewsAI 评分3636 OpenAI 用 core dump 分析修复 18 年前的软件 bug
OpenAI 工程师通过大规模 core dump 分析排查罕见的基础设施崩溃，发现了一处硬件故障和一个存在 18 年的软件 bug。该方法用于调试基础设施中难以复现的崩溃问题。
OpenAI NewsAI 评分2929 OpenAI 推出 GeneBench-Pro 基准
OpenAI 推出 GeneBench-Pro，一个用于测试 AI 在基因组学、生物学和科研领域表现的新基准，采用复杂的真实世界数据集。
Hugging Face BlogAI 评分4444 DiScoFormer：一个 Transformer 同时估计密度与 score，跨分布通用
Hugging Face 推出 DiScoFormer（Density and Score Transformer），单次前向即可从数据点同时估计分布的密度与 score，无需针对新分布重训。
OpenAI NewsAI 评分4444 OpenAI 报告：AI 将如何重塑欧盟就业格局
OpenAI 发布新报告，绘制 AI 将如何重塑欧盟（EU）各地就业，指出哪些职业可能面临自动化、增长或工作流程变化。
OpenAI NewsAI 评分2424 HP Inc. 与 OpenAI 推出 Frontier 战略合作
HP Inc. 扩大与 OpenAI 的 Frontier 合作，将 AI 部署到客户体验、软件开发和企业运营三大场景。
Google ResearchAI 评分5757 Google 将冻结 Multi-Token Prediction 架构用于 Gemini Nano 并部署到 Pixel 9 和 10
Google Research 宣布将 Multi-Token Prediction (MTP) 架构改造后接入已冻结的 Gemini Nano v3 模型，并已部署到 Pixel 9 和 10 系列，让 AI Notification Summaries 和 Proofread 等端侧功能生成更快、更省电。
OpenAI News精选AI 评分6262 OpenAI 预览 GPT-5.6 Sol：编码、科学与网络安全能力升级
OpenAI 预览了下一代模型 GPT-5.6 Sol，称其在编码、科学和网络安全方面具备更强能力，并搭配了其最先进的安全栈。
Hugging Face BlogAI 评分5656 Hugging Face 教你用一条命令在 HF Jobs 上运行 vLLM 服务器
Hugging Face 官方博客介绍如何用 hf jobs run 一条命令在 HF 基础设施上启动私有、OpenAI 兼容的 vLLM 端点，无需配置服务器或 Kubernetes，按秒计费（a10g-large 为 $1.50/hour）。
Google ResearchAI 评分4545 Google Research 用线性弹性缓存优化云成本
Google Research 在 CIDR 发布论文提出线性弹性缓存（linear elastic caching），将页面淘汰建模为 ski rental 问题，用轻量级决策树模型动态预测页面 TTL，在内存占用与缓存未命中之间权衡以降低总拥有成本（TCO）。
OpenAI NewsAI 评分3636 OpenAI 研究论文：AI 智能体如何改变工作方式
OpenAI 发布新研究论文，展示 AI 智能体如何改变工作方式，使其能够承担更长、更复杂的任务，并在各类岗位上扩展生产力。
Google ResearchAI 评分5959 Google Research 论文揭示推理如何唤醒 LLM 参数化知识
Google Research 将在 COLM 2026 发表的论文指出，即使对简单单跳事实问题，开启推理也能召回关闭推理时几乎无法得到的答案。
Google DeepMind精选AI 评分7474 Gemini 3.5 Flash 内置 computer use 工具
Google DeepMind 宣布 computer use 现已成为 Gemini 3.5 Flash 的内置工具，此前该能力仅作为独立的 Gemini 2.5 computer use 模型提供，如今原生集成进主 Gemini Flash 模型。
推荐理由：原文说明了 computer use 从独立模型变为内置工具的路径变化，以及配套的两项企业防护机制，便于评估其在自动化任务中的落地方式。
Hugging Face BlogAI 评分5555 NVIDIA NeMo AutoModel 加速 Transformers 微调，吞吐提升 3.4-3.7 倍
NVIDIA NeMo AutoModel 基于 Transformers v5 构建，通过 Expert Parallelism、DeepEP fused all-to-all dispatch 和 TransformerEngine kernels。
Mistral AIAI 评分5858 Mistral AI 为 Connectors 推出管理控制、API 密钥作用域与调试器等新能力
Mistral AI 为 Connectors 推出多项新能力：GA 的增强管理控制可按 workspace 或 org 设置连接器访问并逐个开关工具，GA 的带连接器作用域的 API 密钥用于防止自动化任务冒用身份，GA 的多账号连接器允许一个连接器绑定多个登录账号。
OpenAI News精选AI 评分6262 OpenAI 与 Broadcom 发布 LLM 推理芯片 Jalapeño
OpenAI 与 Broadcom 联合推出 Jalapeño，一款专为 LLM 推理打造的定制 AI 芯片，旨在提升 AI 系统的性能、效率与扩展能力。
Hugging Face BlogAI 评分5151 Hugging Face 与 Treble 推出首个开源远场 ASR 评测榜单 FFASR
Hugging Face 与 Treble Technologies 联合上线 FFASR Leaderboard，首个开源社区驱动的远场 ASR 评测榜单，覆盖 14 间模拟房间并通过实测数据校验。
OpenAI NewsAI 评分4444 GPT-5 Pro 如何帮助免疫学家 Derya Unutmaz 解开困扰 3 年的免疫学谜题
GPT-5 Pro 帮助免疫学家 Derya Unutmaz 解开了一个困扰 3 年的免疫学谜题，为 T 细胞行为提供了新见解。这一突破有望支持癌症与自身免疫疾病研究。
OpenAI NewsAI 评分2020 OpenAI 助力构建先进 AI 的共享标准
OpenAI 通过 Appia Foundation 支持评估框架、安全实践与全球合作，帮助构建先进 AI 的共享标准。
Mistral AI精选AI 评分6262 Mistral 发布 OCR 4 文档解析模型
Mistral 发布 Mistral OCR 4 文档解析模型，除提取文本外还返回 bounding boxes、块类型分类和逐页逐词置信度分数，支持 170 种语言、10 个语系，可单容器自托管部署。
推荐理由：原文给出基准分数与已知评分缺陷的对照，读者可据此判断该模型在真实文档场景中的可用边界。
Hugging Face BlogAI 评分5656 Transformers.js 实验 Cross-Origin Storage API 消除跨源重复下载
Google Chrome 团队的 Thomas Steiner 在 Hugging Face Blog 撰文，介绍如何在 Transformers.js 中实验 Cross-Origin Storage（COS）API，解决不同 origin 重复下载模型与 Wasm 资源的问题。
Hugging Face Blog精选AI 评分6464 Hugging Face 用开源工具与 GLM-5.2 把 huggingface_hub 发布改为每周一次
Hugging Face 将 huggingface_hub 的发布节奏从每 4 到 6 周一次改为每周一次，整条流程由单个 GitHub Actions 工作流驱动。
推荐理由：原文给出可直接 fork 的信任校验闭环，即确定性清单加模型草稿加校验重提示，可迁移到任何需要生成发布说明的项目。
OpenAI NewsAI 评分1212 Omio 如何用 OpenAI 打造对话式旅行体验
Omio 借助 OpenAI 打造对话式旅行体验，加速产品开发并转型为 AI-native 公司。文章介绍了 Omio 如何将 OpenAI 能力融入产品，实现对话式交互并推动整体业务向 AI-native 演进。
Hugging Face BlogAI 评分5555 PaddleOCR 发布 PP-OCRv6：1.5M 至 34.5M 参数、支持 50 语言的 OCR 模型家族
PaddleOCR 发布 PP-OCRv6，提供 tiny、small、medium 三档模型，参数量从 1.5M 到 34.5M，small 与 medium 档支持 50 种语言（含简体中文、繁体中文、英文、日文及 46 种拉丁字母语言）。
OpenAI NewsAI 评分5858 OpenAI 推出 Daybreak 安全工具，含 Codex Security 与 GPT-5.5-Cyber
OpenAI 推出新的 Daybreak 工具，包括 Codex Security 和 GPT-5.5-Cyber，帮助组织大规模发现、验证并修复漏洞。
OpenAI NewsAI 评分4444 OpenAI 推出 Patch the Planet：Daybreak 计划助力开源维护者修复漏洞
OpenAI 推出 Patch the Planet，这是 Daybreak 计划下帮助开源维护者用 AI 和专家审查来发现、验证并修复漏洞的项目。该项目面向开源维护者，结合 AI 能力与专家审查流程，协助定位和修复安全漏洞。
OpenAI NewsAI 评分2929 Codex 如何用于长时任务：Jason Liu 的实践方法
文章讲解 Jason Liu 如何用 Codex 保留上下文、管理复杂项目，让工作在单次提示词之外持续进行。
Hugging Face Blog精选AI 评分6262 Hugging Face 用本地模型免费完成 OpenClaw 仓库 PR 分类
Hugging Face 博客介绍了用本地模型 gemma-4-26b-a4b 和 qwen3.6-35b-a3b 搭配 pi agent harness 与受限 reposhell，在 NVIDIA GB10（DGX Spark，128 GB 统一内存）上对 OpenClaw 仓库的 issue 和 PR 做实时分类与 Discord 通知的完整方案。
推荐理由：给出了本地模型做高吞吐分类的完整配方与实测数据，可迁移到其他实时筛选场景。
OpenAI NewsAI 评分5858 三星电子在全球员工中部署 ChatGPT Enterprise 和 Codex
三星电子在全球员工中部署 ChatGPT Enterprise 和 Codex，这是 OpenAI 规模最大的企业 AI 推广之一。
Hugging Face BlogAI 评分5959 MosaicLeaks：研究智能体的隐私泄漏基准与 PA-DR 训练方法
MosaicLeaks 提出一项深度研究任务，用 1,001 条交错本地与网页子问题的多跳研究链，评估智能体的外部查询是否会泄漏私有信息，并定义意图泄漏、答案泄漏、全信息泄漏三种度量。
OpenAI NewsAI 评分3434 ChatGPT Enterprise 新增用量分析与支出控制功能
OpenAI 为 ChatGPT Enterprise 推出新的用量分析和支出控制功能，帮助企业组织管理成本、放心扩展 AI 使用。