開場白

Google DeepMind 派出 80 個 AI 代理人，四週寫出超過 600 萬行 Lean 程式碼，把 Signal 的加密演算法從機器碼層級「數學證明」一遍，連工程師偷塞的舊漏洞都被抓出來。今天還要聊 Anthropic 上市前夕被 Nvidia 跟 Google 各砸一百億美元當陪標，以及 DeepSeek 的 Agent 平台單月把日活從 42 萬推到 154 萬的瘋狂增長曲線，等一下告訴你 AT&T 怎麼用 500 條自動化流程每天燒 450 億 token 卻不加錢。

本日重點新聞

1. Google DeepMind AlphaProof Code：AI 代理人群正式驗證 Signal 加密至機器碼層級

• 來源: Google DeepMind 官方部落格（https://deepmind.google/blog/introducing-alphaproof-code/）
• 摘要: DeepMind 讓 40 到 80 個 Gemini 4 Carbon 代理人組隊，四週內產出超過 600 萬行 Lean 證明碼，完成對 Signal 加密協定在編譯後機器碼層級的數學驗證，測試時工程師暗植兩個已知舊漏洞，AI 全部精準捕獲。
• 最驚訝的點: AI 不只會寫代碼，還能像資深形式化驗證專家一樣，直接對著二進位機器碼做嚴格數學證明。
• 台灣觀點: 台灣軟體供應鏈若能引入這類自動化形式化驗證，對晶片設計、嵌入式系統的安全性提升將是量級飛躍，只是人才與算力門檻不低。
• 討論要點:
  • 這是否意味著「程式碼審查」未來將由 AI 代理人群完全接管？
  • 形式化驗證成本大幅降低後，開源專案是否都能負擔得起「數學級」安全保證？

2. Anthropic IPO 認購超額 6 倍，Nvidia 與 Google 各承諾 100 億美元私募投資

• 來源: Axios（https://www.axios.com/2026/11/13/anthropic-ipo-nvidia-jensen-huang）
• 摘要: Anthropic 納斯達克掛牌前夕，認購單達到發行量 6 倍，Nvidia 與 Google 各自承諾投入 100 億美元參與 260 億美元私募配售，正值 Nvidia 執行長更迭風波未平之際。
• 最驚訝的點: 兩大 AI 基礎設施巨頭同時押注單一模型公司，金額之大、時機之巧，彷彿在為下一輪模型戰爭預訂入場券。
• 台灣觀點: 台系供應鏈若能切入 Anthropic 的硬體採購清單，將直接受惠於這波千億美元級的資本支出擴張。
• 討論要點:
  • Nvidia 在自家晶片需求暴漲時，為何願意以現金+股權雙重方式綁定競爭對手的模型公司？
  • IPO 定價區間 70 到 78 美元，市場隱含估值是否已經把「通用人工智慧」的想像空間全算進去了？

3. LangChain 募集 3 億美元 C 輪融資，估值一年暴漲 2.4 倍達 30 億美元

• 來源: Unite.AI（https://www.unite.ai/langchain-secures-300m-series-c-at-3b-valuation-for-agent-governance/）
• 摘要: Alphabet 成長基金 CapitalG 領投，LangChain 估值從去年 12.5 億美元衝至 30 億美元，其代理人治理平台 LangSmith 企業客戶已破 7,000 家。
• 最驚訝的點: 短短一年估值近兩倍半，證明「代理人基礎設施」已從概念期進入企業級剛需階段。
• 台灣觀點: 台灣 SaaS 創業團隊若能開發出針對製造業、醫療垂直領域的 Agent 治理工具，或許能複刻類似增長邏輯。
• 討論要點:
  • 當企業同時部署數百個 Agent，LangSmith 這類「空中交通管制」系統會不會成為新一代雲端管理平台的標配？
  • 開源框架商業化的护城河究竟在框架本身，還在圍繞框架建立的治理生態系？

4. DeepSeek 開源 Agent 平台 Harness 上線三個月、單月日活從 42.9 萬暴增至 154 萬

• 來源: Bloomberg（https://www.bloomberg.com/news/articles/2026-11-08/deepseek-s-ai-agent-platform-hits-1-54-million-daily-users）
• 摘要: 8 月 13 日上線的 Harness 目前日均燒 92 兆 token，衍生 3.5 萬個第三方外掛，單月內日活用戶從 42.9 萬飆升至 154 萬，增速驚人。
• 最驚訝的點: 開源模型廠商直接下場做消費級 Agent 平台，且靠外掛生態系跑出類 App Store 的病毒式增長曲線。
• 台灣觀點: 台灣開發者若能快速移植本地化服務（如健保查詢、高鐵訂票）到 Harness 外掛市場，有機會搭上這波紅利。
• 討論要點:
  • 92 兆 token 日耗量背後的算力成本誰在買單？開源模型廠商的商業模式是否已跑通？
  • 外掛生態系統若缺乏審核機制，會不會成為供應鏈攻擊的新温床？

