yii.
← Digest
EP78 · 2026年5月21日 星期四 · 10 min read

AI 帳單攤開的一天

S-1 文件逼出真實數字，AI 競賽的成本第一次攤在陽光下

每天花 1% 的時間，掌握科技脈動。

今日金句#

“Agents represent the next dominant computing paradigm, following assembly, C, C++, JavaScript, and natural language.”

「Agent 是繼組合語言、C、C++、JavaScript、自然語言之後，下一個主導運算的世代。」

— Jake Cooper，Railway 創辦人暨執行長（來源）

“Change a return type, fix the compiler errors, and you know you’ve updated everywhere.”

「改一個回傳型別，把編譯器報的錯修完，你就知道每個地方都改到了。」

— Alice Ryhl，Google Android Rust 團隊、Tokio 核心維護者（來源）

今日主軸：帳單攤開的這一天#

今天有兩條線交會。第一條是錢。SpaceX 為了 IPO 遞交 S-1 文件，意外把整個 AI 產業的成本攤開：Anthropic 每月付 12.5 億美元向 SpaceX 租用 COLOSSUS 算力，合約一路簽到 2029 年；Elon Musk 的 xAI 去年虧損 64 億美元，今年第一季資本支出年化已超過 300 億；同一天 Nvidia 公布單季營收 816 億美元再創新高，並揭露手上握有 430 億美元的新創股權——三個月內幾乎翻倍。當公司被法規逼著公開財報，數字就藏不住了。第二條線是這些錢買到了什麼：OpenAI 的推理模型在沒有人類提示的情況下，自己推翻了一個 1946 年的離散幾何猜想，並找來 Noga Alon、Melanie Wood、Thomas Bloom 等頂尖數學家驗證——這是 AI 首次自主解開一個數學領域的核心開放問題。一邊是天文數字的投入，一邊是第一個真正像樣的科學產出。今天的科技圈，同時看到了帳單和成果。

必讀#

  1. OpenAI 模型自主推翻 80 年數學猜想 — OpenAI AI
  2. SpaceX S-1 揭露 Anthropic 每月 12.5 億算力帳單 — Simon Willison News
  3. 為什麼 Rust 與眾不同：Alice Ryhl 專訪 — Pragmatic Engineer Dev
  4. xAI 去年燒掉 64 億美元，支出仍在加速 — TechCrunch Startup
  5. Railway：為 AI Agent 而生的雲端平台 — Latent Space AI
  6. Netflix 如何用多模態 AI 做影片語意搜尋 — ByteByteGo AI
  7. Nvidia 再創營收紀錄，揭露 430 億美元新創持股 — TechCrunch News
  8. npm 供應鏈攻擊：314 個套件遭挾持 — SafeDep News
  9. Snapchat 如何每秒處理 10 億次預測 — ByteByteGo Dev
  10. Cursor 發布 Composer 2.5 — Cursor AI
  11. Sam Altman 對每家 YC 新創開出投資支票 — TechCrunch Startup

1. OpenAI 模型自主推翻 80 年數學猜想#

OpenAI 的推理模型在沒有人類分步引導、也沒有提供部分解的情況下，獨立推翻了 Erdős 於 1946 年提出的離散幾何猜想。這個「平面單位距離問題」要解的是：一組有限的平面點集，最多能排出幾組距離恰好為一的配對。八十年來，數學家普遍相信最佳排法接近方格網；OpenAI 的模型卻找到一整套全新的幾何構造，表現勝過格狀解。

  • 這是 AI 首次自主解開一個數學領域的核心開放問題，而非僅做驗證
  • OpenAI 找來 Noga Alon、Melanie Wood、Thomas Bloom 等頂尖數學家獨立驗證——Bloom 曾公開批評 OpenAI 七個月前「GPT-5 解開 10 道 Erdős 難題」是嚴重誤導
  • 證明由 AI 端到端產生並通過同儕審查，標誌 AI 從「數學驗證」走向「數學發現」

💡 為什麼重要：這是 AI 推理能力成熟的硬證據——重點不是算得快，是想到了人類沒想到的結構。先找頂尖學者背書也建立了「AI 科學主張該如何被驗證」的範本。

🔗 閱讀原文 | 來源: OpenAI

2. SpaceX S-1 揭露 Anthropic 每月 12.5 億算力帳單#

SpaceX 遞交 IPO 的 S-1 文件，意外揭露它與 Anthropic 的算力服務合約：Anthropic 每月支付 12.5 億美元，使用 COLOSSUS 與 COLOSSUS II 叢集的運算容量，合約效期至 2029 年 5 月，2026 年 5-6 月為折扣價的爬坡期，雙方均可提前 90 天終止。Simon Willison 引用 S-1 原文並標注此為重大產業訊號。

  • 每月 12.5 億美元 ≈ 年化 150 億美元，凸顯前沿模型訓練與推論的資本規模
  • SpaceX 把自建的大型運算叢集多餘容量變現，直接切入 AI 基礎設施市場
  • 對 Anthropic 而言，多年期、可預測成本的頂級算力供應，已是核心競爭要素

