实时信息流

特斯拉开始逐步推送 FSD v14.3.9（监督版），新增主动安全机制，即使车辆由驾驶员手动驾驶，系统也可在必要时接管。当检测到即将碰撞且自动紧急制动（AEB）可能不足、驾驶员严重分心或 FSD 意外退出时可能触发，与传统仅沿直线制动不同，该功能可同时调用转向、制动和加速，条件允许时会自动变道或驶向路肩并在危险解除后继续行驶。

作者实测 GPT-6 Astra 的电脑自动化、3D 和剪辑能力。外置键盘快捷键配置 41 秒一次成功，Blender 海盗船不到 10 分钟完成且给出逐部位生成逻辑，还用关键帧做出 3D 镜头移动视频和星球状的马里奥 3D 游戏关卡。真人口播剪辑经三次修改达到可发布标准，附完整剪辑提示词；PPT 二次美化评定为 6 到 7 分；UI 设计对比仍不及 Claude Fable 5.1。

Google Research 与 DeepMind 发布 AI 天气模型 WeatherNext 3，不再依赖传统物理模拟，直接处理实时地球静止卫星数据，每小时生成一次预报。

据 Windows Latest 报道，微软在 IFA 2026 上由 Windows 与设备部门企业副总裁 Mark Linton 提出 unmetered intelligence（无计量智能）概念，希望把原本依赖云端 OpenAI、Claude 等服务的日常 AI 工作转移到用户 PC 本地运行，改变 token 的经济模式，同时云端 AI 仍是体系的重要部分。

9 月 5 日消息，本月发表于《美国医学会杂志》的一篇新论文在梳理数百项 AI 医疗研究后提出，AI 不仅已经成为医生不可或缺的辅助工具，在许多方面甚至开始超过医生，未来不久可能独立照护患者，而且表现优于人类医生。

论文作者、知名生命伦理学家埃泽基尔 · 伊曼纽尔和风险投资家维诺德 · 科斯拉断言：“在认知性医疗工作中，由 AI 独立提供医疗服务，很可能比医生单独诊疗或医生与 AI 共同诊疗效果更好。”

据《连线》报道，不少医生并不接受这一结论。美国医学会 CEO 约翰 · 怀特指出，论文引用的部分研究只是模拟实验，并非医学研究中被视为金标准的盲法实验，一些研究甚至与作者的结论相矛盾。

他以今年 2 月发表于《自然》的一篇文章为例称，大多数患者难以通过与 AI 聊天机器人交流获得自己需要的专业医疗意见。“美国医学会确实看到了这些工具的潜力，但必须把它们用于由医生主导的诊疗方案之中。”

Google DeepMind 用 100 个共享权重、人设随机的 Gemini 3.1 Pro 智能体模拟科学会议，协作求解 71 个 Lean 形式化数学猜想。

微软于 9 月 4 日发布自研图像生成模型 MAI-Image-2.6-Flash，并通过 Microsoft Foundry 开放公开预览。该模型与旗舰版 MAI-Image-2.6 共享文生图和图像编辑核心能力，重点优化速度与成本；微软 AI 负责人 Mustafa Suleyman 称其生图速度是 GPT Image 2 的 2 倍，GPU 效率提高 72%。

小米发布通用表格数据基础大模型 Xiaomi-TabLDM，以单一预训练模型和统一默认配置直接适配不同表格数据集，完成分类与回归预测，模型权重与代码已开源。模型基于结构因果模型生成的合成数据预训练，架构引入双流特征分组、轻量级注意力残差和稀疏混合专家，并探索 Test-Time Scaling。

9 月 5 日消息，在 Ox Alpha 确认为 GLM-5.3-Flash 原生多模态模型后，又一款名为 Omen Alpha 的模型昨日（9 月 4 日）上线 OpenCode Go 订阅计划，种种线索表明同样来自智谱公司。

费用方面，该模型目前仅对 OpenCode Go 订阅用户开放，月费 10 美元（IT之家注：现汇率约合 67.4 元人民币），但单独提供 100 美元（现汇率约合 673.6 元人民币） 的 Omen Alpha 用量额度。

9 月 5 日消息，Anthropic 于当地时间 9 月 4 日宣布，其 AI 模型 Claude 在基本自主运行 11 天后，完成了对费马大定理（FLT）的首个端到端、经过计算机检查的形式化证明。

Anthropic 表示，这项工作并非重新发现费马大定理的数学证明，而是将已有数学证明转换为 Lean 证明助手可以逐步验证的形式。

据介绍，Claude 在这一过程中生成了约 1300 万行 Lean 代码，并证明了约 3.03 万个定理，其中约 2.95 万个中间定理最终被纳入费马大定理的完整证明。整个证明由 Lean 完成检查，仅使用 Lean 的 3 条标准公理。