晨報 2026年10月29日

Alphabet 自由現金流連兩季為負，發債又增發股票

三十秒看完

1. Alphabet 第三季買設備花 513.55 億美元，比本業現金多，同季發債又增發股票。

2. Bloomberg 訪 30 多位融資人都說募資變難，最高評級資料中心債殖利率從不到 5% 升到近 7%。據 Morgan Stanley 一位策略師，資料中心證券化債今年發行量仍約與去年相當。

3. AI 數學公司 Axiom 自述 24 天把 15,000 頁的數學定理證明寫成機器可查的程式，未經第三方核對，沒有獨立團隊回報建置成功。

另有第 4 則：Google 發布 Gemini 4 Carbon。

今日主線

1. [今日] Alphabet 第三季買設備的錢超過本業賺進的現金，自由現金流負 90.65 億美元，同一季發債 287 億還增發股票

雙格概念插圖：左格是一座標著 ALPHABET 的圓形金庫，庫門敞開，架上擺滿布袋和成疊硬幣；一名穿黑上衣、掛著識別證的人雙手扶著一個大紅布袋，布袋放在一塊斜板上，斜板架在金庫旁一座黑色伺服器機櫃上方，左邊櫃檯上還放著一個米色小布袋。右格是同一座標著 ALPHABET、架上擺滿布袋和硬幣的金庫，一名掛著識別證的人站在右側敞開的門口，握著一台平板推車的把手，車上放著兩個米色布袋，分別標著 BONDS 和 SHARES。 — Alphabet 10 月 28 日向美國證管會申報，第三季買設備的錢超過本業賺進的現金，自由現金流為負 90.65 億美元，同一季還發債 287 億美元並增發股票 124 億美元。自由現金流為負不等於付不出錢，Alphabet 帳上還有約 2,650 億美元現金與有價證券。本報推論：Alphabet 若仍靠外部資金補買設備的缺口，蓋多快也要看資本市場給的條件。

為什麼重要： 本報推論：Alphabet 若仍靠外部資金補設備缺口，蓋多快也看資本市場條件。

點開看全文 → 怎麼查的 →

2. [今日] Bloomberg 報導，AI 資料中心債連最高評級的也變貴，30 多位融資參與者都說募資變難，發行量仍約與去年相當

概念插圖：上方有一塊寫著 BLOOMBERG 的招牌，下方並排兩格畫面；左格中，一名黑衣人站在伺服器機櫃旁，與及腰高紅色櫃檯後方穿棕色外套的人隔著櫃檯一同拿著一個束口布袋。右格中機櫃同樣在左側，黑衣人站在一張小凳子上向上伸手，與一座高得多的紅色櫃檯後方的同一類人物一同拿著布袋。 — Bloomberg 報導，30 多位資料中心融資參與者都說募資變難。據 Morgan Stanley 策略師，最高評級資料中心債的殖利率從年初低於 5% 升到近 7%，借錢的一方要付更多利息。同一位策略師說，把資料中心租金收入打包賣給投資人的證券化債，今年發行量仍約與去年相當。

為什麼重要： 本報推論：資料中心借款人還借得到錢，但借錢變貴，買方也開始挑承租方可退約的條款。

點開看全文 → 怎麼查的 →

3. [本週]（研究頁 10 月 26 日）AI 數學公司 Axiom 說 24 天把一條 15,000 頁的數學證明寫成可機械檢查的 Lean 程式，推導由機器查，定理寫得對不對仍由人看

概念插圖：舞台左側是一大疊紅色紙張，貼著寫有「PROOF」的黑色標籤，幾張紙從頂端朝右飄出；上方中央掛著寫有「AXIOM」的黑色招牌，旁邊有紅白相間的尖角圖形；中間的平台上排著多排筆記型電腦，每台螢幕都顯示帶橫線的對話框。右側是寫有「LEAN」的檯座，上面放著一台顯示多行橫條的大螢幕，一位穿黑衣、掛著識別證的人伸手觸碰螢幕，最右邊是深色布幕。 — AI 數學公司 Axiom 說，用 AI 代理群 24 天，把一條數學家跨世代寫成、約 15,000 頁的既有證明，翻成定理證明器 Lean 能逐步機械檢查的程式。推導交給 Lean 檢查，主定理的陳述與定義寫得對不對，仍由人讀。以上全是 Axiom 自述，還沒有獨立團隊公開回報建置成功。

為什麼重要： 本報推論：把既有證明翻成 Lean 變快了，留給人核對的是定理本身有沒有寫對。

點開看全文 → 怎麼查的 →

