谷歌把 AI 放进搜索和助手
这次 I/O 的主线很清楚：谷歌不再把 AI 当成聊天窗口，而是当成搜索入口和做事工具。重点是更快的模型、更主动的搜索，以及能长期运行的个人助手。
- Gemini 3.5 Flash：谷歌先发了 3.5 Flash，主打快和能干活，尤其强调代码和多步任务。它已经成了 Gemini 应用和搜索 AI Mode 的默认模型。
- 谷歌更改了其搜索框：搜索框开始支持文字、图片、视频等输入，AI 还能持续追踪信息、帮忙预订和购物。搜索正在从“找网页”变成“代你处理事”。
- 谷歌在 I/O 2026 上发布 Gemini Spark：一款 7×24 小时在线、支持 Gmail 集成的智能代理助手：Spark 是谷歌这次最像“个人助理”的产品。它能接入 Gmail、Docs 等服务，长期跑任务，替用户整理信息、起草回复和推进流程。
- 你所熟知的 Google 搜索，已经结束了：这篇分析点出了影响：用户可能更省事，但网站链接会被进一步挤到后面。依赖搜索流量的媒体和出版商，压力会更大。
谷歌继续把 AI 扩到创作、科研和设备
谷歌不只发模型，也在把模型塞进创作工具、科研流程、开发工具和可穿戴设备里。目标很直接：让 AI 变成更多产品的底层能力。
- Gemini Omni：Omni 把谷歌的多模态能力往前推了一步，能从文字、图像和音频生成或编辑视频。谷歌同时加上了水印、内容凭证和安全审查。
- 时代：从《Nature》发表到催化计算发现：ERA 面向科研，不是演示玩具。它能帮研究人员写实验代码、改分析流程，谷歌称它已经用在疾病预测、径流预报和碳监测等真实问题上。
- Google 的 AI Studio 现在让任何人都能在几分钟内构建 Android 应用：谷歌把 Android 开发进一步网页化、提示词化。搭原型会更快，但真正能上线的应用，还是离不开正常开发、测试和维护。
- 谷歌借鉴 Meta 的做法，宣布推出新款音频智能眼镜：谷歌再次押注智能眼镜，但这次更克制，先做音频和摄像能力。它依赖手机和 Gemini 做导航、翻译和语音交互，先试着把产品做轻。
AI 可信度、安全与隐私
一边是 AI 内容越来越像真的，一边是安全问题越来越实。过去靠“平台自觉”不够了，现在大家开始补水印、验证、加密和补丁。
- OpenAI 采用谷歌的 SynthID 水印技术为 AI 图像加水印，并配备验证工具：OpenAI 开始同时用 C2PA 元数据和谷歌的隐形水印，来标记自家生成图片。它也承认，单靠一种技术并不能解决真假难辨的问题。
- Google 的“圈选搜索”功能现在可以告诉你，这张图片是不是 AI 生成的：谷歌把 SynthID 检测扩到 Search、Chrome、Lens 和 Circle to Search。方向很清楚：让“这图是不是 AI 做的”变成系统级能力。
- CISA 管理员在 GitHub 上泄露了 AWS GovCloud 密钥：美国网安机构承包商把高权限密钥和密码放进了公开仓库，而且部分密钥在曝光后还能继续用。这个事故说明，最基础的凭证管理仍是很多机构的短板。
- Copy Fail、Dirty Frag 和 Fragnesia 内核漏洞：Linux 内核近期连续曝出提权漏洞，披露和修复节奏都在变快。Gentoo 的提醒很直接：用受支持的内核，尽快打补丁。
- Discord 为每位用户启用端到端加密的语音和视频通话：Discord 把语音和视频的端到端加密推给所有用户。对一个大规模社交平台来说，这是少见但重要的隐私改进。
平台与操作系统
这一组更新不花哨，但都很实在：一个在做无障碍，一个继续稳扎稳打修系统，一个则继续改写应用商店的权力边界。
- 苹果推出全新辅助功能：苹果把 Apple Intelligence 用在无障碍功能上，重点是更细的图像描述、自然语言控制、文档摘要和字幕生成。这比单纯加一个聊天助手更有实际价值。
- OpenBSD 7.9：OpenBSD 7.9 带来内核、网络、驱动和关键组件更新，也修了不少安全问题。对在用 OpenBSD 的人来说，这是一次应该尽快跟上的常规升级。
- 除澳大利亚外，《堡垒之夜》重返 App Store：Epic 和苹果的长期争斗还没结束，但《堡垒之夜》已经在多数国家回到 App Store。平台抽成和开发者条款，仍是这场拉锯的核心。
AI 产业与监管
AI 行业还在加速整合：有人买团队补能力，有人抢顶尖研究员，监管也开始碰到新型平台该归谁管的问题。
- Mistral AI 收购 Emmi AI，打造领先的 AI 技术栈：Mistral 不只想做通用模型，也想进入工业仿真和工程软件。收购 Emmi AI 后，它离能源、汽车、半导体这些重场景更近了一步。
- 我加入了 Anthropic：Karpathy 宣布加入 Anthropic，重新回到前沿研发。头部实验室的人才争夺还在继续，而且只会更激烈。
- 明尼苏达州成为首个禁止预测市场的州：明尼苏达直接禁止预测市场平台，联邦监管机构则起诉反击。争点很简单：这类平台到底是金融工具，还是换一种包装的博彩。
开发者与开源
比起大厂发布，这些文章更像一线经验：怎么让小模型更稳，怎么判断开源项目是不是还活着，怎么在 AI 时代继续写更靠谱的软件。
- Show HN：Forge——护栏让一个 8B 模型在智能体任务上的表现从 53% 提升到 99%：Forge 说明了一件事：小模型不一定输在模型本身，很多时候输在调用链和容错。把解析、重试、约束和压缩做好，效果能差很多。
- 开源项目容易“凉凉”的蠢办法：这篇文章提醒我们，不要只看 commit 数量。很多项目表面还在，实际已经没人维护、没人发版、没人处理风险了。
- 面向 LLM 时代的 TLA+ 入门：用提示词走向胜利：LLM 可以帮人写规格，但“什么算正确”还是得人来定义。形式化方法没有因为 AI 变旧，反而更值得补课。
- 我打造了一个虚拟博物馆，几乎收录了你能想到的每一种操作系统。：这个项目把计算史做成了可运行的展馆。它预装了大量历史系统和模拟环境，让人不用折腾安装，就能直接体验旧操作系统。