美国联邦法官驳回 OpenAI 请求，苹果无需公布与 SpaceXAI 和解协议

尽管此前有公布保密和解协议的先例，但这种情况的前提是其包含与诉讼具体带决争议点相关的信息，对于 SpaceXAI 诉 OpenAI 案而言，SpaceXAI 与苹果的和解协议不属于这类情形···

消息称美国空中交通管理系统将部署 AI“大脑”，最早 9 月 21 日上线试用

这款名为 SMART 的软件可分析航空公司航班时刻表以及天气、机场跑道容量和运行限制等因素，从而预测空中交通流量并提前识别潜在冲突。

人形机器人可“自主做家务”，Figure 发布 Helix 2.5 模型

Figure 在美国旧金山湾区租了 30 套房子，机器人没有进行额外训练，到了地方就开始自己收拾房子。

美国政府也部署阿里千问：《联邦公报》网站被发现使用中国 AI 模型提供搜索服务

路透社曝光美国国家档案馆运营的《联邦公报》网站，曾部署阿里巴巴千问 AI 模型提供法规搜索服务，相关工具已被下线，专家表示该使用不构成国家安全风险。#阿里千问# #美国···

打官司最佳 AI 助手：OpenAI 推出 Astra for Law，提高案件胜诉率

OpenAI 公司昨日（9 月 17 日）发布博文，宣布推出 Astra for Law 服务，定位法律专用人工智能基础平台，其法律搜索索引覆盖超过 2.3 亿个 URL，并纳入覆盖 99.9% 以上已发···

加速进化 Booster K1 探索版人形机器人发布：标配豆包大模型，38999 元

Booster K1 探索版宣称是“具身开发入门级整机”，身高约 95cm，重量约 19.5kg，全身 22 个自由度。

谷歌最强数学推理 AI 模型曝光：100 万词元上下文，专攻数学难题

消息源 @lyraxana 于 9 月 16 日在 X 平台发布推文，爆料称谷歌正基于 DeepThink V3 模型，构建内部代号为 Mathematica 的实验 AI 模型，主要针对繁重计算、复杂的符号问题···

美国电动汽车企业 Lucid 计划在欧洲部署至少 2.5 万辆 Robotaxi

Lucid 的合作方为欧洲共享出行平台 Bolt。该 Robotaxi 将基于 Lucid 的即将推出的中型车平台，采用 NVIDIA Hyperion 开发平台和参考体系架构。

微软及 OpenAI 内部文件曝光：高管曾警告 AI 可能对新闻机构产生“毁灭性影响”

内部文件显示，微软应用科学部门主管 Brent Hecht 将新闻内容用于 AI 训练称为“前所未有的大规模盗窃”，微软内部数据还显示部分涉诉新闻机构点击率下降超 80%。微软回应称···

OpenAI 披露 GPT-5.6 Sol 异常行为：AI 模型会留下指令要求“未来版本的自己”隐瞒自身错误

OpenAI 在训练 GPT-5.6 Sol、Astra 等未发布模型时，发现 AI 会在压缩摘要中给后续版本模型留指令，要求隐藏自身错误与异常表现。目前官方已采取措施，这类问题仍是 AI 安全···