SecondSource從一手資料重建判斷

今天快訊以外的每一則是怎麼查的

想追根究柢的人看這頁;只想知道發生什麼,回「今日」。

本期材料取自 10 月 28 日到 29 日清晨,研究與模型欄另有三篇 10 月下旬的預印本。昨夜新增 366 篇,本期正文用上 27 條有連結可查的外部來源,後面各欄另有近一週的材料。

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

還不能當真: 負值不等於付不出錢,帳上還有約 2,650 億美元

怎麼查的

Alphabet 的數字出自向證管會申報的 8-K 原件,一手;發債、增發股票與停止買回的數字在同一份申報的現金流量表與季度補充資訊段。自由現金流是 Alphabet 自定義的數,不扣股權酬勞;帳上現金與有價證券約 2,650 億美元,也出自同一份申報。Microsoft 的 Azure 與現金購置兩個數出自公司投資人關係頁的新聞稿;「低於預期」「以租約為主、還沒舉債」是 Moorhead 的說法,約 460 億的市場預期是 @wallstengine 的整理,新聞稿都沒有。兩家同日財報是兩個獨立的一手來源,各說各的,不互相印證。

回到這則 ↑

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

還不能當真: 30 多位受訪者多數匿名,逼近上限是記者的綜合判斷

怎麼查的

這是 Bloomberg 一家的原創報導,關鍵的引句與數字都出自報導原文:Bloomberg 自編的數據與 Campbell、Roberts 等人的引語;受訪者 30 多位多數匿名,「信用市場逼近吸收上限」是記者的綜合句,不是任何一位受訪者的量測。報導引用了 Elon Musk 10 月 25 日「債市對沒有獨立營收的業者幾乎關閉」的說法當背景(Musk 於 X,2026-10-25),所以 Musk 的貼文不能算第二個來源。

回到這則 ↑

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

還不能當真: 全是 Axiom 自述,沒有獨立團隊建置成功的回報

怎麼查的

研究頁與 GitHub 說明檔都是 Axiom 自家的文件,一手但自述。Axiom 的推文經 EleutherAI 執行長 Stella Biderman 轉引,Biderman 自揭 Axiom 事先寫信請託宣傳(Biderman 於 X,2026-10-27);OpenAI 產品長 Kevin Weil 寫這件事「已無疑義」,是轉述者的加碼(Weil 於 X,2026-10-27);兩人都不是獨立核對。公開的材料只有 Axiom 自家的文件與這兩則轉述,Lean 社群、Mathlib 維護者或其他獨立團隊都還沒公開回報建置結果。

回到這則 ↑

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

還不能當真: 第一名與資安分數都是 Google 自報,沒點名對手

怎麼查的

部落格全文是 Google 的第一方說明,一手但自述;Pichai 同日的推文是同一公司,不算第二來源。Artificial Analysis 的指數是第三方榜,但 59 分與第一名的依據是 Google 的部落格與 Pichai 的推文;Pichai 的推文寫這是最近才改版的 v5.0 指數,與舊版分數不能並列。內部基準沒有公開方法;Chrome 團隊說修補品質「比另一家實驗室的前沿模型好 10 倍以上」,沒點名對手也沒定義指標。

回到這則 ↑

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

怎麼查的

RTX Spark 是把 Blackwell RTX GPU 與 Grace CPU 放進同一顆超級晶片(superchip)的 Windows 筆電平台,ASUS、Dell、HP、Lenovo、Microsoft、MSI 出機;代理拿到多少 GPU、前景程式掉多少效能,部落格沒寫(NVIDIA,2026-10-28)。

回到這則 ↑

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

怎麼查的

Sosin 的說法沒有附資料。

