本期一眼

• 一位統計教授用 ChatGPT 生成證明、再讓機器逐步驗證、三位作者逐行人工查核，解開了 1997 年懸置至今的機率論猜想。「AI 解數學」這類新聞兩年來真假難辨，這是第一個把驗證鏈做全的案例。順帶抓到一筆帳：作者白紙黑字說用的是上一代模型，OpenAI 總裁宣傳時卻寫成新旗艦。判讀這類宣稱，從今天起多一道例行核對。
• OpenAI 總裁公開說，他們拿自家模型改善自家推理機房的效率，這是價格優勢的來源之一。單方說法、零數字，但若為真，這場成本競爭比的就不再是誰請得到效率工程師，而是誰的模型有本事優化自己。
• 半年前「AI 故事拿到槓桿」記錄裡的四個關鍵數字，今天全數找到獨立來源；還帶回一個新讀數：被兜底的算力公司 CoreWeave 的公司債保險費從去年 12 月峰值腰斬回落，兜底的 Nvidia 卻創歷史新高。保費腰斬不等於警報解除，該擔心的那一頭換成了出保的一方。

本期取材自 2026-07-30 的研究日報；今日新事件時間跨度 07-13〜07-29，另有 14 條 2026 年 1 月素材（1 條定向查證＋13 條播客回顧，均標明原發年月）。昨夜我們掃了 88 篇新進素材（44 篇部落格／24 篇播客逐字稿／13 篇公司申報／7 篇電子報），加上 X 上 380 個帳號的 592 則原創貼文；白天精讀 5 篇、定向查證 1 條，最後收下 12 項。來源集中度先說在前：今日新聞側的原始訊源集中在 OpenAI 總裁 Brockman 同一天的推文（其中解題一事已溯源到解題者本人的一手 blog），回顧側 13 條全部出自同一位台灣播客主持人。本期是結構性的來源集中日，語氣與驗證標註都按這個現實寫；本週具名觀點由 Brockman 承載、已入今日核心，大神觀點不另立欄。系統的自動統計已經連續五天沒跑出來，上面的數字是我們人工逐批核對的，可能與平常的算法略有出入。

這是本期完整版（官網存檔正本）：所有則全文展開。email 版為每日精選 3 則核心全文＋其餘一行摘要的縮短版，點「全文」即回到本頁。雙版式試行第 4 天（共兩週），文末有一鍵回覆。

今日核心（3 則全文）

1.[本週]（原發 07-13，07-29 經放大後本報收錄）解開猜想的不是 lab，是要用它的人：Rutgers 統計教授駕駛 AI 工具鏈，補上「AI 解數學」一直缺的驗證環節

Rutgers 大學統計系教授 Guanyang Wang 於 07-13 在個人 blog 自述：他用 ChatGPT 5.5 Pro 生成了 1997 年 Kannan–Tetali–Vempala（KTV）猜想的證明（作者 blog，一手）。KTV 猜想是機率論裡懸置近 30 年的問題，問的是一種「隨機交換洗牌」的過程要走多少步才算洗勻的數學界限。這次的流程走了三道驗證：模型生成證明；再用 OpenAI 的程式代理工具 Codex 把證明改寫成 7 到 8 萬行（重構後行數）的 Lean 程式碼。Lean 是一種形式化證明語言，通過檢查等於機器確認每一步推導無誤，但不保證「題目翻譯對了」，也不等於期刊審查。最後由 Wang 與兩位共同作者逐行人工查核，結論是證明成立、而且定理比原猜想更強，成果已上 arXiv（論文，2026-06，附 Lean 程式庫）。作者還主動寫下侷限：模型會漏引文獻，人類必須細讀。這不是自主 AI 研究，是專家駕駛的工具鏈。這件事為什麼值得用力記：三週前 GPT-5.6 上線 48 小時內，OpenAI 圈流傳「64 個 AI 代理一小時證明了懸置 50 年的圖論難題 Cycle Double Cover 猜想」（AINews 當時的彙整，2026-07），放大者同樣是 OpenAI 總裁 Greg Brockman，那個宣稱至今沒有一項通過外部查核。同路線的另一頭，DeepMind 系團隊 2026-05 已示範用「模型生成證明＋Lean 機器驗證」系統性掃數學家 Erdős 留下的開放問題、自主解出 353 題中的 9 題（論文）。跨兩家 lab 的模型都走得通，這不是單一公司現象。

