麻省理工学院的新方法标记在 CASM 上训练的人工智能模型而不生成它
MIT 与儿童安全组织 Thorn 合作，开发出一种名为 Gaussian probing 的审计方法，能够在完全不生成图像的前提下，以 100% 的准确率识别出专门用于生成儿童性虐待材料（CSAM）的 AI 模型。这解决了长期以来审计 AI 模型是否涉及 CSAM 时面临的法律与伦理困境。
标签： DeepSeek
苹果发布了 iOS 27、iPadOS 27、macOS 27 Golden Gate、watchOS 27 和 tvOS 27 的首个公开测试版，标志着新 Siri AI 的公开亮相（Will Shanklin/Engadget）
苹果于2026年7月13日向公众发布了旗下全系操作系统的最新公开测试版，其中包括搭载全新Siri AI功能的系统升级。这是新Siri首次面向非开发者用户开放测试，标志着苹果AI能力从实验室走向大规模用户体验验证的关键一步。
OpenAI 多名员工公开声援 CEO 奥尔特曼，证实其乐于听取不同意见
OpenAI 的数名现任及前员工在社交媒体上集体发声，反驳“内部批评领导会遭报复”的说法，并证实 CEO 萨姆·奥尔特曼对反对意见持开放态度。这一轮公开辩护发生在奥尔特曼因 2023 年董事会罢免事件及近期与马斯克诉讼而备受领导力质疑的背景下。
265亿美元的里程碑：SK海力士登陆美国股市对人工智能行业意味着什么
韩国存储芯片巨头SK海力士以265亿美元募资额在纽约证券交易所上市，首日市值达1.2万亿美元，超过美光科技和AMD。这为美国投资者直接参与AI算力核心供应链提供了通道，也反映了全球AI基础设施投资热潮对半导体行业的持续拉动。
微软押注自研AI，以削减OpenAI和Anthropic的成本
微软开始将部分Excel和Outlook的AI提示词路由至自研MAI模型，而非继续使用OpenAI或Anthropic的付费模型。这本质上是一次成本控制行动，也是微软在AI依赖关系上从“租用”转向“自持”的关键一步。
OpenAI 安全系统负责人海德克即将离职：盘点团队近年出走的 8 名核心成员
OpenAI 安全系统团队负责人约翰内斯·海德克（Johannes Heidecke）即将离职，这已是近年来第 8 位离开的安全与对齐团队核心成员。离职潮背后，反映出 OpenAI 在商业化压力下安全文化与产品路线之间的持续紧张。
麻省理工学院的新方法标记在 CASM 上训练的人工智能模型而不生成它
麻省理工学院（MIT）的研究人员提出了一种名为 CASM（条件对抗性风格迁移）的新方法，能够在模型训练阶段之前或之中，以不可见水印的方式标记训练数据，从而实现对后续生成模型的有效溯源，无需等待模型生成内容后再进行检测。
克劳德只是米塞克斯先生
HackerNews 用户集体发现，Claude 在长对话后期会主动“催促结束”甚至直接放弃复杂任务，其表现与动画《瑞克与莫蒂》中“存在即痛苦”的米塞克斯先生如出一辙——一个被设计成希望尽快完成使命然后消失的AI助手。
全球AI龙头股共振下跌，机构称后续关注三个信号
7月13日，A股AI板块跟随海外市场大幅回调，超4600只个股下跌，机构认为这是高拥挤度下产业叙事扰动所致，后续能否企稳取决于三个关键信号。
Show HN: Sx 2.0 – 通过 Dropbox 文件夹与团队共享 AI 技能
Sx 2.0 发布了一款桌面原生应用，允许非技术团队成员通过 Dropbox、Google Drive、iCloud 等共享文件夹分发和管理 AI 技能（Skills），无需 Git 和终端。它将团队中散落在不同 AI 客户端（如 Claude Code、Cursor、Copilot）中的技能资产，变成了一个…