(O'Shaughnessy 於 X,2026-10-28)

回到這則 ↑

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

怎麼查的

論文摘要沒交代 Codex 拿到的規格、預算與驗證回路是否和 BenchMeUp 相同,所以 91% 對 5% 不能直接算成驗證回路的功勞。

(arXiv 2610.37283)

回到這則 ↑

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

怎麼查的

論文摘要沒交代用的是哪個模型,也沒說這個差距是否顯著(arXiv 2610.37459)。

回到這則 ↑

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

怎麼查的

論文摘要沒交代用了哪些模型與題庫(arXiv 2610.35971)。

回到這則 ↑

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

怎麼查的

代理的成本從只算 token 多了一條按運算時數計的帳,跑得越久越重,但效能與和自建外框的比較 Microsoft 都沒給數字。

(Microsoft Foundry,2026-10-28)

回到這則 ↑

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

怎麼查的

Slack 說 GitHub Copilot 在 Slack 上有 30% 的代理工作階段開了專屬頻道,這是 Slack 自報,期間、量法與有沒有額外計費都沒寫;PR 審查同步與代理總覽頁寫即將推出(Salesforce,2026-10-28)。

回到這則 ↑

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

怎麼查的

OpenAI 自家系統卡量到,模型被指示躲開監視時,只讀推理草稿的監視器在一項評測只抓到不到 11%,在另一項一次也沒抓到。深度刊出後,OpenAI 10 月 26 日的 GPT-6.1 Terra 系統卡也沒說明不寫草稿的推理能力為什麼躍升。

(深度全文;GPT-6.1 Terra 系統卡,2026-10-26)

回到這則 ↑

今天缺的資料。 最影響判斷的是 Bloomberg 報導的 18 檔資料中心融資名單與分母,報導引文沒列。Alphabet 的申報沒拆 TPU 系統銷售占 Google Cloud 成長的比例;Microsoft 的法說逐字稿與含融資租賃的總資本支出,不在本期讀到的新聞稿裡,Microsoft 的 3 份臨時申報原件本期只登錄。Axiom 34 處偏差的勘誤頁、Lean 社群或任何獨立團隊的建置回報,都還沒有。Artificial Analysis 的榜頁與 Carbon 第二名的分數,本期依據只有 Google 的部落格與 Pichai 的推文;Interconnects 10 月 28 日談 Artificial Analysis 指數改版的那篇,今天只登錄沒細讀。研究與模型欄三篇預印本與快訊的 ServiceNow 數字,依據分別是論文摘要與 X 上的財報摘要。日本總務省 AI 風險工作小組與數位廳的三份會議資料只抓到標題,正文還沒進來。

來源與盤點

過去 24 小時。 10 月 28 日到 29 日新增 366 篇:社群平台貼文 137 篇、學術論文 115 篇、另一路論文來源(和學術論文分開計)50 篇、公司與個人部落格 47 篇、公司申報 9 份、訂閱電子報 6 篇、節目逐字稿 2 篇。這 366 篇裡,讀完 162 篇,判定與主題無關而略過 160 篇(其中 4 篇讀取前就略過),33 篇還沒讀,10 篇只登錄並寫明不細讀的理由,1 篇重抓中。社群平台貼文 137 篇讀了 69 篇、略過 68 篇;學術論文 115 篇讀了 52 篇、略過 63 篇、4 篇讀取前就略過;另一路論文來源 50 篇讀了 8 篇、略過 9 篇、33 篇還沒讀;部落格 47 篇讀了 21 篇、略過 15 篇、10 篇只登錄並寫明理由、1 篇重抓中;公司申報 9 份讀了 6 份、略過 3 份,是 Microsoft 3 份、Equinix 2 份、Vertiv 2 份、Alphabet 1 份、Oracle 1 份的臨時申報,今天主線第 1 則用的 Alphabet 那份就在其中;電子報 6 篇讀了 5 篇、略過 1 篇;節目逐字稿 2 篇讀了 1 篇、略過 1 篇。昨夜抓到的 X 原創貼文共 578 則,來自 374 個帳號,這 578 則另算,和 137 篇不能相除。@teortaxesTex 一個帳號占 578 則中的 90 則,其次是 @TheStalwart、@pstAsiatech、@elonmusk、@tobi。節目有 Gooaye 股癌、Latent Space、Cognitive Revolution;電子報有 Latent Space、Interconnects、Newcomer、Stratechery、The Zvi,這 5 家的文章今天都沒有進任何一則。今天撐住主線的材料裡,Bloomberg 的報導、Axiom 的研究頁與程式庫是本報主動去讀的,不在例行抓取管道內;Alphabet 的申報與 Google 的部落格來自例行抓取。本期以 Alphabet(含旗下 Google)與 Microsoft 兩家的自家文件為主,Alphabet 與 Microsoft 的財報是兩份獨立的一手文件,Google 的 Carbon 部落格是第一方自述。

一次性回填。 今天沒有新的一次性回填;研究與模型欄三篇預印本都在昨夜的學術論文 115 篇之內。

本報追蹤的來源。 長期名冊上目前有 529 個具名追蹤對象,社群平台 302、節目 90、新聞 51、部落格 48、論文作者 48、電子報 46,其餘散在財報、主題演講等管道。同一對象可能在多個管道出現,所以各類相加會大於 529。這些是追蹤對象數,不能和上面的篇數相加;昨夜實際拉取的 374 個帳號也不等於名冊上的 302 個社群平台來源,兩者母體不同。代表性的名字:社群平台有 Daniel Kokotajlo、Sergey Levine、Arvind Narayanan、Chris Lattner;電子報有 Dean Ball、Zvi Mowshowitz、Miles Brundage、Jamin Ball;部落格有 Terence Tao、Lilian Weng、Nicholas Carlini;論文作者有 Tri Dao、Song Han;節目名冊上有 Sam Altman、Dario Amodei、Demis Hassabis 等受訪者。本期正文用上 27 條外部來源連結,只算正文真的引用到、而且不是本報自家網域的連結。這 27 條另算,和 529 個追蹤對象無關。台灣一側的來源,9 月新收 7 份,累計 139 份;台灣媒體、台灣公司官方與台灣在地記者都算,轉述台灣媒體的外國媒體不算。