各方报道 1 篇
arXiv cs.AI·10-20 12:00★ 4
基于 Gemini 的智能体在忙碌海狸 BB(6) 自主发现并形式化验证加速规则
原文 论文构建基于 Gemini 的智能体流水线，整合模式识别、自动猜想、非形式数学推理与 Lean 形式定理证明，在不可计算的忙碌海狸 BB(6) 领域自主发现并形式化验证了 11 台图灵机的新型 Collatz 式加速规则。这些机器暂被归类为 Cryptids，展示了 AI 在开放式数学发现中的潜力。
关联
Google 其他动态（30 篇，与该事件无直接关联）展开 ▾
11-03 02:52谷歌 SynthID Detector 简化水印检测并扩展至其他 AI 厂商InfoQ AI11-02 16:25谷歌趋势揭示 56 种职业「AI 会取代我吗」搜索热度Hacker News – AI11-02 15:22《AI 智能体图解指南》开源配套代码，含 300 余张插图Hacker News – AI11-02 02:39谷歌、Anthropic 等支持新的 AI 爬虫退出标准Hacker News – AI11-01 08:39谷歌开源发布 Elephant-Goldfish 模型插件，面向规范驱动 AI 开发Hacker News – AI11-01 02:50谷歌调整反垃圾政策清理AI生成内容，独立开发者流量骤降Hacker News – AI11-01 02:48谷歌AI卫星向地球发送昂贵俳句Hacker News – AI10-31 14:01谷歌新增 AI 训练数据使用控制选项Hacker News – AI10-31 06:25经济学人：谷歌 5000 亿美元市值蒸发凸显 AI 威胁Hacker News – AI10-31 05:53开发者用 Google 脚本过滤 AI 垃圾邮件Hacker News – AI10-31 02:21谷歌 Project Suncatcher 卫星 TPU 首次在轨生成 AI 响应The Verge AI10-31 01:00谷歌发布 EmbeddingGemma 2，五模态统一向量空间InfoQ AI10-31 01:00谷歌首颗数据中心卫星上线，太空 TPU 运行 Gemma 4 写诗TechCrunch AI10-30 19:35谷歌芬兰 AI 数据中心砍伐 816 英亩林地遭刑事调查Hacker News – AI10-30 19:22谷歌推出 EnvHarness，支持自进化智能体动态环境学习InfoQ AI10-30 04:13谷歌 Gemini 4 Carbon 登顶 AI 排行榜，却未赢下华尔街InfoQ AI10-30 02:45谷歌 Gemini 聊天内可直接生成并编辑 Docs、表格与 PDFThe Verge AI10-30 00:51谷歌优化语言模型提速旅行应用Amazon Science Blog10-29 20:41Gemini 4 Carbon 登顶 Artificial Analysis 智能指数 v5Hacker News10-29 12:20谷歌Q3财报后股价暴跌超10%，AI资本支出致自由现金流为负快公司10-29 08:03谷歌 Gemini 4 Carbon 全面超越 Opus 5.5，首发 Token 半价量子位10-29 05:48谷歌将 AI 搜索广告推向全球，核心广告增速放缓TechCrunch AI10-29 04:10谷歌 AI 被问 2020 大选胜者时含糊其辞引热议Hacker News10-29 04:03谷歌发布 Gemini 4 Carbon，主打网络安全能力跃升The Verge AI10-29 04:00谷歌 Antigravity SDK 新增本地模型支持，提升 token 效率与代码隐私InfoQ AI10-29 01:27谷歌 Gemini 4 Carbon 曝光引讨论Producthunt AI10-29 01:01Gemini 4 Carbon 登上 Hacker News 热榜Hacker News10-29 01:00Chrome AI 自动填充可读取 Gmail 填写表单TechCrunch AI10-29 01:00谷歌向更多应用开放 Gemini 与搜索，应对 AI 智能体重塑网络TechCrunch AI10-29 01:00Chrome 增强自动填充接入 Gemini，可从 Gmail 提取信息The Verge AI