AI 日报 · 2026-09-09

OpenAI发布纳维—斯托克斯问题研究及Lean验证代码

OpenAI于9月8日发布相关论文报告和在交互式定理证明器Lean中的形式化验证代码，并表示无意据此申领千禧年大奖，发布目的在于展示模型的前沿科学推理能力。

来源 1

高通与亚马逊合作开发AI数据中心芯片及光互联方案

高通与亚马逊9月8日宣布长期合作，将为AWS定制AI推理加速芯片，并联合开发最高支持1.6T的光互联解决方案。

来源 1 · 来源 2

英国议员提出限制“超级智能”AI的法案

英国工党议员亚历克斯·索贝尔9月8日通过下议院“十分钟规则”提出《人工智能超级智能法案》。据TIME等报道，提案寻求禁止研发超越人类控制的超级智能系统，并赋予政府限制相关前体系统的权限；该动议不等于法案已经通过。

来源 1 · 来源 2 · 来源 3

美方机构指控多家中国AI公司大规模蒸馏海外模型

据Nextgov等报道，美国国家安全局、网络安全和基础设施安全局及联邦调查局9月8日联合发布安全咨询，点名DeepSeek、月之暗面、阿里巴巴、MiniMax、阶跃星辰和智谱，指控其通过API及云聚合平台大规模蒸馏海外前沿模型。相关说法为美方指控。

来源 1 · 来源 2 · 来源 3

TTP称Meta曾投放逾300条AI生成涉童有害广告

科技透明项目9月8日发布调查报告称，Meta过去数月审核并展示了300余条包含AI生成儿童性虐待材料或“一键脱衣”应用宣传的付费广告。该结论来自监督机构调查。

来源 1 · 来源 2 · 来源 3

普林斯顿研究称执法记录仪AI可能漏判关键行为

普林斯顿大学工程学院9月8日披露研究称，现有AI视频分析工具面对昏暗、模糊的真实执法记录仪画面时表现不稳；其测试中，多达25%的场景未能准确识别拔枪、戴手铐等关键行为。

来源 1

OX披露DeepSeek Harness智能体沙箱逃逸漏洞

OX Research 9月8日披露，开源AI编程智能体框架DeepSeek Harness存在编号CVE-2026-82533、CVSS评分9.4的漏洞。报告称，该工具默认暴露本地智能体控制API且校验不足，可能使沙箱内智能体逃逸并提升执行权限。

来源 1

Motional与UCLA开源自动驾驶推理数据集nuReasoning

Motional与UCLA Mobility Lab 9月8日宣布开源nuReasoning数据集及基准评测体系。官方新闻稿称，项目包含2万个复杂长尾驾驶场景切片及人工验证的逻辑推理标注，面向自动驾驶视觉—语言—动作模型研究。

来源 1 · 来源 2

Harness收购代码审查平台DeepSource

DeepSource 9月8日宣布被软件交付平台Harness收购。按照官方公告，DeepSource的智能体式代码审查和代码安全能力将整合至Harness的自主软件开发生命周期平台，原有用户集成和工作流将保持兼容；材料未披露交易金额。

来源 1

SEMIFIVE宣布量产三星4纳米AI推理芯片Bertha

SEMIFIVE 9月8日宣布，已采用三星代工4纳米工艺量产HyperAccel开发的数据中心AI推理加速芯片Bertha。公司称，该芯片面积超过500平方毫米，面向大语言模型推理，也是其首个实现量产的4纳米大规模芯片项目。

来源 1 · 来源 2