💡 為什麼重要：上市前的法規揭露第一次讓外界看到「一家前沿 AI 公司的算力月帳單」具體長什麼樣——這不再是估算，是合約數字。

🔗 閱讀原文 | 來源: Simon Willison

3. 為什麼 Rust 與眾不同：Alice Ryhl 專訪#

Pragmatic Engineer Podcast 邀請 Tokio 核心維護者、Google Android Rust 團隊成員 Alice Ryhl，深聊 Rust 的設計哲學。核心觀點：Rust 刻意把「隱性失敗」轉成「編譯期錯誤」——null 檢查、未初始化變數、錯誤處理全部提前抓出來。記憶體安全消除了長期困擾 C++ 的整類漏洞。

  • 學 Rust 真正難的不是語法，是所有權模型帶來的思維重構（尤其是環狀物件圖）
  • Edition 制度（2015/2018/2021/2024）讓語言可演進而不撕裂生態
  • 嚴格的編譯器回饋對 AI agent 是好事——它是一個「設計驗證」的約束機制；風險是新手用 AI 產出能編譯但不理解原理的程式碼

💡 為什麼重要：Rust 的成功證明「為了安全付出的開發摩擦」是值得的——前提是編譯器工具鏈夠好。Linux kernel 的 Rust 已於 2025 年 12 月脫離實驗狀態。

🔗 閱讀原文 | 來源: Pragmatic Engineer

4. xAI 去年燒掉 64 億美元，支出仍在加速#

SpaceX 的 S-1 文件同時揭露 xAI 財務：2025 年營收 32 億美元、虧損 64 億美元，虧損較 2024 年（營收 26.2 億、虧損 15.6 億）翻倍。2026 年第一季僅 AI 部門的資本支出就達 77 億美元，年化約 308 億美元，是 2025 年的兩倍多。

  • 營收與虧損的差距持續擴大（32 億 vs 64 億），訓練成本尚未被商業化收入抵消
  • Grok 月活躍用戶 1.17 億，僅佔 Grok+X 合計 5.5 億用戶基數的 21%
  • 收入來源分散——AI 解決方案 4.65 億、Grok 訂閱 3.65 億、資料授權 8800 萬、廣告 1.16 億美元

💡 為什麼重要：xAI 的燒錢曲線與 Anthropic 每月 12.5 億的算力支出相互印證——前沿 AI 是一場需要數十億美元年度投入、回報以「年」為單位的競賽。

🔗 閱讀原文 | 來源: TechCrunch

5. Railway：為 AI Agent 而生的雲端平台#

Latent Space 訪談 Railway 創辦人 Jake Cooper。Railway 把自己定位為「agent-native 雲端平台」——基礎設施是為「比人類開發者多 1000 倍」的 AI agent 規模而設計。它自營裸機資料中心，毛利率約 70%，硬體三個月回本。

  • Railway 認為 pull request 會被淘汰，改由 prompt request + feature flag + 漸進式上線取代
  • 放棄不可變容器，改用可變的「檔案系統快照」模型，讓 agent 能像 VM 一樣快速迭代、不需 Dockerfile
  • 35 人團隊服務 300 萬用戶、每週新增 10 萬註冊；內部每月花超過 20 萬美元在 coding agent 上

💡 為什麼重要：Railway 代表「為 agent 而非為人」重新思考雲端架構的方向——可變基礎設施的主張，直接挑戰了 immutable container 的正統。

🔗 閱讀原文 | 來源: Latent Space

6. Netflix 如何用多模態 AI 做影片語意搜尋#

Netflix 一季影集可產生 2000 小時原始素材、約 2.16 億個畫格，傳統人工搜尋特定場景要花數天。工程團隊打造三層架構：交易型儲存（Cassandra）、離線資料融合（時間分桶）、即時 Elasticsearch 索引。

  • 以「一秒」為時間顆粒度，在精度與可管理性之間取得平衡（2000 小時 = 720 萬個桶）
  • 混合搜尋——專有名詞（角色名）用精確關鍵字比對，語意概念（場景環境）用向量相似度
  • 刻意避免單一大模型，改用多個專門模型組成的 ensemble，達成次秒級查詢延遲

💡 為什麼重要：這是「ML 大規模落地」的實戰藍圖——時間分桶、ensemble 架構、把精確/近似查詢的取捨開放給使用者，適用範圍遠超影片搜尋。

🔗 閱讀原文 | 來源: ByteByteGo

7. Nvidia 再創營收紀錄，揭露 430 億美元新創持股#