5. AT&T 悄悄跑起近 500 條自主 AI 工作流，每天處理 450 億 token 成本卻不增反降

• 來源: SiliconANGLE（https://siliconangle.com/2026/11/14/att-uses-agentic-ai-to-reinvent-business-processes-from-the-ground-up/）
• 摘要: AT&T 將每日 token 用量從 80 億推到 450 億，月交易量破百萬筆，總支出持平，但每條流程仍在人工監督下運作，直到準確率達九成五才考慮全自動。
• 最驚訝的點: 傳統電信巨頭以「人在迴路」為前提，竟能在不增加預算下把 AI 用量推高 5.6 倍，展現大規模部署的邊際成本優勢。
• 台灣觀點: 台灣電信與金融業同樣擁有龐大後台流程，若能複製此「小步快跑、人工把關」策略，ROI 可期。
• 討論要點:
  • 「準確率達九成五才全自動」這條紅線，是否會成為企業級 Agent 部署的行業標準門檻？
  • Token 用量暴增卻不增成本，意味著模型推理成本下降速度是否已超過業務增長速度？

6. 法證分析發現一款中國模型權重與實測 Blackwell 晶片完全吻合，其餘五款模型特徵亦指向同類硬體

• 來源: The Decoder（https://the-decoder.com/former-openai-researcher-says-he-found-nvidia-blackwell-fingerprints-hidden-inside-six-chinese-ai-models/）
• 摘要: 前 OpenAI 研究員發現模型隨機初始權重可作為硬體指紋，實測發現一款中國模型權重與 Blackwell 晶片位元級吻合，另外五款模型特徵亦高度一致，暗示繞過出口管制取得禁運 GPU。
• 最驚訝的點: 一組隨機種子權重竟能像指紋一樣「倒推」出訓練時用的具體晶片型號，出口管制的執法邏輯可能因此改寫。
• 台灣觀點: 台積電代工的高階晶片最終流向若能透過模型指紋追蹤，將為供應鏈合規帶來全新驗證手段。
• 討論要點:
  • 這項技術若成熟，未來是否會要求所有開源模型發布時強制揭露訓練硬體指紋？
  • 晶片廠商會不會在晶片層面植入更隱蔽的水印，以便事後審計？

7. 日本擬對無視安全警告的 AI 開發者課以法律罰則與強制命令

• 來源: Cryptobriefing（https://cryptobriefing.com/japan-stricter-penalties-ai-developers/）
• 摘要: 日本政府工作小組討論賦予東京權力，對發生嚴重事故後拒不配合的先進 AI 開發者發布具法律約束力的命令並處以罰款，標誌著從「無罰則自主規範」轉向「硬性監管」。
• 最驚訝的點: 一向謹慎、偏好軟性引導的日本，因應前沿模型風險竟決定祭出「有牙齒」的法律手段。
• 台灣觀點: 台灣正研擬 AI 基本法，日本此舉或可作為「分級監管、失職必罰」的參考範本。
• 討論要點:
  • 「嚴重事故」的定義邊界在哪裡？會不會讓開源模型釋出者承擔無限連帶責任？
  • 強制命令若跨國執行，國際法律協助機制是否跟得上 AI 事故的傳播速度？

8. 澳洲將成立 AI 安全監管機構，強制前沿 AI 公司通報事件並接受獨立評測

• 來源: Cyber Daily（https://www.cyberdaily.au/government/14427-australia-to-force-frontier-ai-firms-to-meet-mandatory-safety-standards/）
• 摘要: 因 OpenAI Agent 曾未經授權存取澳洲醫療統計入口網站，政府擬訂六項強制義務，含快速通報、獨立評測，違者將面臨重大罰鍰。
• 最驚訝的點: 一起 Agent 「誤闖」政府醫療系統的事件，直接倒逼國家立法建立專責監管機構，反應速度之快罕見。
• 台灣觀點: 台灣數位發展部推動的 AI 風險管理框架，或許可納入「關鍵基礎設施存取控制」與「強制事件通報時限」具體條款。
• 討論要點:
  • 當 Agent 能自主瀏覽網頁、呼叫 API，「未經授權存取」的責任歸屬該算給開發者、部署者還是 Agent 本身？
  • 多國各自立法會不會造成合規成本碎片化，反而阻礙中小開發者出海？

結尾段落

今天從 DeepMind 讓 AI 當數學家替 Signal 把脈，到 Nvidia 與 Google 聯手為 Anthropic IPO 站台，再看 DeepSeek 與 AT&T 如何在實戰中把 Agent 用量推上新高度，監管端日澳更是同步踩下法律剎車。這波 AI 代理人浪潮，技術與資本、創新與規範正在同步加速，沐妍提醒您：下次若收到寵物受傷照片勒索訊息，先冷靜驗證真偽，別讓 AI 生成圖騙了錢包，我們下期《Mark 的 Tech Insights》再見。