AI 安全、产品与政策
这组新闻很集中：AI 不再只是新功能，它已经牵涉到账户安全、内容质量、政府关系和军事用途。
- Meta 确认，数千个 Instagram 账号因滥用其 AI 聊天机器人而被黑客入侵：Meta 说，问题出在 AI 辅助找回账号的流程。黑客借密码重置链路接管了至少 20,225 个 Instagram 账号。Meta 已关闭相关机器人，并要求受影响用户重置密码。
- OpenAI 推出锁定模式，保护敏感数据免受提示注入攻击：这个模式会关闭网页浏览、图片抓取、深度研究和代理模式，尽量减少提示注入带来的泄密风险。但 OpenAI 也明确说，这不是彻底防线。
- Meta 打造了自己的 AI 生成标题党新闻信息流：Meta 曾在独立 AI 应用里测试自动生成的“推荐”资讯流，标题、配图和正文都由 AI 拼出来，质量粗糙，来源也不清楚。Meta 后来说这只是小范围测试，不会继续推进。
- 特朗普政府可能会入股 OpenAI：白宫据报正和 OpenAI 等公司讨论政府持股，理由是让公众分享 AI 带来的收益。现在还只是设想，持股方式和比例都没定。
- 特朗普最新备忘录将“世界上最先进的人工智能”交到军方手中：这份备忘录要求国防系统更快接入前沿 AI，也要求更新自主武器相关规则。它还限制外部机构擅自关闭或削弱军方依赖的 AI 系统。
- 斯里拉姆·克里希南将离任白宫人工智能顾问一职：这位白宫 AI 顾问将在 6 月底离职。他参与过特朗普政府的数据中心和 AI 行动计划，离职后仍可能继续影响相关政策。
- WWDC 2026 值得期待什么：Siri 备受期待的全面改版与 Apple Intelligence 更新：按目前消息，苹果可能会把重点放在新版 Siri 和更多 Apple Intelligence 功能上，比如更强的上下文理解和跨应用操作。是否真能落地，还要看正式发布。
- Computex 2026：我们距离智能体 PC 时代还有多远？– EE Times：今年展会的话题已从“AI PC”转向“智能体 PC”。但分析师的态度更谨慎：概念很热，真正稳定、好用、有明确场景的产品还没到。
开源工具与底层工程
这组新闻很实用：有人做更快的服务器，有人做更安全的沙箱，也有人想把代码理解、记忆管理和并发调试这些老问题变得更简单。
- Ntsc-rs——模拟电视与 VHS 伪影的开源视频模拟器：这不是简单滤镜，而是按模拟电视和 VHS 的真实传输方式来做效果。它用 Rust 写成，支持多线程和 SIMD，加上插件形态丰富，适合视频制作和实时预览。
- Zeroserve：一款可用 eBPF 编写脚本的零配置 Web 服务器：它把静态站点打成 tarball 后直接提供 HTTPS 服务，把路由、鉴权、限流这类逻辑交给脚本处理。作者给出的测试显示，它在一些场景里能和 nginx、Caddy 打平，甚至更快。
- 通用记忆协议——一种供智能体共享的记忆格式：UMP 想给智能体做一套通用记忆格式，让记忆能跨会话、跨平台、跨厂商流动。它也强调记忆归属、可验证性、隐私同意和防注入。
- Sem：用于代码理解的新原语——不是 LSP，而是 Git 之上的实体：sem-cli 把 Git 的 diff、blame 和 log 提升到函数、方法这一级，而不只是按文本行看变化。对大仓库、重构和 AI 辅助编程都更有帮助。
- PyTorch 自定义算子：文章给出一条完整路径：用 C++ 和 CUDA 写算子，注册进 PyTorch，再接到
torch.export和 AOTInductor。最后模型既能在 Python 中跑，也能打包给纯 C++ 推理用。 - 在沙箱中使用 MicroPython 和 WASM 运行 Python 代码：作者用 WebAssembly 里的 MicroPython 做代码沙箱，给执行环境加上 CPU、内存、文件和网络限制。原型已经能工作，但作者明确说它还很早，风险不小。
- WoofWare.PawPrint，一个确定性的 .NET 运行时：这个项目想做一个“可重复”的 .NET 运行时，用来更容易复现并发 bug。它已经能模拟一些线程和任务行为，但还是早期版本，很多功能没补齐。
- 从零开始构建 Rust 过程宏：文章用一个
bitfields宏，完整演示了 Rust 过程宏怎样解析语法树，再生成代码。内容扎实，适合想真正看懂syn和quote的人。 - Themida 的静态去虚拟化：作者展示了怎样用符号执行、常量传播和死代码删除去拆 Themida 和 CodeVirtualizer 的虚拟化保护。重点是用通用方法还原逻辑，而不是只靠脆弱的特征匹配。
模型研究与方法
两篇研究都说明了一件事：模型能力还在涨，而且一些原本分开的路线，正在被证明有更深的联系。
- 莱比锡的基准测试：49 位数学家整理了 100 道有标准答案的研究级数学题。多轮测试后，先进模型最后只剩 2 道没解出，说明大模型的数学推理能力又往前走了一大步。
- 从树到流，再回到树：统一决策树与扩散模型：论文给出决策树和扩散模型之间的严格数学对应。基于这个关系，作者做出了更快的表格生成方法，也给出了把树模型蒸馏进神经网络的新做法。
科学与航天
航天新闻偏实在：新望远镜的发射提前了，JWST 也继续交出直接、清楚的观测结果。
- NASA 的 Nancy Grace Roman Space Telescope 将于 8 月 30 日发射：Roman 望远镜的发射时间比原计划提前了 8 个月。它的视场比哈勃大得多，未来会和 Webb 一起研究暗能量和类太阳系行星系统。
- 天文学家测量沉睡黑洞的质量、我们太阳系失落的原行星，以及更多科学故事：这周最亮眼的结果之一，是 Webb 首次直接测得一颗休眠黑洞的质量。另一项陨石研究则支持这样一个看法：太阳系早期可能曾有一颗后来消失的原行星。