CodeQL 2.26.0 添加了 Kotlin 2.4.0 支持和 AI 提示注入检测
GitHub 发布了 CodeQL 2.26.0，这是一次重要的安全分析引擎更新：不仅拓展了语言支持到 Kotlin 2.4.0，还新增了专门针对 AI 系统提示注入的检测查询，帮助开发者在 AI 应用开发早期发现安全风险。
标签： 人工智能
苹果起诉 OpenAI，指控前苹果员工为了 OpenAI 的利益窃取了“苹果的商业机密”，并表示 OpenAI 从未回应其担忧（Chance Miller/9to5Mac）
苹果正式对 OpenAI 提起诉讼，指控一名前员工为 OpenAI 窃取苹果商业机密，并指责 OpenAI 在收到相关通知后未采取回应或阻止行为。此案将两家 AI 巨头之间的紧张关系推向法律层面。
苹果指控 OpenAI 首席硬件官、前苹果副总裁唐探指示接受 OpenAI 采访的苹果员工分享苹果秘密 (CNBC)
苹果公司正式向法院指控，OpenAI 首席硬件官、前苹果副总裁唐探（Tang Tan）在安排前同事接受其深度采访后，涉嫌系统性泄露苹果未公开的硬件与 AI 技术细节。此事不仅引爆科技圈对高管竞业与保密协议的信任危机，更可能重塑 AI 芯片与硬件供应链的竞争规则。
摩根大通 AI 投资组合回测跑赢传统配置，实际应用仍存挑战
摩根大通最新研究报告显示，其开发的八个 AI 投资代理在长达二十年的历史回测中，年化收益率比经典 60% 股票 / 40% 债券组合高出约 0.7 个百分点，且波动率略低。但该行明确指出，这些模拟结果并不能保证在真实市场环境中取得同样表现，回测存在流动性枯竭、政策突变等无法模拟的先天局限。
五家 AI 巨头举债 3500 亿美元，7250 亿资本开支引发市场担忧
Alphabet、亚马逊、Meta、微软和甲骨文在过去五年合计新增约3500亿美元债务，总债务突破7000亿美元，同时承诺2026年资本开支最高达7250亿美元，主要用于数据中心和英伟达芯片采购。市场对科技巨头持续举债的承接能力开始显现疑虑，部分公司甚至采用表外融资结构以隐藏真实债务水平。
Mercor 融资谈判凸显 AI 数据需求热潮
AI 数据标注初创公司 Mercor 正与投资者谈判新一轮融资，估值约 200 亿美元，计划筹集 5 亿美元。这笔交易若完成，将使这家仅成立三年的公司估值翻倍，反映出顶尖 AI 实验室对高质量专业训练数据的饥渴需求。
AI 或重塑东南亚 8000 万工作岗位，ILO 称大规模失业尚未出现
国际劳工组织（ILO）最新研究报告指出，生成式 AI 可能触及东南亚近 8000 万劳动者的工作岗位，但当前尚无证据表明该技术已导致大规模就业岗位流失，且最易受冲击的职业就业人数自 2017 年以来仍在增长。这一结论打破了“AI 立即颠覆就业市场”的简单叙事。
恐怖组织博科圣地如何使用前沿人工智能
尼日利亚恐怖组织“博科圣地”据信正在使用未经严格内容安全防护的大语言模型（LLM）生成炸弹制造指南和战术指导。这一事件暴露出当前主流AI安全护栏在恶意用户面前的可绕行性，也再次点燃了关于“AI是否实质性降低恐怖主义技术门槛”的激烈讨论。
GPT-5.6 Sol Ultra 证明了循环双盖猜想 [pdf]
![GPT-5.6 Sol Ultra 证明了循环双盖猜想 [pdf]](https://www.chat-gpts.plus/wp-content/uploads/2026/07/ai_cover_3-319-768x403.jpg)
一则来自 Hacker News 的讨论引发了对数学证明与 AI 生成内容价值的反思。并非 OpenAI 官方发布，而是围绕“如果 LLM 证明了一个长期未解的数学猜想，这意味着什么？”的思辨。这场讨论意外揭示了 AI 发展中的一个根本价值冲突：我们到底应该庆祝 AI 产生了“新内容”，还是只在乎它产生的内容…
不要停止 Gemini 2.5 Flash
在 Hacker News 社区中，有用户表达了对 Google 可能过早停止或弃用 Gemini 2.5 Flash 模型 API 版本的担忧，核心原因是用户认为某个模型在特定测试中得分更高，并不代表它在所有场景下都更优秀，而公司出于商业动机更倾向于淘汰低价或旧版本以推动用户升级。