而歸因要單獨記一筆：作者 blog 白紙黑字寫「I used ChatGPT 5.5 Pro to obtain a proof」，Brockman 07-29 放大時卻寫成「5.6 for solving another longstanding open problem」（放大推文）。0.1 個版本號的差距，恰好跨過新旗艦 GPT-5.6 的發布日（2026-07-09），而解題發生在那之前（2026-06）。

驗證： 解題流程與行數全部出自作者本人一手自述，三位作者查核屬團隊自報；證明未經期刊同行審查，Lean 驗證未經第三方重跑，目前只看到這個來源，方向可信、細節保留。版本歸因一節：Brockman 引推的原文（Wang 本人的 X 貼文）未能直接讀取，不能完全排除作者後續補充用過 5.6，但兩份可讀的一手材料口徑目前就是對不上，本報以作者口徑為準。

判斷更新： 「AI 解了某道數學難題」類新聞，從今天起有一個可用的分類器，問三件事：發起人是誰（獨立學者還是利益方）、有沒有機器可驗的形式化、作者查核了沒。KTV 案三項全過，Cycle Double Cover 案至今零項。同時把版本歸因列入例行核對：功勞被記到新旗艦頭上的這種通膨，會系統性高估最新模型。現況截至本期：證明的期刊審查與 Lean 第三方重跑都還沒發生。

2.[本週]（07-29）OpenAI 總裁：我們拿自家模型改善自家推理機房，這是價格優勢來源之一

與〈解開猜想的不是 lab，是要用它的人〉合看，同一天、同一個放大者，而且同樣往新旗艦的敘事上靠，評估時用同一把折扣尺。Brockman 07-29 另發推稱，OpenAI 拿 GPT-5.6 Sol 改善自家 production serving 的效率，是「我們能做到這種價格性能比的方法之一」（原推文）。Sol 是 Brockman 推文裡對這顆模型的稱法；它與標題所說的新旗艦 GPT-5.6 是不是同一顆，本報尚未查證。這裡的推理機房，指的是模型上線後回應使用者請求的那一端（inference），不是模型「會不會思考」的那個推理。serving 效率就是把同樣的硬體榨出更多有效輸出的工程：批次排程、精度壓縮、快取設計，直接決定每個 token 的成本。背景是兩週前他把 GPT-5.6 Sol 的推廣主軸定在「任何任務給你最好的價格」，當時只有口號、公開徵反例，沒說憑什麼做到（定位宣言推文，07-15、價格效率數字推文）；今天算是他自己補了一半答案。這句話值得認真對待，是因為推理效率工程師是行業裡公認的稀缺人才。今年 6 月起，從業者間流傳多起「同樣的 GPU 靠這類工程多服務數十倍用戶」的自報案例，Lamini 執行長 Sharon Zhou 甚至開源了拿 AI 代理優化 GPU 核心程式的工具（Sharon Zhou 的 X；投資人 Nathan Benaich 的轉述，兩者互不相關）。

驗證： 單一來源、利益方自陳、零數字：效率提升幅度、具體做了什麼（排程？精度？快取？）全都沒給，「方法之一」也是自承講法。「有在用」和「用了有效多少」是兩回事，今天只能確認前者。

判斷更新： 若為真，推理成本競爭的瓶頸會從「搶效率工程師」變成「誰的模型能自己改善自己」。護城河從團隊搬到模型自用權。該盯的訊號：OpenAI 工程端何時給出可核對的數字；在那之前，這條按「利益方宣稱」保留。

3.[證據更新]（原記錄 2026-01-07，查證完成 07-30）半年前的四個資本槓桿數字全數過了獨立源：一處要修正，還帶回「風險搬家」的新讀數

