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），讓使用者通過協調者 AI 代理處理功能開發、遷移和持續性維護等大型工作，協調者本身不寫程式碼，而是排程數千個子 AI 代理並行執行。

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 看作聊天的一個特殊資料夾！一個協調者 AI 代理會監督專案內的所有 AI 代理，你還可以把側邊欄裡已有的聊天拖進專案裡。 如果你有很多相關的聊天散落在各處，考慮把它們移進一個專案！即使是已完成的 AI 代理也可以拖進去--這對專案其餘部分來說是很好的上下文來源。

由 gpt-live 驅動！

語音是與 AI 互動最神奇的方式

在一個讓想法變為現實始於大聲說出來的未來裡，有一種美好的東西

太期待 devin voice 了！

💚

Nemotron 3 Embed 8B 在 Q2D-Web 基準的綜合 nDCG@10 上排名第一，測試覆蓋 1.9 億網頁文件和近 7 萬條由 AI 代理重寫的查詢，涵蓋 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 提出的"業務世界模型"，認為隨著世界愈發 AI 代理化，會出現不同形態的世界模型。Lightfld 從 CRM 切入，用世界模型建模業務複雜度，讓 AI 代理更易從中獲取價值，並有望在合適的 AI 代理基礎設施上擴充套件到相鄰領域。

OpenAI 宣佈解決了納維-斯托克斯方程的一個長期懸而未決的問題，並在人類可讀證明之外同時發布了 Lean 4 形式化證明。作者 ibobev 引用估算稱按舊標準形式化其 166 頁論文需約 132，800 人時，而 OpenAI 用 17 小時完成 Lean 驗證，成本下降約四個數量級；作者認為形式化驗證還可用於安全策略、智慧合約和關鍵演算法校驗。