OpenAI 将崩溃调试视为流行病学研究,修复了存在 18 之久年的 GNU libunwind 漏洞

OpenAI 工程师在调试 Rockset 数据库生产环境崩溃时,采用“流行病学调试”方法分析一年内的核心转储文件,发现崩溃由两个独立Bug引起——一个是受损硬件导致的计算错误,另一个是 GNU libunwind 库中存在 18 年的竞争条件漏洞,该漏洞在特定高频信号场景下被触发。

OpenAI 工程师在调试 Rockset 数据库生产环境崩溃时,采用“流行病学调试”方法分析一年内的核心转储文件,发现崩溃由两个独立Bug引起——一个是受损硬件导致的计算错误,另一个是 GNU libunwind 库中存在 18 年的竞争条件漏洞,该漏洞在特定高频信号场景下被触发。

布拉格经济大学研究员托马什·布鲁克纳发现,通过让AI模型反复生成“1到100的随机数”等简单任务,可得到每个模型独一无二的概率分布——即“行为指纹”。这项技术能以极低代价识别API中转站是否偷换模型,验证准确率已接近传统复杂方法。

美国联邦法官正式批准 Anthropic 与作家团体达成的 15 亿美元版权和解协议,这是美国历史上金额最高的版权赔偿案,也意味着首起针对 AI 公司训练大模型使用书籍的版权集体诉讼在美国庭前终结。此前法院已作出“合理使用”的有利裁决,但 Anthropic 也因保存盗版书籍被指侵权。

腾讯混元发布Hyra-1.0,一个能自动完成AI模型设计、数学证明和科学发现的递归自我改进智能体,已在55个数学开放问题中刷新29项最优纪录。

xAI 于 2026 年 7 月 21 日向 Microsoft 365 推出免费插件 Grok For Excel,让用户能在 Excel、Word 和 PowerPoint 中直接调用 Grok 进行数据分析和图表生成,标志着大模型从聊天界面进入办公软件核心流程。

谷歌正在秘密研发一款名为Frozen v2的专用服务器芯片,将Gemini模型的部分架构永久嵌入硅片中,以大幅降低推理时的计算量和数据搬运。谷歌工程师预计,该芯片单位功耗可处理的token数较最新一代通用TPU提升6到10倍,计划2028年发布,但短期内不会替代TPU,目前定位为实验项目。

苹果在针对 OpenAI 及其硬件子公司 io Products 的 41 页商业秘密诉讼中,明确指控三名前员工窃取技术机密,却刻意未将苹果前首席设计师乔纳森·伊夫列为被告。分析人士认为,这一“缺席”是苹果精心算计的法律策略,而非程序疏忽。

苹果在一份长达41页的诉状中起诉OpenAI及其硬件子公司,指控其通过挖角员工窃取商业机密,但唯独未将苹果前首席设计师乔纳森·伊夫列为被告。这一选择背后,涉及伊夫的实际参与度、苹果的内部权力格局以及品牌公关风险。

微软计划在今年年底前,为 Windows 10 和 Windows 11 平台上的经典版 Outlook 用户推出 Copilot AI 功能,核心是帮助用户一键起草或润色邮件。这意味着即使是坚持使用旧版界面的用户,也能用上大模型驱动的邮件写作助手。

索尼音乐在美国纽约南区联邦法院再次起诉AI音乐公司Udio,指控其未经授权复制超过3万段录音用于训练AI模型。这起诉讼是此前三大唱片公司版权纠纷的延续,且在索尼音乐扩大诉讼范围的申请被法院驳回后重新发起。