Google LEAP：通用LLM形式数学证明成功率从10%提升至70%
这项研究解决了通用 LLM 在形式数学中「一次性写完整证明」的致命短板，做 AI 推理、数学辅助工具或形式验证的开发者值得关注——LEAP 的智能体框架思路可能启发更多复杂推理场景的改进。
共 668 条 · 7 天 81 条 · 30 天 235 条 · 话题观测 →
6月5日
6月4日
Google AI Edge Gallery 扩展到 macOS，下载即跑 Gemma 4 12B
本地跑大模型终于不用折腾环境了，做原型验证或离线使用的开发者直接下载就能用，还带 Python 沙盒和语音交互，值得一试。
Google 发布 Gemma 4 12B 多模态模型，16G 内存可运行
多模态模型本地运行门槛进一步降低，做 AI 应用或本地部署的开发者可以关注 Gemma 4 与 Qwen 的对比，评估是否值得迁移或尝试。
Google 允许网站退出 AI 搜索结果，但多数别无选择
做 SEO 或依赖 Google 流量的站长终于有了选择权，但现实是多数人不敢用——这揭示了 AI 搜索时代内容生态的深层矛盾，建议点开了解背后的博弈。
Gemma 3 发布：兼容主流推理框架，权重已开放下载
Google 终于把 Gemma 3 的兼容性做全了——主流推理框架全覆盖，做本地部署或模型微调的开发者可以直接去 Hugging Face 下载权重，省去适配烦恼。
产品01:57
Google 推出 frame.md：视频版 design.md，让 AI 生成品牌视频做品牌视频的团队终于有了 AI 可读的规范——frame.md 让代理直接生成符合品牌调性的视频，省去反复调整的麻烦，建议内容创作者和营销团队点开看看。
Google 发布 Gemma 4 12B：首个原生音频输入的中型模型
Gemma 4 12B 让中小团队也能用上原生音频多模态模型，16GB 内存门槛极低，做语音交互或视觉应用的开发者可以直接下载试试。
产品00:12
Google Gemini Spark Beta 上线，面向 AI Ultra 订阅用户Google 在 AI 订阅服务上再落一子，Gemini Spark 的 Beta 上线意味着付费用户能抢先体验新能力。如果你是 AI Ultra 订阅者或关注 Google AI 生态，值得关注这次更新，看看它能否提升你的日常效率。
6月3日
Google LEAP：通用LLM在12道Putnam 2025题上全解，Lean-IMO-Bench提升至70%
做数学推理或智能体开发的团队值得关注——LEAP 用通用模型+验证反馈循环就超越了专用系统，说明智能体框架设计比模型本身更关键，建议点开论文看具体架构。
6月2日
产品12:07
Google Gemini Omni 可改变视频视角和光照，保持物理和角色一致性视频创作者和后期团队终于可以像改文字一样改视频了——Gemini Omni 让你一句话调整视角和光照，还保持物理和角色一致，做内容生产的建议点开看看怎么用。
产品10:23
Google 推出 Ask YouTube 对话式搜索，面向 Premium 用户YouTube 重度用户终于可以像聊天一样搜视频了——复杂问题直接问，不用再手动翻几十个结果。做内容创作或经常用 YouTube 查攻略的，值得先试 Premium 体验。
5月30日
AI 未来预测：OpenAI 将繁荣，Anthropic 持续盈利，英伟达成首个10万亿美元公司
这些预测直接挑战了当前 AI 行业的竞争格局和商业化路径，做 AI 投资或战略规划的读者值得一看，看完会对未来趋势有新的思考。
Gary Marcus 点赞 scaling01 的 AI 行业预测：OpenAI 将领先，Nvidia 成首家 10T 公司
这些预测直接点出了未来 5 年 AI 行业的赢家和输家，做投资、战略或技术选型的团队值得参考——尤其是 Nvidia 和 OpenAI 的长期前景判断。
产品11:04
Gemini Omni 单提示词实现屏幕到现实视频生成视频创作者和 AI 应用开发者可以直接用 Gemini Omni 把屏幕内容变成物理模拟视频，省去传统 3D 建模和动画流程，值得一试。
Gemini Spark 向美国 Google AI Ultra 订阅用户开放
Google 终于推出了真正 24/7 后台自主运行的 AI 智能体，适合需要自动化处理复杂任务的数字重度用户，值得 Ultra 订阅者立即尝试。
5月29日
Google 发布 AI Threat Defense，用 AI 主动防御 AI 威胁
安全团队终于有了能主动防御 AI 威胁的完整方案——Google 把扫描、修复、测试全链路打通了，做企业安全运维的可以直接关注。
产品16:55
Google 修复 Gemini 使用配额问题，Ultra 用户 Omni 生成翻倍重度 Gemini 用户终于不用被配额 Bug 困扰了，Ultra 用户 Omni 生成翻倍直接受益，做多模态创作的团队建议更新后试试。
5月28日
Google 发布 Coral Board，可本地运行 Gemma 3
边缘 AI 终于有了官方硬件方案——Coral Board 让 Gemma 3 在本地跑起来，做嵌入式或物联网的开发者可以直接用它部署模型，省去云端依赖。
产品10:28
Gemini Omni 向全球 Plus/Pro/Ultra 订阅用户开放多模态交互是 AI 的下一个关键方向，Gemini Omni 让订阅用户能同时处理文本、图像和音频，做内容创作或数据分析的团队值得立即体验。
5月27日
Gemini 2.5 Pro 之前，Google 模型为何总落后一步？
做 AI 产品战略或关注模型竞争的读者，这篇专访点出了技术领先不等于市场领先的残酷现实——Google 的组织惯性如何让先发优势变成后发劣势，值得所有技术团队反思。
Google SynthID 打水印标记 1000 亿条 AI 内容，OpenAI 和 ElevenLabs 接入
AI 内容真假难辨是所有人的痛点，SynthID 从源头打水印的思路比事后检测更靠谱，做内容平台、审核或版权管理的团队值得关注这个行业趋势。
5月26日
Google Antigravity CLI 发布：终端可用的轻量级 agent
终端党终于等到了官方 CLI 版 Antigravity agent，做自动化脚本或习惯命令行的开发者可以直接上手，省去 GUI 的繁琐。
Google 新论文：LLM 应停止假装确定，诚实表达不确定性
这篇论文点破了 LLM 幻觉的核心矛盾——不是知识不够，而是不知道什么时候该说“不确定”。做 AI 产品、智能体或对话系统的团队，看完会对“诚实比正确更重要”有更深理解，建议直接读原文。
5月25日
5月23日
Google 在 Lighthouse 中新增 Agentic Browsing 审计，检测网站对 AI 智能体的支持
做网站优化或 AI 代理开发的团队，这个新审计能帮你提前适配智能体浏览标准，建议点开看看具体检测项。
Google SensorFM：万亿分钟穿戴数据训练的基础模型
穿戴设备厂商和健康 AI 研究者终于有了一个通用基础模型，不用再为每个健康任务单独设计特征工程。做可穿戴健康分析的团队可以直接参考 SensorFM 的预训练思路，大幅降低模型开发成本。
5月22日
Google 2022 年差点推出 ChatGPT 竞品，因毒性问题放弃
Pichai 的复盘揭示了科技巨头在 AI 产品化中的两难——质量 vs 速度，做 AI 产品决策的团队值得看看 Google 当年为何选择不赌。