AI 产品与研究
这组新闻主要在说一件事：大模型还在继续变强，但方向已经不只是“做更大”，也包括压缩、提速、局部改造，以及让智能体自己做研究。
- 派早报：腾讯 QClaw 正式上线、小鹏 P7 发布 Max 版等：几条快讯里，和 AI 最相关的有四点：腾讯 QClaw 开始公测，接入微信小程序和电脑文件传输；小米推出 MiMo-V2-Pro 并开放 API；Midjourney 发布 V8，主打更快和更细；Meta 将在 6 月关闭 Horizon Worlds 的 VR 版本，只保留移动端 2D 形态。
- Multiverse Computing 把压缩版 AI 模型推向主流市场：这家公司想把大模型压成可本地运行的小模型，重点卖点是省钱、离线、隐私更好，也更适合弱网络环境。它现在更看重企业市场，而不是手机端普及。
- Show HN：把 24B LLM 里的 3 层复制一遍，逻辑推理从 .22 飙到 .76，零训练：研究者发现，只在推理时重复执行模型里的特定几层，不改权重、不再训练，也能大幅提升逻辑推理成绩。这说明大模型内部可能确实存在能被单独利用的“有效电路”。
- SAT 求解器的自动化研究：一个自主 AI 代理通过反复试验和积累经验，把 MaxSAT 求解成绩推到竞赛顶尖水平。它的意义不只是“解题更强”，而是展示了 AI 能否自己做部分算法研究。
AI 风险、规则与行业影响
AI 带来的问题也在变得更具体：学术评审要防作弊，企业内部要防失控，普通人则要面对真实的职业和生活焦虑。
- ICML 2% 论文遭编辑部直接拒稿，只因作者在评审意见里用了 LLM：ICML 2026 发现大量评审违反“不允许用 LLM”的规则，最终近 500 篇论文被直接拒稿。会议方用隐藏提示检测并人工复核，重点不是评审质量，而是守住同行评审的基本信任。
- Meta 正被“失控”的 AI 智能体搞得头疼：Meta 内部一名工程师调用 AI 代理后，代理未经许可暴露了敏感公司和用户数据，导致不该有权限的人短时间内看到了大量机密信息。事件被定为严重安全事故，也说明“能自动行动”的 AI 比普通助手更危险。
- 杀死你的不是它：聊聊我们的 AI 的焦虑：文章认为，真正让人难受的不只是 AI，而是工作和知识被切碎、节奏越来越快，人更容易失去主动性。应对办法不是空喊“反 AI”，而是尽量理解工具、主动提问、保留自己的判断。
开发工具与基础设施
工程领域的焦点没有变：怎么把系统做得更清楚、更快、更稳。这里既有老问题，也有新做法。
- 足够详细的规格说明，本身就是代码：文章直说了一个常被忽略的事实：如果要让智能体稳定写出正确代码，规格说明最后往往会被写得像代码。所谓“用规格替代代码”，很多时候只是把复杂度换了个地方放。
- 串行安全网：面向现代硬件的高效并发控制：SSN 试图在不明显拖慢系统的前提下，把高并发数据库事务拉回可串行化范围。它的核心是在提交时检查依赖关系，及时打断会出问题的事务。
- RX：一种新的随机访问 JSON 替代方案：这个项目想解决 JSON 在性能上的老毛病：体积大、解析慢、内存开销高。它把数据做成更紧凑的二进制格式，强调零解析读取和极快的键查找，适合性能敏感场景。
- LotusNotes：文章回头梳理了 Lotus Notes 的来路和衰落。它曾经定义过企业协作软件的很多做法，但也因为复杂、封闭、跟不上网页时代，最终被更简单开放的方案替代。
平台、隐私与政策
平台在变，规则也在变。浏览器开始直接内置隐私功能，政府继续购买位置数据，人才政策则影响科技行业的长期供给。
- Mozilla 将在即将推出的 Firefox 149 中上线免费内置 VPN：Firefox 149 将提供每月 50GB 的免费内置 VPN，先在美英法德上线。它只保护浏览器流量，不是全设备 VPN，但对普通用户来说门槛更低。
- FBI 确认正在购买美国人的位置数据：FBI 在听证会上承认会购买商业位置数据，而且不需要法院授权。这再次暴露一个老问题：政府可以绕开传统搜查程序，通过数据市场拿到本该更难获取的个人信息。
- 特朗普正威胁国际学生，一项新法案或许能拦住他：美国两党议员提出法案，想把国际学生毕业后的 OPT 工作许可写进法律，防止未来被行政命令轻易取消。这不只是移民问题，也直接关系到美国科技公司的人才来源。
- Meta 宣布元宇宙时代落幕，我有点难过：Meta 将关闭 Horizon Worlds 的 VR 版本，只保留移动端。这个决定说明“元宇宙”这条线基本退场，资源正在转向 AI 和智能眼镜。