怀疑法院用AI，男子在诉讼文件中注入提示词试图赢得官司
美国一名诉讼当事人疑因怀疑法院使用AI裁决，在法庭文件中嵌入仅供机器读取的隐藏提示词，试图左右审判结果。这可能是美国法院系统首次遇到的“提示注入”攻击，虽然未奏效，但法官警告此类恶意利用AI系统漏洞的做法将越来越多。
标签： Gemini
为 LLM 生成的 GPU Kernel 打造合约级验证器
一项新研究尝试为 AI 生成的 GPU 内核代码构建“合约级验证器”，目标是在让大模型自动编写高性能计算代码的同时，确保代码的正确性可信、可证明。
GitHub Copilot 每周发布（8月10日）
GitHub Copilot 在 8 月 10 日这波更新里，把重心从“多一个模型”转向“可组合的代理工作流”：Kimi K3 与 MAI-Code 新模型上线、Agent Plugins 1.0 正式可用，并同步增强了 CLI 和 JetBrains 端的智能体能力。这次更新的核心信号是：Copilot 正…
Google用同态加密让隐私AI变得实用
Google 研究团队披露了同态加密（FHE）在隐私 AI 推理上的最新性能数据，虽然比明文计算仍慢几个数量级，但相比此前已有显著改善，让“云服务商无法读取用户数据”的隐私 AI 从理论走向工程可行。
Cursor 现已加入 SpaceX
SpaceX 被曝以约 600 亿美元收购 AI 编程工具 Cursor，这一价格远超 Cursor 当前市场份额对应的估值，本质上是 xAI 将 Grok 模型直接嵌入开发者工作流的战略布局，而非单纯的产品收购。
AI by Hand
计算机科学教授 Tom Yeh 创办的 By Hand Research 发布研究刊物 AI by Hand，主攻在数学和算法层面对 AI 模型进行逐步骤拆解与解释。它代表了当下大模型热潮中一种少见但关键的“慢”研究方向：把黑箱还原成可被人理解的计算过程。
33%增速、126%留存：Snowflake 用一份财报，把“AI落地难”讲成了印钞机故事
Snowflake 最新财报显示，AI 功能正在成为其数据平台的新消费引擎——产品收入同比增长 34%，净收入留存率 126%。其真正的赌注不是做出更强的模型，而是把“企业认知”（Ontology/本体论）变成 AI 与业务数据之间的新底座，解决 AI 落地难的最后一公里。
谷歌现已允许用户从其AI生成内容中移除可见水印
谷歌宣布允许用户关闭 Gemini 生成内容（图像、视频、歌曲）上的可见水印，但保留不可见的 SynthID 水印和 C2PA 元数据。这一调整表明科技巨头正在从“强制标记”转向“可选的可见标记 + 强制隐形溯源”的组合方案。
Unsloth Qwen3.8-27B GGUF files
Unsloth 发布了基于 Qwen3.8-27B 的 GGUF 量化版本，采用新一代 Dynamic V3.0 量化技术，让 27B 参数的多模态模型能在消费级硬件上更高效地运行，同时支持 Agent 工具调用与多 Token 预测推理。
Show HN: Graft – Claude Code 钩子将 grep token 消耗削减 42%
开源工具 Graft 通过预先构建代码库的静态结构图，能让 Claude Code、Cursor 等 AI 编程助手减少大量重复探索操作，在实测中帮助 Claude Code 节省 42% 的 token 消耗，并在 SWE-bench 测试中把代码修复正确率从 54% 提升到 66%。