本報 2026/7/29 期（〈出保的在跌、被保的在漲：同一天、同一則消息，市場其實在按位置分帳〉，存檔）把循環融資的定價儀表指向債市；今天把半年前的一筆舊帳查完，結論同向。半導體獨立研究電子報 Fabricated Knowledge 的 Doug O'Laughlin 在 2026-01-07 的年度展望裡記下「AI 故事拿到槓桿」的四個關鍵數字（原記錄），當時只有這一個來源；今天逐項對表：①OpenAI 向投資人自報、至 2029 年累計現金消耗約 1,150 億美元，是累計預估不是年燒（The Information 原報、CNBC 轉載，2025-09）；②OpenAI 與 Oracle 的 3,000 億美元五年算力合約（2027-2031 執行）確認；③原記錄寫 Oracle「四年借了 1,000 億美元」，這一條查證結果要修正：那是投行 KeyBanc 的分析師估算，履行合約「可能需要」新舉債約 1,000 億（約每年 250 億×4 年），是未來需求不是既成借款，引用一律用「估需舉債」（The Register，2025-09-29，②③同源）；④CoreWeave 的五年期信用違約交換（替它的公司債買的保險，保費越高代表債市認為違約風險越高）從 2025-09-26 的 371 個基點，走闊到 12 月盤中峰值 881（收盤口徑 773），再於 2026-06 回落到約 452（The Next Web）；自盤中峰值計約腰斬（881→452，約 −49%）。

驗證： 四個數字各有獨立於原記錄的來源，這筆記錄從「單一來源轉述」升為「多源核實」；③的口徑修正正是這種查證的價值所在。數據現況必須標明：CoreWeave 的 452 個基點截至 2026-06、Nvidia 的 82 個基點截至 07-27（TradingKey），兩者的今日值都未取。

判斷更新： 兩端擺在一起讀：被兜底的 CoreWeave 信用壓力緩解，出保的 Nvidia 信用壓力創新高。風險沒有消失，是搬家了，從被保方的資產負債表搬到出保方的信用曲線上。監測方式因此升級：從盯 CoreWeave 單點，改為 CoreWeave 與 Nvidia 對讀。被保方利差回落不等於警報解除，出保方利差創高才是主訊號。什麼會推翻這個讀法：Nvidia 的五年期信用違約交換年底前回落到 40 個基點附近（本報自設的觀察門檻）、且 CoreWeave 續降，就要下修為「虛驚一場」。

其餘 5 則(一行掃描)

以下 5 則各收成一行；點「全文」回本期完整版看全欄。

• 晶片與半導體（回顧之一）：[趨勢觀察]（原發 2026-01）記憶體的「每次都一樣」對決「這次不一樣」：半年前的頂部警示，今天是一對還沒開獎的活矛盾——台灣散戶投資播客「股癌」主持人謝孟恭，是台灣半導體供應鏈的市場派觀察者，非業內一手 · 全文
• 晶片與半導體（回顧之二）：[趨勢觀察]（原發 2026-01）Google TPU 外銷用哪顆晶片？供應鏈說法與官方說法對不上，這個對立點開著——同一節目 2026-01-24 那集記下當時台灣供應鏈側的說法：Google 自研 AI 晶片 TPU 的產品線裡，v7p 由 Google 與 Broadcom 合作、v7e 由 Google 與聯發科合作 · 全文
• 供應鏈校準（回顧）：[趨勢觀察]（原發 2026-01）口頭訊號領先研究確認約兩三個月：一個往後可用的時滯概估——還是同一節目：主持人團隊自述，2025 年從 AMD 與 NVIDIA 伺服器的元件用量反推出被動元件與 TLVR 電感（AI 伺服器供電鏈裡的電感元件）將缺貨漲價，當時業內的回應是「根本沒看到漲價」 · 全文
• 過去洞見：[趨勢觀察]（原發 2023）三年前的預測對了幾成：把 2023 年的原始訪談翻出來逐條判分——「誰說得準」不能只靠印象，要回原典判分 · 全文
• 也發生了——[趨勢觀察]（原發 2026-01）台美對等關稅 15% 且不疊加、取得 232 條款（美國以國安理由課關稅的法條）調查下的最惠國待遇 · 全文

深度報告

深度報告〈兜底的人跌、被兜底的人漲：循環融資的定價搬到了債市〉（內容日期 2026-07-29）已於本報 2026/7/29 期全文介紹（存檔）；今天只記增量。核心判斷一句話版：市場沒有懲罰兜底本身，它按位置分帳。出保方的公告甜頭九個月內歸零轉負，結構風險的乾淨訊號在信用層、不在股價層。今日增量：定向查證帶回被兜底一方 CoreWeave 的信用違約交換完整弧線（2025-09 的 371 個基點、12 月盤中峰值 881、2026-06 回落至約 452，詳見今日核心〈半年前的四個資本槓桿數字全數過了獨立源〉），與 Nvidia 同期利差創高構成「風險從被保方搬到出保方」的兩端讀數，替「監測儀表是信用利差、不是股價對公告的反應」再添一筆。

