10 月 7 日 · AI 日報

Cursor 在 iOS 應用中上線本地 AI 代理遠端控制，使用者可檢視並回覆電腦上正在執行的 AI 代理。除企業組織外預設對所有使用者開啟，登入後帳戶中的電腦自動顯示，在桌面應用批准配對即可使用。AI 代理仍在本機執行，需電腦保持開機聯網，可在設定中開啟防止休眠選項，企業管理員可在 Org settings 中開啟此功能。

OpenAI 發布 Openai/math，作者認為這似乎表明數學問題或一切可被 verify 的問題已被解決。作者同時吐槽 OpenAI 耗盡了其 Pro 的所有 token，偏離主線任務，開啟無數 subagent 做無意義測試，最終感嘆一切都是"為了 verify 而 verify"。

Anthropic 擴充套件 Cyber Verification Program，將 Project Glasswing 併入，經稽核的安全專業人員可通過三個訪問層級使用 Claude Mythos 5.1、Opus 5.5 和 Sonnet 5.5。

前 Ramp 工程師創立的 Melius 累計融資 2500 萬美元，包括 CRV 領投的 2000 萬美元 A 輪和 General Catalyst 領投的 500 萬美元種子輪。該公司最初做 AI 效果行銷工具，六個月後放棄全部程式碼庫，轉向生成廣告創意素材與行銷活動的"創意工作 AI 代理實驗室"平台，7 月結束隱身以來兩個月內年化收入已超 100 萬美元。

OpenAI 宣佈為 ChatGPT 推出新的 Meetings 外掛，可自動記錄會議筆記並將摘要儲存到 ChatGPT Space。該外掛目前在 macOS ChatGPT 桌面應用上向 Pro 和 Business 使用者開放 beta，Enterprise 版即將推出；被引用內容補充說明使用者可在會中新增筆記或提問，可從已連線應用標記文件、檔案和參會人，行動項可作為提示詞發給 ChatGPT。

PyTorch 發布 FBTriton 核心設計，用於 Table Batched Embedding（TBE）的前向與反向計算，在推薦系統負載上效能超過原有 CUDA 核心。

BestBlogs 早報精講三篇內容：Google AI 基礎設施負責人 Amin Vahdat 談前沿 AI 的物理與經濟約束，主張用 Goodput 衡量系統有效產出，Google 約每六個月翻倍的是有效 token 服務能力而非晶片數量。

每臺機器人都始於一塊你買來的板子。而那些優秀的，最終會落在一塊你自己造的板子上。

又到了每個 AI 帳號假裝自己深諳數論、就最新數學突破的重要性發表高見的時候了。

美國司法部於當地時間週二向內部員工下達指示，在對外溝通、政策檔案、官方記錄及適宜的法庭文書中，“在法律許可的最大範圍內”以“超級智慧”及縮寫 SI 取代 AI。指令由代理副總檢察長特倫特·麥科特簽署，落實特朗普此前一週簽署的行政令；報導稱特朗普不傾向出臺新監管法規，但表示必要時司法部會加以約束。

據《金融時報》報導，SpaceX 計劃募資 400 億美元用於採購輝達晶片，由阿波羅全球管理牽頭，計劃通過約 100 億美元銀行貸款和 300 億美元投資級債券籌資，交易預計 2027 年完成。馬斯克此前在業績電話會議上表示將完全基於輝達 Vera Rubin 架構開展建設；MarketAxess 資料顯示 SpaceX 2056 年到期債券收益率已比美國國債高出約 2.27 個百分點。

OpenAI 公佈一批含 722 份手稿、372 個結果家族的檔案，展示某款未發布前沿模型對數百個未解決數學難題的解答，成果發布在 GitHub 倉庫中。諮詢小組 AGMAI 呼籲通過學術渠道發布並披露模型名稱、提示詞和算力開銷，稱一項普通成果的算力大致相當於 ChatGPT Pro 連續思考三小時。

BestBlogs 10-07 早報彙總 10 條 AI 內容：Google 推出引數小於 1B 的多模態嵌入模型 EmbeddingGemma 2，支援文本、程式碼、影像、影片和音訊，採用模組化架構與 Matryoshka 表示。

文件基金會（The Document Foundation）在部落格中表示，LibreOffice 在可預見的未來不會內建 AI 功能，這是經過慎重考量的設計定位，原因是確保文件不上傳伺服器處理、軟體執行任何環節不需要聯網。使用者如有需求可自行安裝擴充套件外掛對接本地 AI 模型；該機構稱目前尚無整合方案能同時滿足資料保留本地、不依賴單一服務商等條件，並將持續跟蹤技術發展。

Jump Trading 用 GPT‑6 Astra 將更長、更模糊的量化研究任務交給 AI 代理，其 LLM 研發負責人 Lucas Baker 稱該模型解鎖了長週期任務的新自主性層級，此前需頻繁人工干預的工作現可自主完成。

OpenAI 宣佈發布由內部前沿模型產出的一批新數學結果，材料已在 GitHub 開放。發布方式參考了高等研究院數學與人工智慧獨立諮詢組的建議和公開推薦。

作者分析 Claude Code 在任務結束後預填建議下一條訊息的功能，認為它表面省輸入時間，實際可能是低成本收集人類偏好資料的渠道。使用者原樣傳送構成正標籤，編輯則形成帶 diff 的偏好對，來自真實程式碼庫且在分佈內，可作 RLHF 素材；預測下一輪使用者訊息本身也是有價值的訓練目標。作者宣告這是猜測，是否有此用途取決於使用者的隱私設定。

Google 與 MIT 發布報告，介紹 AI 代理平台 Coco，供 TPU 架構師用於硬體與模型協同設計。Coco 將每次模擬掃描登記進規範化關聯式資料庫，AI 代理報告的每個數字都來自 SQL 查詢，並可自主組合型別化工具、執行對比分析。近期目標是將架構師搭建模擬與獲取洞察的時間減半。

現在這真的上升到另一個層面了。

“中國已經在OpenAI和Anthropic安插了間諜。中國有能力隨時發起駭客攻擊。就算我們領先了，也給不了我們多大優勢，他們隨時可以介入，竊取我們的進展。”

前OpenAI和Anthropic研究員Jacob Coxon

完整影片見“PBD Podcast”YouTube頻道，（連結在評論中）