Nvidia 公布單季營收 816 億美元（季增 20%），資料中心營收 752 億，雙創新高，但下季成長指引僅 12%，是放緩訊號。更受矚目的是：其非上市股權持有從 1 月的 220 億美元，三個月內幾乎翻倍到 4 月的 430 億，單季新投入 185 億美元。

  • 單季股權投資從上一季的 6.49 億暴增到 185 億美元（28.5 倍）
  • 執行長黃仁勳特別點名將為 Anthropic 大規模擴建算力，「我們對 Anthropic 的覆蓋過去幾乎是零」
  • Nvidia 同時授權 800 億美元庫藏股——一邊是賣晶片，一邊已成為 AI 生態系的財務股東

💡 為什麼重要：Nvidia 正從「純硬體供應商」轉為「生態系投資人」，用 GPU 銷售的現金換取戰略股權，對沖客戶集中風險。下季指引放緩也暗示 GPU 資本支出的高峰可能在接近。

🔗 閱讀原文 | 來源: TechCrunch

8. npm 供應鏈攻擊：314 個套件遭挾持#

2026 年 5 月 19 日，npm 帳號 atool 遭挾持，22 分鐘內在 317 個套件上發布 637 個惡意版本。受影響的包括 size-sensor（月下載 420 萬）、echarts-for-react（380 萬）、@antv/scale（220 萬）等高流量套件。

  • 雙重攻擊路徑——npm preinstall hook + GitHub 偽造 commit 塞進 optionalDependencies，兩條獨立執行鏈
  • 498KB 混淆 Bun 腳本掃描 AWS/GCP/Azure/GitHub/npm/SSH/Docker/Kubernetes/Vault/Stripe 等憑證，並透過 GitHub API 與偽裝成 OpenTelemetry 的 HTTPS 外洩
  • 持久化手段包含挾持 Claude Code hooks（.claude/settings.json）、VS Code tasks、systemd 服務，並用 GitHub commit 搜尋 API 當作 C2 通道

💡 為什麼重要：這是供應鏈攻擊的典範轉移——不只是注入程式碼，而是劫持基礎設施並建立持久化。攻擊者大多沒移動 latest tag，凡是用 ^ semver 範圍的專案下次乾淨安裝就會中標。

🔗 閱讀原文 | 來源: SafeDep

9. Snapchat 如何每秒處理 10 億次預測#

Snapchat 的推薦系統每秒處理 10 億次預測，延遲預算僅 100 毫秒——這個約束驅動了整個架構設計。服務 4.77 億日活躍用戶，每天處理 10 兆筆事件。

  • 兩階段排序——輕量召回模型先把數百萬候選過濾到數百個，再用昂貴模型精排
  • 運算依操作分流——密集矩陣乘法走 GPU，embedding 查表與特徵解析走 CPU
  • 把推論 API 改用原始位元組（而非序列化物件）傳輸特徵，資料平面延遲降低 2 倍、成本省 10 倍

💡 為什麼重要：這體現了產業從「拼模型」轉向「拼基礎設施」——最關鍵的優化發生在序列化、特徵服務與部署管線，而非模型架構本身。

🔗 閱讀原文 | 來源: ByteByteGo

10. Cursor 發布 Composer 2.5#

Cursor 推出 Composer 2.5，相較 Composer 2 大幅進步：更擅長長時間持續任務、更可靠地遵循複雜指令。模型以開源的 Moonshot Kimi K2.5 checkpoint 為基礎，用帶文字回饋的針對性 RL 訓練。

  • 改進的不只是 benchmark，還有溝通風格、投入程度的校準等「真實世界好用度」面向
  • Cursor 與 SpaceXAI 合作打造 Colossus 2，下一代模型將用 10 倍算力（百萬張 H100 等級）訓練
  • 定位明確——從單輪補全走向有狀態、多步驟的自主 agent

💡 為什麼重要：AI 編碼工具正從「補全」進入「持續多步任務」階段，而 10 倍算力擴張意味著程式生成也進入了與前沿 LLM 一樣的算力軍備競賽。

🔗 閱讀原文 | 來源: Cursor

11. Sam Altman 對每家 YC 新創開出投資支票#

Sam Altman 宣布 OpenAI 將投資當期 Y Combinator 每一家新創——以 200 萬美元的 OpenAI token（AI 運算額度，非現金）換取股權。YC 合夥人 Tyler Bosmeny 稱之為「mic drop 時刻」。

  • 投資標的是 token 而非現金，等於在新創最缺資金時鎖定 API 使用與長期黏著
  • OpenAI 投資的是「整批」而非個別挑選的新創
  • 模糊了「基礎設施供應商」與「投資人」的界線，讓 OpenAI 在最早期就看見有潛力的 AI 新創

