命令式 vs 生成式：Gemini 把 Google Assistant 按在地上摩擦的 7 个瞬间
人工智能助手的发展，正迎来一个标志性节点。自2026年9月4日起，谷歌将开始从安卓手机、平板电脑、Wear OS智能手表、兼容耳机以及搭载Android Auto的车载系统中，分批移除Google Assistant，由新一代生成式AI助手Gemini全面接替。整个迁移预计持续数周，一旦设备完成切换，用户将无法继续使用或回退至Google Assistant。
阅读全文9 月 4 日起 Assistant 正式退休：Gemini 接棒后，这 5 类人必须换，2 类人可以再等等
谷歌早在2025年就公布了替换计划，原定于当年年底完成，后因Gemini在部分场景下尚不足以完全承接Assistant的能力，推迟至2026年。但真正值得深思的，并非这场"新旧更替"本身，而是这次转型暴露出的深层矛盾：AI的能力越强，在部分场景下反而可能越不好用。
阅读全文Opus 5 自主运行多天不熄火：企业智能体自动化的拐点到了
Anthropic工程师鲍里斯·切尔尼在一期播客里随口提到的一句话："你只需要说'启用工作流（use workflow）'，剩下的交给它就好。" 没有分步执行方案，没有人为指定中间里程碑，也不需要人类在每一步按下"确认"按钮。模型对照测试套件校验输出、修正错误，持续执行直到全部用例通过。数千个并行智能体协同运转，完整跑完11天的全流程。 这正是Claude Opus 5打开的真正突破口：企业智能体自动化的转折点，不在于它能做什么，而在于它能够连续工作多久。
阅读全文从 40 小时到 2 分钟：Claude Opus 5 给企业带来的不只是"快"
人工智能行业多年来一直在追逐"快"。推理速度更快、延迟更低、吞吐量更高——一代代模型不断刷新这些指标。但企业真正关心的，从来不是"每秒生成多少Token"，而是"从接收任务到交付成果，需要反复返工多少次"。 2026年7月24日，Anthropic推出Claude Opus 5。它带来的变革，恰恰就藏在后者之中。
阅读全文Claude Opus 5 发布：1M 上下文 + 默认思考，企业效率为何被重新定义
2026 年 7 月 24 日，Anthropic 悄然推出 Claude Opus 5。没有声势浩大的发布会，也没有"颠覆世界"的浮夸宣言。但只要仔细拆解这次更新的关键词——100 万 Token 上下文窗口、默认思考机制、半价对标 Fable 5，就会发现 Anthropic 正在做一件比堆砌参数更有意义的事：重新定义模型应当以何种姿态融入企业工作流。
阅读全文"自选动作"还是真突破？Astra 十题未经过盲测，AI 数学发现的信任危机才刚刚开始
当OpenAI一次性抛出Astra的十项数学成果时，整个数学界的反应并非欢呼，而是长久的沉默与反复核查。原因很简单：这一回AI的角色已经彻底改变。过去AI只是"高速计算器"——人类提供思路，机器产出结果；而这一次，推理论证本身由模型生成，人类只负责整理与核验。
阅读全文数学界最高警戒！数百名数学家刚签完〈莱顿宣言〉，Astra 就用 10 道证明把他们架在火上
2026年6月2日，荷兰莱顿大学。由16位知名数学家历时八个月起草的《人工智能与数学莱顿宣言》正式发布。短短24小时内，超过1000人签名支持，国际数学联盟（IMU）随即予以背书，陶哲轩、彼得·舒尔策、凯文·巴扎德、斯科特·阿伦森等顶尖学者公开表态拥护。签署人数此后迅速突破3000人。 这份宣言的核心警示只有一句话：AI产出数学知识的速度，已经超出数学界的承接能力。
阅读全文从 Gromov 到 Connes：Astra 两刀砍掉群论与算子代数两座大山，证书已开源
2026年8月1日，OpenAI抛出一枚重磅消息。其下一代主力模型Astra——当前仅为内部版本——产出十项数学与理论计算机科学全新成果，覆盖高维几何、编码理论、群论、算子代数、量子复杂度、格密码学、极值组合等多个方向。这十个问题每一项都搁置至少十年，核心结论始终无人攻克，绝大多数问题的悬置时间远超过十年。
阅读全文27 年悬案+46 年猜想同日被推翻：Astra 用 Lean 4 证书让数学家无话可说
2026年8月1日，OpenAI投下一枚重磅炸弹，整个数学界为之哗然。其在官方博客中首次确认下一代旗舰模型Astra——这个词在拉丁语中意为"群星"——的内部版本一举产出十项数学与理论计算机科学全新成果，并发布可供机器验证的证明过程。这十个问题，每一个都搁置至少十年，核心结论始终无人攻克，绝大多数问题的悬置时间远不止十年。
阅读全文搜索、Workspace、YouTube、汽车、眼镜全接入：Gemini 3.5 Flash 如何成为谷歌的"AI 底座"
2026年5月19日，Google I/O 2026开发者大会。谷歌DeepMind并没有把定价更高的Gemini 3.5 Pro推到C位，反而将名为Flash的模型置于舞台中心——Gemini 3.5 Flash正式全面上线，即日起成为Gemini App（当时月活已突破9亿）与谷歌搜索AI Mode的全球默认模型，同时面向消费者端、开发者端、企业端全部开放。 这绝非一次普通的模型发布，而是在全球范围内改写AI产品的"默认设置"。
阅读全文Gemini 3.5 Flash 成全球默认：速度是前沿模型 4 倍、成本仅 1/3，谷歌用一款模型统一全生态
2026年5月20日，谷歌I/O开发者大会。当业界预期谷歌会推出性能更强的Gemini 3.5 Pro时，主舞台中央站着的却是Gemini 3.5 Flash——一款速度更快、价格更低的模型，被定为Gemini应用与谷歌搜索AI Mode的全球默认模型。
阅读全文从 Allo 到 Stadia 再到 AI Studio：谷歌"产品杀手"本性不改，但这次把所有筹码压给 Gemini
"Killed by Google"（被谷歌关停）网站记录了300多款被谷歌终止的产品，是互联网上最知名的"产品坟场"之一。从Google Reader到Inbox，从Wave到Stadia，谷歌关停产品的历史，几乎和它做产品的历史一样长。"产品杀手"这个标签，已经伴随谷歌很多年。 但2026年夏天的这两次动刀，和以往有所不同。
阅读全文NotebookLM 之后是 AI Studio：谷歌两个月内连续收编独立 AI 产品，Gemini 成唯一幸存者
2026年7月31日，谷歌AI Studio产品与设计负责人阿马尔·雷希在X平台发布公告：距离这款应用8月1日正式上线还剩不到24小时，项目宣布取消。全球168个国家约80万用户的预约全部清零，App Store与谷歌应用商店的预约页面同步下架。 官方给出的解释只有一句话："我们不再让大家下载一款全新独立App，而是决定走一条完全不同的路线。"
阅读全文从单次爆点到持续实验平台：Anthropic 如何把一次数学发现做成长期品牌 IP
2026年7月19日夜，世界杯决赛正在上演。Anthropic研究员、哈佛大学青年研究员莱文特·阿尔珀格一边和朋友看球闲聊，一边把一道悬置87年的数学难题随手丢给Claude Fable 5。几小时之后，Fable给出一段216字符的反例——雅可比猜想在三维及以上空间被证伪。 该消息在X平台迅速引爆。菲尔兹奖得主蒂莫西·高尔斯评价，这是大语言模型首次解决一个不属于自己研究领域，但早已久闻大名的重大难题。陶哲轩用ChatGPT完成复算后，称这件事堪称巨大奇迹。斯坦福数论学家Jared Duker Lichtman转发并逐步拆解了反例，将其署名写作"Alpoge、Mathew和Claude Fable 5"。
阅读全文Fable Conjecture 网站上线：Anthropic 旗舰模型 24 小时不间断，向千年大奖剩余 6 大难题发起总攻
2026年7月19日夜，世界杯决赛正在进行。Anthropic研究员、哈佛大学青年研究员莱文特·阿尔珀格一边和朋友看球闲聊，一边把一道悬置87年的数学难题丢给Claude Fable 5。几小时后，Fable输出一个仅216字符的反例——雅可比猜想在三维及以上空间被证伪。
阅读全文看世界杯决赛的功夫，数学家让Fable 5推翻了87年猜想：AI数学发现进入"意外时刻"
2026年7月19日夜，世界杯决赛在沉闷乏味的氛围中进行。Anthropic研究员、哈佛大学青年研究员莱文特·阿尔珀格，一边观赛，一边和好友、芝加哥大学数学教授阿基尔·马修闲聊。或许是球赛太过无趣，又或许只是想"把Fable 5的额度用掉"，阿尔珀格随手将一个问题抛给手边的Claude Fable 5。 几小时后，AI给出了一个令人头皮发麻的反例。
阅读全文87年无人攻克的Jacobian猜想，被Anthropic Fable 5一句话证伪，菲尔兹奖级难题轰然倒塌
2026年7月19日深夜，世界杯决赛在沉闷乏味的氛围中打响。Anthropic研究员、哈佛大学青年研究员莱文特·阿尔珀格一边看球，一边和好友、芝加哥大学数学教授阿基尔·马修闲聊。不知是谁先提起代数几何里那个被称作"灾难"的雅可比猜想——这道世纪难题绊倒过无数顶尖数学家，华裔天才数学家张益唐也因它耗尽整个博士阶段，最终不得不转向解析数论方向。 或许是球赛实在太过无聊，阿尔珀格随手把这个问题抛给了手边的Claude Fable 5。 几个小时之后，Fable 5给出的结果，让整个数学界头皮发麻。
阅读全文紧接着 Luna 降价 80%：OpenAI 双线出击，算力价格与数学能力同时刷新下限
8月1日，OpenAI研究员塞巴斯蒂安·布贝克宣布，下一代内部模型Astra一举攻克十道长期悬置的数学难题，覆盖高维几何、编码理论、群论、量子复杂度、格密码、极值组合等多个领域，每道问题都有十年以上的学术积淀。按照Sol的API费率计算，全部题解消耗Token成本约2000美元。
阅读全文按 GPT-5.6 Sol API 算仅 2000 美元：OpenAI 用一份 SaaS 订阅费的价格买下 10 个数学突破
2026年8月1日，OpenAI在官网宣布，下一代人工智能模型系列将命名为"Astra"。该公司同时公布：其中一款内部测试模型已解决或推动解决10道长期未解的数学难题，完成相关推理所需的词元成本约为2000美元。
阅读全文249 页论文+62 页手稿+Lean 4 证书：OpenAI 这次把 Astra 的"黑箱"彻底打开了
2026年8月1日，OpenAI首次公开确认下一代模型系列的名称——Astra。这个在拉丁语中意为"群星"的模型，其内部测试版本一次性产出10项数学与理论计算机科学全新成果。 按Sol API费率计算，寻找这些解法所消耗的Token总成本约为2000美元。
阅读全文