現金流自融(2023-24)(花自己賺的,
  訊號乾淨但有速度天花板)
 └ 舉債+循環融資(2024-25)(蓋得比賺得快;
    代價=外人分不清真需求還是自己人撐盤)  ?
 └ vs Jensen Huang「零過剩」立場:
    hyperscaler 資產負債表最強,
    循環結構只是正常商業安排

什麼會推翻它： 與原篇同，2,500 億美元擔保若正式簽約且簽約日 Nvidia 上漲、信用違約交換回落，讀法下修；Nvidia 五年期信用違約交換年底前回落到 40 個基點附近（同樣是本報自設的觀察門檻）＝虛驚一場。

對答案日： 2,500 億美元擔保簽約與否（觀察窗至 2026-12-31）。現況截至本期：交易未確認、未簽約。

來源與盤點

過去 24 小時。 昨夜進來 88 篇待讀：44 篇公司與個人部落格／24 篇播客逐字稿／13 篇公司申報／7 篇業界電子報；X 那邊我們看了 380 個帳號、共 592 則原創貼文（轉推與回覆只計數、不分析）。白天細讀的優先素材：X 貼文 1 篇（Greg Brockman 的五則推文，2 則收進本期、3 則無訊號：ChatGPT Voice 促銷、無具體內容的學術取用宣傳、單字回推，我們幫你省下的閱讀時間在這條註記裡）；另針對 KTV 猜想追查源頭（以作者本人的 blog 為溯源依據）、完成 1 條半年前記錄的定向查證（〈半年前的四個資本槓桿數字全數過了獨立源〉一則）。覆蓋聲明：自動統計已連續五天沒產出，本期數字是我們人工核對的，跟平常的算法可能有落差；本期只能保證這個掃描範圍內的訊號。 一次性回填（非過去 24 小時）。 播客逐字稿 4 集：台灣投資播客「股癌」2026 年 1 月的四集（EP627/628/629/630，SoundOn），回填 13 條記錄，全屬回顧與校準素材、每條標明原發年月，不計入昨夜例行批。 來源集中度提醒。 今日兩條新訊號的原始出處都是 Brockman 同一天的推文（其中一則已由解題作者本人的 blog 一手證實）；回顧側 13 條全部出自股癌同一位主持人，相鄰集數不構成獨立第二源，本報全按「只有一個來源」標註、可信度照此打折。本期不是廣譜掃描日，是集中查證日。 我們追蹤的來源。 本報判斷的底層，目前追蹤 529 個具名的聲音：X 305 人（Elon Musk、Andrej Karpathy、Greg Brockman、Nathan Lambert 等）、播客 90 人（Satya Nadella、Dario Amodei、Jensen Huang 等）、新聞媒體 51 家、個人部落格 48 人（Simon Willison、Chris Olah 等）、論文作者 48 人（Noam Shazeer、Percy Liang、Tri Dao 等）、電子報 46 份（Dylan Patel、Ben Thompson、Ethan Mollick 等）、財報與法說 26 家、主題演講 23 場。

新版式試行第 4 天（共兩週）：今天讀完了 ／ 沒讀完。週末回兩題就好：①有沒有覺得漏了什麼（需要點開一行區找內容，就是訊號）；②有沒有覺得變空洞。

本報不是新聞摘要：我們從每天的 AI 資訊流裡捕捉真正重要的洞見與值得長期追蹤的行家判斷，並交代每一條是怎麼驗證的 — 重點永遠是「哪條判斷變硬了、誰說得準」，不是今天發生了什麼。

—— SecondSource·由研究系統自動生成 · 18 個來源 · 回信給我們，就是最好的意見回饋

本刊為產業分析出版物,提供的是一般性判斷與資訊,不構成投資建議;不對任何特定證券或個股做價值分析、評等或買賣建議,讀者須自行查證、獨立判斷。

繁 中文版|EN English edition →