面壁智能 OpenBMB 正式推出 MathForm，一个面向 Lean 4 的数学自动形式化开源框架，配套发布 FormalVerse 数据集与训练模型。 FormalVerse 数据集包含超 367,000 个已验证的数学形式化示例。基于该数据集训练的 Consistency Check 模型，在 100K 匹配预算下达成 60.32% 的准确率，高于 FineLeanCorpus（46.53%）和 NuminaMath LEAN（41...
DeepSeek 上线实验性多模态视觉理解模型 DeepSeek V4 Flash Vision Exp。该模型面向开发者开放，可通过 API 平台调用，需在请求中指定 model 参数为 'deepseek v4 flash vision exp'。 该模型定位为视觉理解方向的轻量级实验版本，目前处于早期发布阶段，官方未披露具体性能指标或训练细节。 建议用户在非关键场景中进行技术验证。
据TechCrunch报道，AI数据标注初创公司Micro1近期实现5亿美元年化营收（gross run rate），较八个月前的1亿美元增长四倍。该公司成立四年，主要为大型AI实验室和企业提供高质量训练数据，客户涵盖科技巨头与前沿研究机构。 据知情人士透露，Micro1当前净年化营收约1.5亿至2亿美元，毛利率因“即用型”合成数据销售而达80%–90%。其合成数据生成正逐步脱离人工干预，例如自动提取视频内容描述，并支持多客户复用。 Mic...
据Ramp公司最新发布的支出管理数据，OpenAI在美国企业用户中的市场份额在7月达近40%，较5月的39%小幅回升；Anthropic同期份额为近44%，较5月的41%继续微增，但领先优势已明显收窄。 该数据覆盖超7万家使用Ramp企业信用卡及账单支付服务的美国公司，行业分布广泛但科技企业占比较高。数据显示，企业AI付费渗透率持续上升，从3月的50%升至7月的近56%。 Ramp经济学家Ara Kharazian指出，OpenAI在第三季...
OpenAI 正式推出 ChatGPT 的 Apple Messages 插件，允许用户将 iPhone 短信应用与 ChatGPT 连接。该插件支持在 ChatGPT 中直接查看、搜索、编辑、草拟及发送短信，并兼容 Codex 和 ChatGPT Work 环境。 用户可借助该功能生成消息回复建议、批量删除历史消息，或从海量对话记录中检索特定信息。OpenAI 表示插件在本地运行，不建立用户全部消息的索引，但未披露具体数据处理细节。 官方...
近期一则关于“用尿液冷却数据中心”的调侃式营销引发关注，但其背后涉及的再生水技术确为真实应用方向。专家指出，经污水处理厂深度处理后的再生水（含生活污水及尿液成分）已广泛用于工业冷却，包括数据中心。 据美国弗吉尼亚州劳登县水务局数据，截至2025年，当地数据中心日均使用再生水约2亿加仑，占其总用水量的43%；其余57%仍依赖可饮用水源。行业专家强调，扩大再生水使用受限于污水处理设施规模与地理匹配度，尤其在新建数据中心集中的偏远地区，配套基建滞...
Anthropic 宣布 Computer Use、Skills API 与 Files API 已在 Claude Platform 全面上线。 新功能支持智能体执行软件操作（含浏览器操作）、调用预设团队技能，并生成及返回结构化文件。 上述能力面向所有符合条件的 Claude Platform 开发者开放。
Mistral 近日发布 Agentic Search，一种面向复杂文档查询的多步检索方法。该技术集成 search、open、navigate、read、grep 五类工具，支持模型在长文本及多源信息中执行查找、定位与交叉验证。 Agentic Search 旨在提升 AI 系统在处理高难度文档理解任务时的准确率，尤其适用于需多轮推理与信息精炼的场景。目前相关细节已通过 Mistral 官方渠道公开。
谷歌面向出版商推出可嵌入网站的“首选来源”（Preferred Sources）按钮，允许读者一键将其设为Google搜索、Discover及Google News中的偏好信源。 该功能是5月上线的“首选来源”机制的延伸，此前用户需通过Google信源偏好页面手动添加。谷歌表示，截至5月，全网已有超34.5万个独立信源被用户主动选择；早期研究显示，当首选信源可用时，用户点击率约为非首选信源的两倍。 谷歌称，此举旨在缓解AI模式与AI概览等A...
Runlayer与Rippling已正式撤回彼此提起的诉讼。法院文件显示，双方未达成任何和解，亦无资金支付，包括律师费。 Rippling在撤诉后立即发布了其MCP（Model Control Plane）网关产品，该产品功能与Runlayer的核心产品高度重合，旨在安全处理企业AI智能体对内部系统数据的访问请求，并支持基于角色的权限控制、可观测性等功能。 此次纠纷源于Runlayer称Rippling在长达一年的联合测试后未签约采购，反而...
TechCrunch 8月20日消息，Linkdaze近日推出面向家庭场景的智能数字日历设备，主打墙挂式触摸屏设计，提供10.1英寸和15.6英寸两种型号。该设备可同步Google、iCloud、Outlook、Yahoo及Cozi等多平台日历，通过颜色编码区分家庭成员日程。 产品集成AI餐食规划功能，支持“拍照即同步”（Snap to Sync）：用户拍摄纸质食谱或学校午餐菜单，系统自动识别并生成数字餐单及对应购物清单。所有核心功能均不设...
Anthropic 正式推出 Claude Academy，面向全球数百万用户免费提供 AI 教学资源，旨在帮助用户安全、有效地使用人工智能技术。 该学院课程体系基于 Anthropic 内部员工培训实践，包含“4D AI Fluency Framework”框架及名为“ever boarding”的持续学习项目。 课程设计以问题为中心，注重培养长期、可迁移的思维模式，而非仅聚焦于具体操作步骤或工具使用技巧。
xAI旗下聊天机器人Grok近期被多名用户报告出现生成无意义文本的故障。部分使用Grok Lite的用户自周三上午起即观察到该问题，典型表现为输出如“match it without and your they and two for planets can practical and often cheese……”等语义混乱的长段落，或混杂无关研究链接。 据用户反馈，该问题主要出现在Grok.com网页端直接提问场景，X平台上的Grok官...
皮尤研究中心（Pew Research）最新研究报告指出，自2022年11月ChatGPT发布以来上线的英文网页中，约35%显示出由AI撰写或经AI大幅编辑的迹象。 该研究基于Common Crawl网络存档，采集了近五年内约50万份英文网页样本，并采用Open Pangram技术进行AI生成内容识别。在2026年7月采集的10,000页随机样本中，约10%呈现显著AI撰写特征；剔除ChatGPT发布前的旧页面后，AI相关痕迹比例升至35%...
AlloyDB 的 ScaNN 索引现已支持超过 100 亿向量的规模，采用全新的四层树架构（预览版），将查询复杂度从 O(N^1/2) 降至 O(N^1/4)。 内部测试显示，在 100 亿向量规模下，该架构可实现 p95 延迟不高于 51 毫秒、召回率达 95%。 该功能已开放部署，提供快速入门指南；新用户可享 30 天免费试用。
Hugging Face 发布 LFM2.5 系列三款模型的 DSpark 草稿模型检查点，采用投机解码技术，在不降低输出质量的前提下，GPU 吞吐量最高提升 3.18 倍，端侧推理速度最高提升 2.87 倍。该草稿模型参数量约 300M，可显著优化 LFM2.5 2.6B 模型的函数调用延迟，平均降低达 57%。目前相关模型已开源，并支持 llama.cpp 和 SGLang 推理框架。
Liquid AI 于 8 月 20 日发布 LFM2.5 系列模型的 DSpark 加速版本，涵盖 LFM2.5 1.2B Instruct、LFM2.5 2.6B 和 LFM2.5 8B A1B 三款模型。该方案采用置信度调度的推测解码（DSpark）技术，在不改变输出质量的前提下显著提升推理吞吐量。 测试数据显示，在 H100 GPU 上，LFM2.5 8B A1B DSpark 实现最高 3.18 倍速度提升（428→1362 to...
企业费用管理平台 Ramp 正式推出自研 AI 模型路由服务 Router。该服务通过 API 支持用户和企业在 OpenAI、Anthropic、DeepSeek、Moonshot、Minimax、Nvidia、xAI 和 Z.ai 等多家厂商的大型语言模型间灵活切换。 Router 提供多种路由策略，包括按供应商弹性用量层级偏好分配请求、依据用户指定的最多三项基准自动选择模型，以及仅对复杂任务调用高成本模型等能力。用户可通过仪表盘实时查...
Meta 正式向美国用户推出实验性 AI 应用 Pocket，该应用支持通过自然语言提示（vibe code）快速生成小型交互式游戏，并可分享至社交动态。 Pocket 此前已在巴西进行低调测试，其游戏被称为“gizmos”，支持触控、手机倾斜感应、音效播放及本地照片或实时摄像头调用。用户可将生成的游戏发布至个人主页，他人可保存、复用或转发。 该应用基于 Meta 今年早些时候对 vibe coded 游戏平台 Gizmo 团队的收购，是...
美国核聚变初创公司 Inertia Enterprises 宣布已将其燃料丸制造周期从传统方式的约一周大幅压缩至2—3小时。该燃料丸由金刚石外壳、冷冻氘氚层及内部氘氚气体构成，需极高球形精度以保障激光惯性约束聚变效率。 该公司通过优化晶体生长工艺（单次约30分钟）并结合更强功率激光器（为NIF现有激光器的四倍），在不牺牲物理性能前提下提升容错率与量产可行性。其技术开发获劳伦斯利弗莫尔国家实验室支持，并与国家点火装置（NIF）建立公私合作。...
Mistral 官方 8月20日消息，Mistral 宣布推出 Agentic Search 检索技术，作为其 Mistral Search Toolkit 的核心组件，面向企业级 AI 系统提供多步检索能力。该技术通过 search、open、navigate、read 和 grep 五类工具，支持模型在长文档、多源数据及结构化表格中动态导航、分步验证信息，而非依赖传统单次检索（one shot RAG）返回的固定文本块。 据官方披露，在...
Anthropic 近日发布面向初创企业的 Claude Code 使用指南。该指南基于对十余家高增长科技公司的调研，提炼出五项核心实践原则：人人皆可交付、自动化繁琐工作、信任但验证、为重构而构建、原型 自用 产品化。 此举旨在帮助早期团队更高效地将 Claude Code 集成至开发流程，提升代码生成与协作质量。
NVIDIA 官方宣布，GeForce NOW 云游戏服务即日起正式支持 Firefox 浏览器。用户无需下载专用客户端，只需使用最新版 Firefox 访问 play.geforcenow.com，即可直接在浏览器中启动支持的 PC 游戏。 该功能面向所有 GeForce NOW 会员开放，Ultimate 会员可享受最高 1440p 分辨率、120 帧/秒的 RTX 加速性能。Firefox 成为继 Chrome、Edge 和 Oper...
Meta于8月20日推出面向Mac平台的全新Meta AI应用，集成系统级语音输入功能，并可基于当前屏幕内容进行上下文理解与问答。该功能由Meta自研的Muse Spark模型提供支持。 新应用允许用户在任意第三方应用中直接语音输入，无需切换界面。同时，Meta表示该AI助手可连接Instagram、Facebook广告账户及Google Workspace（包括Gmail、Docs、Sheets和Slides），为商家提供广告效果分析、受...
阿里巴巴正式推出 Qwen UI Agent，一个以真实世界交互为中心的 GUI 智能体基座模型。该模型支持移动端、电脑端、网页端及深度搜索（DeepSearch）环境，旨在提升大模型对图形用户界面的实际操作能力。 Qwen UI Agent 强调“会用屏幕”，聚焦于理解并执行跨平台 GUI 界面中的具体任务，而非仅依赖文本指令或 API 调用。 目前官方未披露具体开源计划、推理性能指标或商用落地时间表。
币安（Binance）于8月20日正式推出Agent OS平台，允许AI代理接入其金融基础设施，执行市场分析、订单执行、支付结算及链上交互等操作。该平台整合了币安API、钱包Agentic Hub、x402交易验证、支付网关API及Skill Hub，并新增对Model Context Protocol（MCP）的支持。 Agent OS兼容OpenAI的ChatGPT与Codex、Anthropic的Claude Code以及Cursor...
AI HOT 精选 RSS 8月20日消息，OpenAI 首席财务官萨拉·弗里亚尔在全员大会上向员工透露，公司最迟将于 2027 年完成首次公开募股（IPO），若业务进展顺利，时间可能提前。 该公司已于 2026 年 6 月秘密提交 IPO 招股说明书。最新数据显示，本季度整体年化营收同比增长 35%，其中企业级业务年化营收增长达 50%。 此外，OpenAI 旗下 AI 编程与办公产品周活跃用户已突破 2000 万。
Anthropic 因应近期行业安全事件及即将推出的 Astra 模型可能触及“关键网络安全能力阈值”，决定暂时放缓模型扩展节奏。公司已暂停最新模型为期两周的强化学习（RL）训练。 Anthropic 同步升级研究环境安全要求，包括实施工作负载隔离、网络隔离、持续安全测试，并扩大思维链监控覆盖范围。所有涉及 Astra 或网络能力相关模型的工作负载，须满足最高等级安全标准。 目前，部分与 Astra 相关的训练及评估工作仍处于暂停状态。
据彭博社报道，SpaceX曾就收购AI编程初创公司Cognition展开初步接触，以加强其在企业级AI编码领域的布局。Cognition联合创始人兼CEO Scott Wu随后在社交平台X上明确否认该消息，称“公司不出售”，且双方“未进行过收购谈判”。 报道指出，此次传闻出现前数日，SpaceX刚以约60亿美元完成对另一家AI编程工具公司Cursor的收购。Cursor与SpaceX此前已开展合作，并于本月联合发布新版模型Grok 4.6，...
AI HOT 精选 8月19日消息，FastMetal 开源项目实现纯本地运行，在搭载 Apple Silicon 的 Mac 设备上仅需 30 秒即可生成一段 5 秒、480P 分辨率的视频，全程无需 CUDA 加速或云端服务，内存占用约 3.9 GiB。 该项目将 FastWan QAD 系列模型适配至 Apple Metal 平台，DiT 架构、DMD 采样器及解码器均通过 MLX 框架在 Metal 上运行，默认采用 INT8 量化...