4. [今日] Google 發布 Gemini 4 Carbon，先給網安防禦方、再開放給開發者，榜單名次與資安分數都由 Google 自行公布

概念插圖：米色店面牆上有三扇窗，上方一個紅、黃、綠、藍色的字母 G 以線連到寫著 GOOGLE 的標牌，中央窗口內寫著 GEMINI 4 CARBON 的標牌以線連到櫃台上的筆記型電腦，螢幕顯示一個帶灰色橫線的對話框，一位短髮、穿棕色毛衣與米色長褲的人正在電腦上打字，櫃台下方掛著一張空白吊牌。左側寫著 CYBER DEFENDERS 的標牌以線連到兩根黑色立柱中的一根；右側寫著 DEVELOPERS 的標牌以線連到一根立柱，兩根立柱之間拉著紅色繩索，繩索後站著一位長髮、穿白上衣與深色長褲的人，面向櫃台。 — Google 發布前沿模型 Gemini 4 Carbon，本週起只給部分網安防禦方，開發者、企業與消費者之後才輪到。Carbon 的榜單第一名與資安分數都由 Google 自行公布，沒點名對手。本報推論：先給防禦方、後給市場若成為前沿模型的發布慣例，企業拿到新模型會比公告晚。

為什麼重要： 本報推論：先給防禦方、後給市場若成為前沿模型的發布慣例，企業拿到新模型會比公告晚。

點開看全文 → 怎麼查的 →

晶片與半導體

1. [今日] NVIDIA 讓 RTX Spark 筆電的使用者把 GPU 資源分給背景跑的 AI 代理與前景程式，分配效果沒有數字。

概念插圖：桌上一台打開的筆電，螢幕上一個標題寫著「AI AGENT」、內有灰色文字線條的視窗，被前方另一個同樣排滿灰色文字線條的視窗部分遮住；右上角的面板裡有一個紅色晶片圖示，上面停著滑鼠游標，旁邊寫著「GPU」。螢幕下方的黑色橫條上寫著「RTX SPARK」和「NVIDIA」，兩者之間有一個綠色圖形；一隻穿深色袖子的手從右側伸入，放在觸控板上。 — 在 RTX Spark 這種 GPU 與 CPU 同在一顆晶片上的 Windows 筆電上，NVIDIA 讓使用者把 GPU 分給前景程式和背景長跑的 AI 代理，但 NVIDIA 在部落格裡沒寫代理拿到多少 GPU、前景程式掉多少效能。本報推論：背景長跑的 AI 代理，成了 PC 驅動層要排程的工作負載。

點開看全文 → 怎麼查的 →

大神觀點

1. [今日] 投資節目主持人 Patrick O'Shaughnessy 轉述來賓 Cliff Sosin：「越便宜用得越多」的 Jevons 悖論只是需求曲線上的一個點，價格降過頭市場反而縮小。

概念插圖：芥末黃底色上並排四個黑白條紋遮棚的市集攤位，每個攤位有一名繫圍裙的攤販站在兩疊白色方盒之間，前方擺著紅色托盤，左邊三個托盤裡堆著硬幣狀的圓片，最右邊的托盤看不到圓片；攤位前有幾小群排隊的人，有人舉著圓片，有人伸手接白色方盒，最右邊攤位前的隊伍最長。攤位左右兩側各有一個大大的黑色引號，畫面下方有一隻從右下方伸進來、掌心朝上張開的大型黑色剪影手，袖口露出白色襯衫袖邊。 — 據投資訪談節目主持人 Patrick O'Shaughnessy 在 X 的轉述，來賓 Cliff Sosin 說「越便宜用得越多」的 Jevons 悖論只是需求曲線上的一個點，價格降過頭，市場反而縮小，這個說法沒有附資料。本報推論：若 Sosin 的判斷成立，算力降價後用量還會增加，賣算力的總營收卻可能變小。

點開看全文 → 怎麼查的 →

研究與模型

1. [本週]（預印本，arXiv 2610.37283）斯圖加特大學的 BenchMeUp 用帶驗證回路的代理流程，從自然語言規格建軟體工程評測題，建出的 198 題裡 91% 經作者核對全部合格；作者另跑通用代理 Codex 當對照，同樣 200 題只有 5% 合格。

