9 月 11 日 · AI 日报

SpaceX CFO Bret Johnsen 表示，短期内不会有任何竞争对手达到 Starship 的水平。

可复用火箭为 SpaceX 带来优势，能将 AI 算力成本压得远低于现在。SpaceX 已在火箭和 Starlink 上做到第一，如今正把同样的劲头带到打造最佳 AI 产品的目标上。

cursor 现在拥有所有 AI 编程工具中最漂亮的侧边栏。我没有任何普通对话，一切都是 Project。组织我的工作从未如此轻松

我预测其他所有编程应用很快都会跟进

谷歌正式推出面向 Windows 10/11 的 Gemini 独立客户端，安装后可通过 Alt + Space 快捷键在任意界面唤起，快捷键支持自定义修改。应用界面与网页版大致相同，支持生成图像/视频、调用连接的应用，并提供独立设置菜单，可管理麦克风、摄像头、位置权限、查看使用统计与崩溃报告、设置开机自动启动。

Slack 推出 Slackforce Surfaces，用户向 Slackbot 描述需求后，AI 会从相关对话和 Google Drive、Salesforce 等连接应用中收集信息，在聊天内生成互动报表、投票、仪表盘、演示和微型网站等工具。

作者认为 AI 让复制现有产品变得快速容易，真正的护城河不再是功能或价格，而是持续原创的能力。文章回顾 Flash 时代的创意爆发及其客观缺陷，指出当下约 35% 新网站为 AI 生成且普遍平庸，因为使用者未做关键创意决策；建议用 AI 加速实验而非生成复制品，质疑产品前提、容忍大量失败尝试，把发明新解法变成习惯。

Cursor 发布 Projects（beta），让用户通过协调者智能体处理功能开发、迁移和持续性维护等大型工作，协调者本身不写代码，而是调度数千个子智能体并行执行。

Krea AI 推出 Flux Video Edit，可在视频中以高精度、超快速度替换任意内容。功能现已开放试用。

Perplexity 正在为 Perplexity Computer 开发新的 Automations 功能。

用户将能够按计划调度工作流，或基于特定触发器来调用它们。

"用 Computer 自动化一切--按自定义计划运行工作流，或在满足特定条件时运行，并自动获取结果"

OpenAI 发布 ChatGPT for Financial Services，面向符合条件的金融机构开放，可将多种金融数据接入 ChatGPT 对话。该功能在 ChatGPT Work 模式下由 GPT-6 Astra 驱动，在 OfficeQA Pro 基准上得分 69.9%，比 GPT-5.6 Sol 高 9%、比 Claude Fable 5.1 高 7%。

清理你的侧边栏！我的一个建议是，你可以把 cursor 里的 Projects 看作聊天的一个特殊文件夹！一个协调者智能体会监督项目内的所有智能体，你还可以把侧边栏里已有的聊天拖进项目里。 如果你有很多相关的聊天散落在各处，考虑把它们移进一个项目！即使是已完成的智能体也可以拖进去--这对项目其余部分来说是很好的上下文来源。

由 gpt-live 驱动！

语音是与 AI 交互最神奇的方式

在一个让想法变为现实始于大声说出来的未来里，有一种美好的东西

太期待 devin voice 了！

💚

Nemotron 3 Embed 8B 在 Q2D-Web 基准的综合 nDCG@10 上排名第一，测试覆盖 1.9 亿网页文档和近 7 万条由智能体重写的查询，涵盖 10 种语言。

前 Google CEO Eric Schmidt 称 AI 的真正限制不是能源而是资金，按每吉瓦约 500 亿美元计算，10 吉瓦就需约 5000 亿美元，能承担万亿美元级资本投入的公司和国家极少。他表示中国有能力做到，而美国凭借资本市场可以借到这笔钱，欧洲则难以做到。完整视频来自 Special Competitive Studies Project 的 YouTube 频道。

SpaceX 计划于 2027 年发射首批轨道 AI 算力卫星，随后从 2028 年起在太空部署"海量算力"。

CFO Bret Johnsen 表示，几乎所有 AI 领导者都认为轨道算力是未来，其优势在于清洁能源以及比地球更少的限制。

Google 提出 ToolGrad，一种先由 LLM 生成工具调用链、再反向标注用户查询的数据生成框架，在 ACL 2026 发表。

Redis 发布全托管语义缓存服务 LangCache，现已在 Redis Cloud 以公开预览形式提供，通过 REST API 及 Python、JavaScript SDK 接入。

作者称今天将 DeepSeek 作为日常知识工作的主力模型使用，认为其性价比极高，尤其擅长浏览器导航，可在 Energy 上试用。内容引用 @deepseek_ai 发布的 DeepSeek-V4.1-Flash：新架构家族中最小模型，具备原生视觉理解，设计上追求更强能力、更快推理、更高吞吐并可扩展到更大模型。配图显示其在 DeepSWE v1.1 得 74.2、CyberGym 得 88.1、Automation-Bench 得 54.8、Terminal-Bench 3.0 得 30.0。

Pocket FM 用 AI 驱动内容生产，一年内收入运行率翻倍至 $500M ARR，去年净增 $250M 且保持 EBITDA 盈利。据称 100 小时音频从过去一年缩短到一天完成，成本降低约 80x；公司自研写作与 TTS 模型。

Elvis Saravia 推荐关注 Lightfld 提出的"业务世界模型"，认为随着世界愈发智能体化，会出现不同形态的世界模型。Lightfld 从 CRM 切入，用世界模型建模业务复杂度，让 AI 智能体更易从中获取价值，并有望在合适的智能体基础设施上扩展到相邻领域。

OpenAI 宣布解决了纳维-斯托克斯方程的一个长期悬而未决的问题，并在人类可读证明之外同时发布了 Lean 4 形式化证明。作者 ibobev 引用估算称按旧标准形式化其 166 页论文需约 132，800 人时，而 OpenAI 用 17 小时完成 Lean 验证，成本下降约四个数量级；作者认为形式化验证还可用于安全策略、智能合约和关键算法校验。