💡 為什麼重要：這是模型供應商爭奪開發者心佔率的最新一步——免費算力誘人，但股權稀釋與模型鎖定的代價，新創得自己權衡。

🔗 閱讀原文 | 來源: TechCrunch

推薦閱讀#

社群熱門#

中文技術圈#

開源精選 — GitHub Trending（本週）#

vercel-labs/zerolang — C | ⭐ 4.0K 專為 AI agent 設計的程式語言。

DenisSergeevitch/agents-best-practices — ⭐ 901 跨平台（Codex / Claude Code）的 Agent Skill 與 harness 設計最佳實踐。

thananon/9arm-skills — Shell | ⭐ 841 一套實用的 agent skills 集合。

Doorman11991/smallcode — JavaScript | ⭐ 833 為小型 LLM 優化的 AI 編碼 agent，4B activated 模型達 87% benchmark。

Kappaemme-git/codex-complexity-optimizer — Python | ⭐ 804 Codex skill：安全的程式複雜度分析與效能優化報告。

openclaw/clawpatch — TypeScript | ⭐ 605 自動 review 程式、修 bug、合併 PR 的 agent。

stephenlthorn/auto-identity-remove — JavaScript | ⭐ 571 自動從 30+ 個人資料蒐集網站移除你的個資。

影音精選#

GitHub 被入侵、Karpathy 加入 Anthropic、Cursor 與 Codex 行動版#

Theo (t3.gg)

Theo 一次盤點開發者社群多項重大消息：GitHub 安全事件、Karpathy 與 Anthropic 的合作、Cursor 推出 Composer 2.5、OpenAI Codex 推出行動版。

Gemini 3.5 Flash 發布，我不敢說它有多好#

Theo (t3.gg)

Theo 帶著謹慎態度評測 Google 悄悄發布的 Gemini 3.5 Flash，分享對這款新模型實際能力的第一印象。

Zepto 創辦人放棄史丹佛，打造印度 10 分鐘外送帝國#

Y Combinator

Zepto 共同創辦人分享如何從疫情時的 WhatsApp 雜貨群組，演變為印度最大即時電商，並導入 AI 與機器人優化供應鏈。

你不能離開，除非你完成種子輪募資#

20VC

20VC 探討早期新創在完成種子輪募資前的壓力與心態挑戰，聚焦創業初期的韌性與決策困境。

大神動態#

  • Simon Willison：率先從 SpaceX S-1 文件中挖出 Anthropic 每月 12.5 億美元算力合約，並標注為重大產業訊號（詳見必讀 #2）。同日也發布 llm-gemini 0.32、整理 Google I/O 重點。
  • Andrej Karpathy：加入 Anthropic pre-training 團隊的消息持續發酵，今日獲 iThome 等中文媒體跟進報導。

趨勢觀察#

把今天的幾件事連起來看，會發現 AI 產業正在從「故事」階段走進「財報」階段。過去談 AI 是談願景、談 demo；現在 SpaceX 的 S-1、Nvidia 的財報、xAI 的虧損數字，全都被法規逼到陽光下。Railway 為 agent 重寫雲端架構、Cursor Composer 2.5 把訓練算力擴大十倍、Sam Altman 對每家 YC 新創開出 200 萬美元的 token 支票——這些都不是孤立事件，而是同一場資本競賽的不同切面。

💡 給開發者的啟示：當基礎設施的成本被透明化，工具的定價遲早會反映真實算力成本（Gemini 3.5 Flash 直接漲價 3-6 倍就是預告）。把「這個功能值多少 token」納入架構決策，會越來越重要。

🎯 Today’s Action (30 min)：花 30 分鐘檢查你專案的 lockfile——這週 npm 有 314 個套件遭挾持（含 echarts-for-react、size-sensor 等月下載百萬級套件），確認沒有在 5/19 之後裝到惡意版本，並輪替 npm token。參考 SafeDep 分析。

今日關鍵趨勢#

  • 資本透明化：S-1 與財報季把 AI 的真實成本攤開——Anthropic 月付 12.5 億、xAI 年燒 64 億、Nvidia 手握 430 億新創股權
  • AI 進入科學產出階段：OpenAI 推理模型自主推翻 80 年數學猜想，並通過頂尖學者同儕驗證
  • 基礎設施為 agent 重寫：Railway 改用可變檔案系統、Cursor 擴算力 10 倍，雲端與工具鏈為 agent 規模重新設計
  • 供應鏈安全持續惡化：npm 314 套件遭挾持、GitHub 3800 repo 遭惡意 VSCode 擴充入侵
  • 大廠以 AI 為由重組：Intuit 裁 3000 人聚焦 AI，成熟軟體公司轉型潮延續

覺得有用嗎？分享給一個也在追蹤新知的朋友。

也歡迎中長期投資者體驗新工具 → Moniit banner

同期還有