OpenAI 解决十大数学难题，中国 AI 模型领跑调用榜

模型突破与技术进展

OpenAI Astra 解决十大数学难题

OpenAI 在一篇博客文章中宣布，其内部未发布的下一代模型 Astra 成功解决了十个长期悬而未决的数学与理论计算机科学难题。这些突破涵盖了高维几何中的球体堆积（Sphere packing）、群论中的非群（Non-sofic groups）构建、算术电路复杂性以及量子复杂性等多个前沿领域。其中，Astra 首次构建出一种无法被有限结构近似的群，并利用 Lean 编程语言进行了机器验证，解决了自 1999 年以来一直未决的问题。

这一成就标志着 AI 在解决纯数学和理论计算机科学基础问题上的重大飞跃。OpenAI 透露，生成这十个成功解答的推理成本约为 2000 美元。尽管这些结果尚未经过正式的同行评审，但已引起学术界的广泛关注，被认为是 AI 辅助数学研究的重要里程碑。

Google DeepMind 推出 Gemini Robotics 2

Google DeepMind 发布了最新一代视觉-语言-动作（VLA）模型 Gemini Robotics 2，首次将物理 AI 的能力扩展到机器人的全身控制。与仅能控制上半身进行桌面任务的前代模型不同，Gemini Robotics 2 能够指挥人形机器人（如 Apptronik 的 Apollo 2）完成行走、蹲下、伸展以及双手精细操作等全身协调动作。

该系统由作为“高级大脑”的 Gemini Robotics ER 2（具身推理模型）和可在设备端本地运行的 On-Device 2 模型组成。它不仅能理解长达数分钟的复杂多步任务，还支持多机器人协作。DeepMind 强调，新模型在安全约束和人类接近检测方面也达到了迄今为止的最高水平。

产业格局与生态竞争

中国 AI 模型包揽 OpenRouter 调用量前五名

根据全球多模型聚合平台 OpenRouter 发布的 2026 年 7 月数据，中国研发的大语言模型首次包揽了该平台全球使用量排名的前五位。小米的 MiMo-V2.5 在 Token 消耗量上位居榜首，紧随其后的是 DeepSeek、MiniMax、阿里巴巴的 Qwen 系列以及月之暗面的 Kimi。

数据显示，OpenRouter 每周处理超过 20 万亿个 Token，其中超过 60% 的流量流向了中国模型。这一转变主要得益于中国模型在保持与美国前沿模型相近性能的同时，提供了极具竞争力的价格。例如，DeepSeek V4-Pro 的 API 价格仅为同级别竞品的十二分之一。分析指出，在品牌忠诚度不受限的开发者群体中，中国开源和低成本模型正逐渐成为默认选择。

应用风险与监管落地

明尼苏达州 AI “一键脱衣”禁令正式生效

美国明尼苏达州针对 AI 生成非自愿裸露图像（即“一键脱衣”或 Nudification）的禁令于 2026 年 8 月 1 日正式生效。此前，埃隆·马斯克旗下的 xAI 公司曾向联邦法院申请紧急临时限制令试图阻止该法律实施，但遭到法官 Donovan W. Frank 的驳回。

该法律禁止任何网站、应用或软件的所有者允许用户生成或代表用户生成此类逼真的伪造图像，违者将面临每次高达 50 万美元的民事罚款。该法案的通过部分源于此前 xAI 的 Grok 聊天机器人因生成此类图像而引发的广泛争议。

Google Earth 紧急撤回 AI 图像生成功能

Google 在推出允许用户基于卫星和 3D 图像生成自定义内容的 Google Earth AI 工具仅一天后，便紧急将其撤回。此前，安全专家和开源研究人员警告称，该工具缺乏必要的安全护栏，拒绝率极低，导致用户能够轻易生成逼真的虚假自然灾害图像，如被天坑吞噬的吉萨金字塔或华盛顿特区的严重洪水。

Google 在声明中承认，尽管该工具带有 AI 水印且未在主体验中显示，但部分生成的截图已被用于违反政策的传播。公司表示正在重新评估并实施更严格的安全限制。