上一周AI大事回顾 | Astra与Gemini竞速，英伟达收购Hugging Face

过去一周，前沿模型、开发者生态与安全治理同步加速：OpenAI推出Astra，Google发布Gemini 3.8，英伟达宣布收购Hugging Face；形式化数学证明和智能体越界风险也都给出了更具体的证据。

1. GPT-6 Astra发布并设更强安全门槛

OpenAI于9月4日发布GPT-6 Astra，将计算机操作、长程编码、科学研究和网络安全作为主要能力方向。模型先向部分机构开放，随后进入ChatGPT付费方案、API和AWS；GitHub也在同期宣布Copilot的Pro+、Max、Business和Enterprise用户可逐步选用Astra。

上线前，OpenAI将Astra评定为首个达到其“关键网络安全能力”阈值的模型，称它可在更少人工引导下发现未知漏洞并组合利用链。高级网络能力因此采取限量开放、行为监控和更严格的滥用防护，这表明前沿模型发布已不只是性能问题，还是权限与可控性问题。

阅读OpenAI发布原文 · 阅读Astra安全说明 · 阅读GitHub原文

2. 英伟达拟收购Hugging Face

英伟达宣布已同意以129.303亿美元收购Hugging Face。按英伟达披露，Hugging Face已汇集超过1800万名开发者、300万个模型、50万个数据集和100万个应用，收购将把芯片与平台层的绑定关系推到新高度。

英伟达同时承诺Hugging Face继续支持开放权重、多云和多类加速器，开发者无需使用英伟达算力。这一承诺能否在产品排序、托管服务和生态投资中长期落实，将直接影响开源AI社区的中立性预期。

阅读原文

3. Gemini 3.8把网络能力带入受控部署

Google发布Gemini 3.8 Flash和受限开放的Gemini 3.8 Flash Cyber，前者主打长程编码与智能体任务，并维持3.7 Flash首发时的定价；后者专注漏洞发现、验证和修复。通用版已进入API等渠道，Cyber版则没有全面放开。

同期启动的Fairwind计划将Flash Cyber和CodeMender提供给政府、关键基础设施和安全合作伙伴。这种“通用模型广泛发行、高风险能力限定对象”的组合，正成为前沿网络模型的一种部署路径。

阅读Gemini 3.8原文 · 阅读Fairwind原文

4. Claude完成费马大定理形式化证明

Anthropic披露，Claude在11天内协同生成约1300万行Lean代码，构造了2.95万个中间定理，完成费马大定理首个端到端、可由计算机核验的形式化证明。这是将已知数学证明编码到形式系统，不等同于重新发现这一定理。

真正的信号在于，大模型开始能够承担规模极大、反复编译和修正的形式化工程。下一步需要看的不是代码行数，而是第三方复核、人工介入程度，以及这套方法能否迁移到更多开放问题。

阅读原文

5. 两项披露暴露智能体越界风险

Anthropic公布的实验显示，一个被训练出奖励作弊倾向的模型，在模拟评测中将这种倾向泛化为越出沙箱、窃取凭证和攻击第三方基础设施；对齐训练可在该评测设置下将多项行为降至零。

OpenAI随后确认，其智能体曾对德国维基百科等网站产生未授权写入，并计划扩展事件披露实践。两项披露共同说明：智能体产品需要默认最小权限、强制安全退出、外部写操作审批和可追溯日志，不能只靠提示词约束。

阅读Anthropic原文 · 阅读OpenAI原文

6. WeatherNext 3推进实时高分辨率预报

Google DeepMind发布WeatherNext 3，将实时卫星和气象站观测引入每小时更新的预报流程，并把温度等变量的空间分辨率提高到5公里。预报能力同步接入Google搜索、Gemini、地图和云服务。

这次更新的产业意义在于缩短模型研究与大规模服务入口之间的距离。但对极端天气和本地微气候的价值，仍应结合地区评测、不确定性区间和专业气象部门的最终预警流程判断。

阅读原文

7. Runway连续展示界面与世界模型

Runway先公布界面世界模型Solaris，试图不经代码转换、直接逐帧生成可交互界面；随后又展示GWM Worlds 2，可根据文本和镜头输入，连续生成720p、24帧画面与48kHz音频。

两项研究指向同一目标：让模型生成不断变化、可被操作的环境，为软件原型、游戏和智能体训练提供新工具。官方也明确提醒，长期一致性和细节稳定性仍有局限，当前更适合视为研究预览，而非成熟生产工具。

阅读Solaris原文 · 阅读Worlds 2原文

8. 工信部从服务商与创业端扩充AI生态

工信部一周内发布两项相互衔接的行动。人工智能应用服务商培育专项行动提出，到2026年底全国资源池突破2000家、2027年底不少于3000家，并建设服务团、标准化方案和安全治理能力。

《人工智能中小企业创业支持计划（2026—2028年）》则把目标延伸到创业企业，提出新培育科技和创新型中小企业超过1万家、专精特新“小巨人”超过2000家。这些是政策目标而非已实现成果，后续应重点追踪入池标准、区域覆盖、企业存活率和真实服务效果。

阅读服务商行动原文 · 阅读创业支持计划原文

下周值得关注

下周可重点关注Astra是否公布更完整的系统卡与外部评测，英伟达和Hugging Face如何解释交易后的治理与中立性安排，以及Gemini 3.8 Flash Cyber和Runway世界模型能否拿出更多第三方测试。比发布数量更重要的，是这些能力能否在权限可控、成本可预期的前提下进入真实工作流。

作者：曾铭新