概念插圖：上方是大字「BENCHMEUP」，下方是一個有框的兩層展示架；上層左側是一台標有「BENCHMEUP」字樣的紅色筆電，旁邊立著四張畫有灰色橫線的紙，前方斜靠著一張畫著黑色甲蟲狀昆蟲的卡片；下層左側是一台標有「CODEX」字樣的黑色筆電，旁邊立著四張各畫一隻黑色甲蟲狀昆蟲的卡片，前方斜靠著一張畫有灰色橫線的紙。畫面右側邊緣有一位深色頭髮、穿灰褐色外套的人，背對畫面，面向展示架。 — 斯圖加特大學的作者說，BenchMeUp 用帶驗證回路的代理流程建軟體工程評測題，建出的題目經作者核對 91% 全部合格，作者另跑的通用代理 Codex 只有 5%，但兩邊拿到的規格、預算與驗證回路是否相同，預印本摘要沒交代。本報推論：照 BenchMeUp 平均每題 0.79 美元的花費，內部評測題的建題成本可能降到每題不到一美元。

點開看全文 → 怎麼查的 →

2. [本週]（預印本，arXiv 2610.37459）M4Bench 在八題對照子集上量到，代理得分的增益大多來自把規格寫完整：一份可操作的規格讓得分多 0.162，技能包只再多 0.024，這個增量在統計上與零無法區分。

概念插圖：兩隻手撐開一幅兩端捲起的捲軸，捲軸頂端的黑色橫條上寫著 M4BENCH；捲軸上兩張桌子並排，每張桌上各有一台螢幕全黑的打開筆電，筆電上方各有一個空白對話框。左桌筆電旁立著一個寫有 SPEC 的米色盒子；右桌筆電旁並排立著一個寫有 SPEC 的米色盒子和一個較大、寫有 SKILL PACK 的紅色盒子。 — M4Bench 論文作者報告，在這套用臨床電子病歷衍生題測代理的資料集上，規格寫完整讓代理答案與參考答案的部分吻合分多 0.162，再疊上技能包只多 0.024，統計上與零無法區分，量的是八題對照子集。在這組臨床資料任務上，技能包的增益大多來自規格寫完整；結果出自預印本，八題量不出差別不等於沒有差別。

點開看全文 → 怎麼查的 →

3. [本週]（預印本，arXiv 2610.35971）一項 147,002 條程式代理軌跡的研究量到，代理跑到 2 萬 token 時還看不出這次會不會失敗，準度跟擲硬幣一樣；224 組配置裡有 216 組，一路跑完比中途重來解更多題、花更少 token。

概念插圖：窗外是城市天際線，右上方有一個淡粉紅色圓形，窗前並排兩張桌子，桌上各有一台筆電，螢幕上有對話框，筆電吐出一張印著 TOKENS 的紙。左邊一隻穿深色西裝袖子的手拿紅色剪刀剪斷紙，剪下的紙條散落在地上；右邊的紙沒有剪斷，從桌面一路延伸到地板，桌上筆電旁放著一把紅色剪刀。 — 一項預印本研究量到，程式代理跑到中途時還看不出這次會不會失敗，準度跟擲硬幣一樣；224 組配置裡有 216 組，一路跑完比中途重來解更多題、花更少 token。「苗頭不對就停掉重來」的省算力規則因此可能反而多花錢，但論文摘要沒交代用了哪些模型與題庫。

點開看全文 → 怎麼查的 →

產品動態

1. [今日] Microsoft 把自家的代理外框做成 Foundry Agent Service 的託管服務公開預覽，12 月 1 日起代理在沙盒裡跑的運算另外按時數計價。

概念插圖：淡綠色背景右側立著一塊淺灰色面板，頂部有橙、綠、藍、黃四色方塊圖示與「MICROSOFT FOUNDRY」字樣，下方藍色橫幅寫著「COPILOT HARNESS」；左欄由上而下排著紙箱、扳手、帶對話框的小視窗和印有分支圖形的文件圖示。中間是標著「MODEL」（內有灰線對話框）與「SANDBOX」的兩個上下相疊的面板，兩條藍色弧形箭頭在兩者之間繞成循環；面板右緣有兩個掛鉤，上鉤掛著灰色吊牌，一隻從畫面右邊伸出的手捏著下鉤上紅色吊牌的繩子。 — Microsoft 把 Copilot harness 這套代理外框做成 Foundry Agent Service 的託管服務，由 Microsoft 代跑代理迴圈與沙盒，目前公開預覽。12 月 1 日起原本免費的沙盒運算改按時數計價，代理成本在 token 之外多一條跑越久越重的帳，效能和自建外框的比較 Microsoft 沒給數字。

點開看全文 → 怎麼查的 →

2. [今日] Slack 把代理替一件工作自開專屬頻道的 Slack Code API 正式開放給所有開發者，8 月時只有 Anthropic、Cognition、GitHub、Vercel 等少數夥伴能用。

