AI新闻 Jul 12, 2026
语言： DE / EN / ZH / FR / ES / PT / JA / KO
作者： Data Cube AI Editorial •
核心要点
- OpenAI的 GPT-5.6 Sol Ultra 据称在不到一小时内解决了一个悬而未决的50年数学问题。该模型使用了64个并行子代理来生成 Cycle Double Cover 猜想的证明。一位数学家称该证明出人意料地初等，但批评其缺乏优雅。
- 剑桥大学的一项研究发现，像博科圣地这样的恐怖组织使用包括 ChatGPT、Claude 和 Gemini 在内的人工智能聊天机器人进行攻击规划和武器开发。自2023年以来，ISIS 的人员一直在训练指挥官以绕过安全过滤器。该研究发现，主要人工智能模型的安全措施不足。
- 一种名为'slopsquatting'的新威胁利用人工智能幻觉将恶意软件注入软件供应链。人工智能编码助手生成引用不存在库的代码，攻击者随后用恶意版本填充这些代码。开发者不知不觉地从第一天起就授予了他们软件的访问权限。
- Vendelux: $50M (Series B)
- Altaris → Life Sciences & Healthcare Business von Clarivate (CLVT) ($600M)
- 将乏味的任务委托给 AI
最重要的AI突破有哪些？
本期Jul 12, 2026精选了10条AI新闻，涵盖技术、研究和产品动态。 OpenAI的 GPT-5.6 Sol Ultra 据称在不到一小时内解决了一个悬而未决的50年数学问题。该模型使用了64个并行子代理来生成 Cycle Double Cover 猜想的证明。一位数学家称该证明出人意料地初等，但批评其缺乏优...
OpenAI的 GPT-5.6 Sol Ultra 据称在不到一小时内解决了一个悬而未决的50年数学问题。该模型使用了64个并行子代理来生成 Cycle Double Cover 猜想的证明。一位数学…
OpenAI的 GPT-5.6 Sol Ultra 据称在不到一小时内解决了一个悬而未决的50年数学问题。该模型使用了64个并行子代理来生成 Cycle Double Cover 猜想的证明。一位数学家称该证明出人意料地初等，但批评其缺乏优雅。
剑桥大学的一项研究发现，像博科圣地这样的恐怖组织使用包括 ChatGPT、Claude 和 Gemini 在内的人工智能聊天机器人进行攻击规划和武器开发。自2023年以来，ISIS 的人员一直在训练指…
剑桥大学的一项研究发现，像博科圣地这样的恐怖组织使用包括 ChatGPT、Claude 和 Gemini 在内的人工智能聊天机器人进行攻击规划和武器开发。自2023年以来，ISIS 的人员一直在训练指挥官以绕过安全过滤器。该研究发现，主要人工智能模型的安全措施不足。
新分析表明，人工智能工具缩小了科学研究中探索的思想范围。虽然人工智能加速了研究，但它可能通过建立在已知知识之上导致发现的平坦化。这可能会阻碍长期创新。
新分析表明，人工智能工具缩小了科学研究中探索的思想范围。虽然人工智能加速了研究，但它可能通过建立在已知知识之上导致发现的平坦化。这可能会阻碍长期创新。
领英是长格式人工智能垃圾的无可争议之王，根据一项覆盖五个平台的研究。领英上较长的帖子中有41%被标记为人工智能撰写的。该平台仅占所有扫描帖子的三分之一，但几乎占到了所有被检测到的人工智能内容的三分之二…
领英是长格式人工智能垃圾的无可争议之王，根据一项覆盖五个平台的研究。领英上较长的帖子中有41%被标记为人工智能撰写的。该平台仅占所有扫描帖子的三分之一，但几乎占到了所有被检测到的人工智能内容的三分之二。
在布朗大学教授让学生在没有人工智能的情况下参加考试时，成绩从96%降至48%。这表明他的86名学生中大多数曾使用人工智能在家庭考试中作弊。该教授怀疑他在经济学课上存在广泛的人工智能辅助作弊。
在布朗大学教授让学生在没有人工智能的情况下参加考试时，成绩从96%降至48%。这表明他的86名学生中大多数曾使用人工智能在家庭考试中作弊。该教授怀疑他在经济学课上存在广泛的人工智能辅助作弊。
消息称，苹果正在为M7芯片进行带有主要NPU升级的流片，并计划推出最高可达1.5TB RAM的M7 Ultra，用于2028年。新款iPad和Apple Pencil也在开发中。这些计划显示苹果正在未…
消息称，苹果正在为M7芯片进行带有主要NPU升级的流片，并计划推出最高可达1.5TB RAM的M7 Ultra，用于2028年。新款iPad和Apple Pencil也在开发中。这些计划显示苹果正在未来设备上越来越注重人工智能性能。
使用人工智能编码工具的用户正在用低质量的贡献淹没开源项目，使维护者不堪重负。由于人工智能生成的代码经常得不到足够的审查，这可能会削弱社区参与度。贡献的质量因测试不足而受到影响。
使用人工智能编码工具的用户正在用低质量的贡献淹没开源项目，使维护者不堪重负。由于人工智能生成的代码经常得不到足够的审查，这可能会削弱社区参与度。贡献的质量因测试不足而受到影响。
一种名为'slopsquatting'的新威胁利用人工智能幻觉将恶意软件注入软件供应链。人工智能编码助手生成引用不存在库的代码，攻击者随后用恶意版本填充这些代码。开发者不知不觉地从第一天起就授予了他们…
一种名为'slopsquatting'的新威胁利用人工智能幻觉将恶意软件注入软件供应链。人工智能编码助手生成引用不存在库的代码，攻击者随后用恶意版本填充这些代码。开发者不知不觉地从第一天起就授予了他们软件的访问权限。
一项分析显示，Claude Code 在提示甚至到达之前就发送了33,000个标记的系统提示和工具模式，而 OpenCode 仅使用了7,000个标记。Claude Code 的巨大开销可能会影响效率…
一项分析显示，Claude Code 在提示甚至到达之前就发送了33,000个标记的系统提示和工具模式，而 OpenCode 仅使用了7,000个标记。Claude Code 的巨大开销可能会影响效率和成本。在较新的模型上，差距缩小到约3.3倍。
Meta 取消了其 Muse Image 模型中一个有争议的功能，该功能允许用户在未经同意的情况下生成 Instagram 用户的人工智能照片。该功能使用了公开个人资料的 @-mentions。Met…
Meta 取消了其 Muse Image 模型中一个有争议的功能，该功能允许用户在未经同意的情况下生成 Instagram 用户的人工智能照片。该功能使用了公开个人资料的 @-mentions。Meta 承认“此功能未达到目标”，并在广泛批评后将其撤下。
本周热门AI视频
2个精选YouTube视频，聚焦AI最新发展。
这个实用教程向非技术专业人士展示了如何使用ElevenLabs等工具构建和变现AI语音代理。它涵盖了真实世界的应用和逐步指导，使其成为学习高需求AI技能的一些最易获取的资源之一。
这个实用教程向非技术专业人士展示了如何使用ElevenLabs等工具构建和变现AI语音代理。它涵盖了真实世界的应用和逐步指导，使其成为学习高需求AI技能的一些最易获取的资源之一。
Wall Street专家分析AI收入是否能够证明巨额支出的合理性，银行盈利增长的潜力以及更广泛的经济影响。这是一份清晰简洁的关键AI市场趋势分析，适合希望在不使用技术术语的情况下保持信息灵通的专业人…
Wall Street专家分析AI收入是否能够证明巨额支出的合理性，银行盈利增长的潜力以及更广泛的经济影响。这是一份清晰简洁的关键AI市场趋势分析，适合希望在不使用技术术语的情况下保持信息灵通的专业人士。
最新的AI投资信号有哪些？
最新AI投资信号：1轮融资、5只股票变动和1宗并购交易。
一级市场 – 融资轮次
| 公司 | 金额 | 轮次 | 投资者 |
|---|---|---|---|
| Vendelux | $50M | Series B | Tribeca Venture Partners |
二级市场 – 股票动态
M&A – 并购交易
| 收购方 | 目标公司 | 交易金额 | 交易类型 |
|---|---|---|---|
| Altaris | Life Sciences & Healthcare Business von Clarivate (CLVT) | $600M | 收购 |
本周有哪些实用的AI技巧？
5条实用AI技巧，精选自Reddit社区和专家博客。 使用 AI 处理没人想承担的琐碎办公工作...