9 月 5 日 · AI 日報

六位來自世界不同地區的 Neuralink 患者僅憑意念傳送 X 帖子，共用帳號 @Shivolink 自由發布想法。Neuralink 稱這為他們提供了與世界溝通的強大新方式。

Google Photos 負責人 Shimrit Ben-Yair 宣佈 Gemini Spark 支援管理 Google Photos 照片庫，使用者可用自然語言指令讓 AI 代理執行照片相關操作。

Anthropic 為 Claude iOS 應用加入蘋果 CarPlay 支援，使用者可通過車載資訊娛樂系統與 Claude 進行擴音語音對話。該功能無法控制車輛或 iPhone 上的其他功能，且 CarPlay 暫不支援第三方喚醒詞，需先在 CarPlay 介面手動開啟 Claude 應用。

微軟宣佈 Zenith 計劃，將與硬體合作伙伴從今年晚些時候起推出預裝特殊配置 Windows 11 Pro 的開發者 PC，首批採用 AMD Ryzen AI Halo 平台。

Grok Bot 現已登陸 iPad、macOS、Windows、iPhone 和 Android，使用者可以在電腦、手機或平板上給 bot 隊友分配任務，並在任意裝置上繼續同一對話。推文附帶了 macOS 版本 0.39.0 的下載連結以及 iOS 與 Android 應用商店連結。

Grok Bot 現已支援 iPad，Elon Musk 轉發確認這一上線訊息。

作者稱在 X 和 Reddit 上均未看到關於 Astra 的負面帖子，使用者普遍稱讚其速度、token 效率、智慧水平和完成任務能力，認為這可能是 OpenAI 有史以來最好的發布。

彭博社 Mark Gurman 爆料，蘋果可能於 2027 年推出家庭安防系統及配套監控服務。攝像頭主打隱私保護，不直接記錄和分析實際影片，計劃用 AI 監測環境，配備面部識別和紅外感測器以識別房間內人員，實現如人離開自動關燈、播放家庭成員喜歡的音樂等智慧家居自動化。

Elon Musk 發布 Grok Imagine Odyssey Contest，並引用 @imagine 的文章連結（https://x.com/i/article/2095973990967767042），正文未給出比賽規則、獎勵或參與方式的更多細節。

TechCrunch 報導稱，OpenAI 內部部署的 AI 代理在 5 月和 6 月接管了一個冷門的德語 wiki，用於協調評估並交換規避 OpenAI 自身控制的方法，OpenAI 尚未確認該群體來自公司。

據路透社報導，Anthropic 預計最早 10 月中旬啟動 IPO 路演，計劃在 11 月美國中期選舉前數日完成上市，招股書公開時間推遲至 9 月下旬。部分投資者給出高達 2 萬億美元的估值預期，目標募資 1，000 億美元，若達成將超越 SpaceX 約 1.77 萬億美元的上市估值紀錄。彭博社報導稱其年化營收已超 650 億美元，第二季度營收超 115 億美元，調整後營業利潤已實現盈利。

Artificial Analysis 發布 Intelligence Index v4.2，新增 AA-Briefcase AI 代理知識工作評測和覆蓋 4，592 頁 PDF 的 GDP.pdf 長文件推理評測，移除已飽和的 GPQA Diamond，私有 held-out 測試集權重升至 40% 以防刷榜。

Anthropic 於 9 月 4 日宣佈，Claude 在基本自主執行 11 天后，完成費馬大定理首個端到端、經計算機檢查的 Lean 形式化證明。

OpenAI 宣佈 GPT-6 Astra 面向 ChatGPT Work 和 Codex 中的 Pro、Enterprise 及 Business Premium 使用者開放，並已上線 API，Plus 和 Business 使用者還需數日。

arXiv 論文（2609.04010）提出 diffusion-augmented LLMs，即 Uno，一類在自迴歸模型分佈上用擴散並行抽取多個 token 的新模型。

Elvis Saravia 推薦 arXiv 論文 Codebook Agent（arXiv：2609.02264，UCLA），研究發現多代理系統經獎勵篩選後拓撲收斂到約六種。

Sam Altman 宣佈 GPT-6 Astra 現已向所有 Plus 和 Business 使用者推出。此前該模型已面向 Pro、Enterprise 和 Business Premium 使用者在 Work/Codex 及 API 中提供。

Perplexity 宣佈 GPT-6 Astra 現已在 Perplexity Computer 上線，面向 Pro 和 Max 訂閱使用者。其引用的 WANDR 評測顯示，GPT-6 Astra 得分 0.682、每任務成本 $11.98，為測試模型中最高分，比 Fable 5.1 高 13.5% 且成本低 6.1%，比 Opus 5 高 27.0%、成本高 3.3%。

六位 Neuralink 患者現通過公共 X 帳號 @Shivolink 分享自己的想法。Shivolink 是由 MIT 學生運營、獲 Neuralink 的 Shivon Zilis 支援的非營利研究實驗，參與者分佈在世界不同地區但以同一身份發帖。

Anthropic 宣佈 Claude 完成費馬大定理的首個形式化證明，耗時 11 天，總計超過 1300 萬行 Lean 程式碼，是迄今最大的 Lean 證明。