概念示意圖：兩個並排的應用程式視窗，下方各有一塊白色牌子，上面有一個多色圖示和「SLACK」字樣，一個灰色箭頭從左邊視窗指向右邊視窗；每個視窗都有一排「#」列組成的側欄、三列頭像、一個文件圖示和一張勾選清單。左邊視窗的八列中有四列是紅色，虛線從這四列連到標著「PARTNERS」的平台上四台深色的筆電狀裝置，裝置螢幕上是對話框圖示，旁邊另一個沒有字的平台上放著四台彩色裝置；右邊視窗有十列紅色（三列實心、七列只有紅框），一個「#」標籤以虛線箭頭指向一個灰色盒子，虛線從這些列連到標著「DEVELOPERS」的平台上的八台裝置。 — Slack 把 Slack Code API 正式開放給所有開發者，讓任何開發者的代理都能替一件工作開專屬頻道；8 月時只有 Anthropic、Cognition、GitHub、Vercel 等少數夥伴能用。本報推論：代理做到一半的進度與要人看的東西，可以直接留在團隊已經在用的 Slack 頻道裡。

點開看全文 → 怎麼查的 →

過去洞見

1. [回顧]（本報 10 月 22 日深度）AI 安全界靠讀模型的推理草稿抓問題，本報深度主張相關規範該綁在量得到的結果上，不綁在模型架構上。

概念插畫：在印有「OPENAI」字樣和白色繩結狀圖案的黑色橫幅下，長桌左側是一個印有「MONITOR」的黑色箱子，箱上傾斜的螢幕顯示一個對話框。一張印有「DRAFT」的捲曲紙張從箱子延伸到桌子中央的大型黑色筆電，筆電螢幕寫著「GPT-6 ASTRA」，後方有淡粉色圓形；右側一名穿黑衣、掛著識別證的人坐在椅子上，用接線連到筆電的鍵盤打字，桌下一條灰色滑槽從筆電下方斜向地上一個印有黑色蟲子圖示的紅色箱子。 — 本報 10 月 22 日的深度主張，讀模型答題前推理草稿來抓壞事的 AI 安全監視，採購條款與監管規範該綁在量得到的結果上，不綁在模型架構上。本報推論：模型被指示躲開監視時還被抓到多少，目前只有 OpenAI 一家量過，外界的採購條款能綁的只有 OpenAI 的自報數字。

點開看全文 → 怎麼查的 →

快訊

1. 還沒查證：[今日] OpenAI 與 ServiceNow 擴大合作，今天上線的只有 ChatGPT 裡的 ServiceNow MCP 外掛，其餘功能排到 2026 年底與 2027 年（OpenAI，2026-10-28）。

2. 還沒查證：[今日] ServiceNow 把 2026 年 AI 合約年值目標從年初 10 億美元上調到 17 億，代理式 AI 生產消耗量年增逾 13 倍，數字是 X 上轉述的財報摘要（Patrick Moorhead 於 X，2026-10-28）。

3. 還沒查證：[今日] Anthropic 的 AI for Science 原本直接把 Claude 免費額度發給個別科學家，現在改由美國 NSF、Simons 基金會等 20 個基金會與研究機構轉發給研究者，或由這些機構在內部使用，金額沒寫（Anthropic，2026-10-28）。

4. 還沒查證：[今日] Google 把 Android 端側推論執行層 LiteRT 的 GPU 路徑移進 Play services，並宣布 NNAPI 2027 年起移除，Google 自測新 GPU 路徑的速度約是舊版 TFLite GPU 加速介面的 1.4 倍（Google，2026-10-28）。

5. 還沒查證：[今日] NVIDIA 發布開放權重語音轉寫模型 Nemotron 3.5 Transcribe，支援 40 種語言，Hugging Face Open ASR 榜第一是 NVIDIA 自述（NVIDIA，2026-10-28）。

更正：10 月 28 日那期寫 Anthropic 上市申請文件 S-1「只給承諾總額」、首版沒有填逐年付款金額。S-1 附註 13 其實有一張逐年表：2025 年底一年以上不可取消的採購承諾共 545.59 億美元，最高是 2027 年約 111 億。沒有逐年金額的，是 6 月底約 2,656 億美元的承諾，以及同一天約 3,214 億美元已簽約、還沒起租的租約；那期判斷「每年約 350 億美元這個數，和 S-1 文件對不上」不變。官網存檔頁已加更正。

本報不是新聞摘要：用 AI 跨領域讀一手資料，每一條判斷附上原文出處，錯了公開更正；重心是哪些變化已經成立、哪些說法還缺證據，不是今天發生了什麼。