頭條・AI／機器學習
Google I/O 2026: Gemini Spark personal agent beta and Omni world model debut alongside Flash 3.5 price cut
Google 5 月 19 日舉辦 I/O 大會，發布 Gemini Spark 個人 AI 代理（Beta），可在背景自主執行行程管理、訂票、郵件回覆等多步驟任務；Omni 世界模型首次公開展示，針對空間推理和機器人應用；Gemini 3.5 Flash API 成本砍逾五成，多步驟推理開放給非 Pro 用戶，Google 全面回應 OpenAI 與 Anthropic 的代理工作流策略。
- Gemini Spark（個人代理 Beta）：Android 和 Pixel 裝置首發，自然語言授權後可後台自主執行多步驟任務——行程管理、訂票、郵件回覆、線上購物。
- Omni 世界模型：理解跨場景空間關係與物體行為的多模態模型，定位為機器人控制、AR 應用與影片生成的底層推理引擎。
- Gemini 3.5 Flash 降價：API 每百萬 token 成本降逾 50%；多步驟推理能力（原 Pro 限定）同步開放 Flash 用戶。
- Google Ultra 訂閱：整合最高 Gemini Pro 存取、全套 Workspace AI 整合與完整 Spark 代理功能的高端套餐，針對專業消費者市場。
AI／機器學習
Anthropic run-rate revenue tops $30B; signs multi-gigawatt TPU deal with Google and Broadcom
Anthropic 4 月 6 日宣布與 Google 和 Broadcom 簽訂算力擴充協議，鎖定數 GW 次世代 TPU 產能、2027 年起上線；同步披露年化營收已突破 300 億美元（年初約 90 億），年消費逾百萬美元的企業客戶超過 1,000 家並持續翻倍，算力擴充計畫以內部現金流自籌，顯示公司財務已進入自我強化階段。
- 算力規模：與 Google Cloud 及 Broadcom 合作鎖定「數 GW」次世代 TPU 容量，2027 年起上線；基礎設施主要落地美國，建立在 2025 年 11 月承諾的 500 億美元美國 AI 基礎建設投資之上。
- 營收里程碑：年化營收（run-rate）突破 300 億美元，2025 年底約 90 億美元，四個月成長逾 3 倍；增速背後是代理任務的高 token 消耗（每次代理任務可達普通對話的 10–50 倍）。
- 企業客群翻倍：年消費超 100 萬美元的大型企業客戶突破 1,000 家（2026 年 2 月為 500+ 家），數月內翻倍成長。
- 多平台策略：Claude 同時部署於 AWS Trainium、Google TPU 和 NVIDIA GPU，依工作負載效率分配，確保服務韌性並防止單一供應商鎖定。
頭條・科技／產品
iOS 27 opens AI layer: Claude, Gemini, and ChatGPT can replace Siri for system-level features
彭博社 5 月 5 日報導，Apple 計畫在 iOS 27（WWDC，6 月 8 日揭幕）推出「Extensions」框架，允許用戶以 Anthropic Claude、Google Gemini 或 OpenAI ChatGPT 取代 Siri 驅動 Writing Tools、Image Playground 等系統層 AI 功能；用戶可在設定中逐功能指定 AI 供應商，第三方模型可使用有別於 Siri 的獨立語音，標誌 Apple 從封閉的 Apple Intelligence 轉向開放 AI 平台策略。
- 「Extensions」框架：iOS 27、iPadOS 27、macOS 27 同步推出，系統層 AI 功能（Writing Tools、Image Playground、Siri 任務執行）開放第三方模型替換。
- 三大供應商：確認測試中的有 OpenAI（ChatGPT）、Google（Gemini）、Anthropic（Claude）；用戶在設定中按功能分別指定，非全局切換。
- 語音差異化：第三方模型可採用獨立語音而非 Apple Siri 聲音，代表 AI 供應商在 iOS 裝置上有更強的品牌存在感。
- 戰略背景：Apple Intelligence 在 Siri 升級上的進度延遲引發批評，開放第三方被視為讓競爭對手填補自家能力缺口的策略退場門。
頭條・程式開發
Node.js 26 released: Temporal API enabled by default, Undici 8 built-in, V8 14.6 engine upgrade
Node.js 26 於 5 月 5 日正式發布，是 2026 年 Current 版本（10 月轉 LTS）；核心變更包括 Temporal API 全域預設啟用（不再需要實驗性旗標）、Undici 8 成為內建 HTTP 用戶端（驅動 fetch）、V8 引擎升級至 14.6、引入 Map.prototype.getOrInsert() 等新語言特性，並正式移除多項長期棄用的舊 API——對 Node.js 16/18 的遷移專案需特別注意破壞性變更。
- Temporal API 全面啟用：TC39 現代日期時間標準不再需要旗標，開發者可在生產環境直接使用 Temporal.PlainDate、ZonedDateTime、Duration，告別 moment.js 和各種 Date 補丁。
- Undici 8：內建 HTTP 用戶端全面翻新，連線池管理更智能、串流記憶體效率提升、Header 解析加速，高並發代理或 API 閘道場景效能改善明顯。
- Map.prototype.getOrInsert()：TC39 Upsert Proposal 實作，一行搞定「不存在則插入並返回新值」的常見模式，取代冗長的 if (!map.has()) 邏輯。
- Legacy API 清除：多項長期 deprecated API 正式移除，從 Node.js 16/18 遷移的專案升級前務必對照官方遷移指南。
程式開發
Bun v1.3.13: major test parallelism upgrades, founder uses AI to drive million-line Zig-to-Rust rewrite
Bun v1.3.13 於 5 月 13 日發布，修復 82 個問題，bun test 新增 --parallel、--shard、--changed 等旗標讓大型 CI 測試套件大幅加速，安裝器記憶體消耗降至原來的 1/17；同期創辦人 Jarred Sumner 宣布以 Claude Code 輔助，正在將 Bun 從 Zig 遷移至 Rust，初步展示在六天內完成約 96 萬行的語言重寫，Linux x64 測試通過率達 99.8%。
- bun test 新旗標：--parallel（跨 CPU 並行執行）、--shard（CI 分片，如 --shard=1/4）、--changed（只跑變更相關測試）、--isolate（進程級隔離），大型 monorepo 的 CI 時間可從分鐘壓縮至秒級。
- 記憶體優化：bun install 改用串流 tarball 解壓，峰值記憶體降至原來的 1/17；source map 記憶體使用降 8 倍；zlib-ng 整合讓 gzip 速度快 5.5 倍。
- Zig→Rust 重寫：以 Claude Code 輔助執行大規模語言遷移，初步結果為六天內重寫約 96 萬行程式碼，Linux x64 測試通過率 99.8%；Zig 工具鏈成熟度不足是主因。
- 影響展望：Rust 重寫完成後，預期在 Windows 跨平台相容性和程式碼長期可維護性上大幅改善，也是 AI 輔助系統級大規模重寫的概念驗證。
頭條・股市財經
NVIDIA Q1 FY2026 earnings today: $67.4B revenue expected, $6 trillion market cap within reach
NVIDIA 將於 5 月 20 日收盤後公布 2026 財年第一季財報，市場預期 EPS $1.51、營收 673.8 億美元（年增約 65%），Morgan Stanley 本週上調目標價至 285 美元，預測資料中心算力市場 2026–2027 財年潛在營收達 1 兆美元；投資人聚焦 Blackwell 超級叢集出貨節奏、H20 對中出口禁令影響，以及 NVIDIA 是否成為繼 Apple 和微軟後第三個達到 6 兆美元市值的企業。
- 市場預期：Q1 FY2026 EPS $1.51、營收 673.8 億美元（年增約 65%）；資料中心業務預期貢獻約 600 億美元，是總營收的主要驅動力。
- Morgan Stanley 目標價 $285：基於 2026–2027 財年資料中心算力市場潛在營收 1 兆美元的預測，並計入 Blackwell Ultra 和 Vera Rubin 架構的下一代產品週期。
- 6 兆美元俱樂部：截至 5 月 19 日，NVIDIA 市值約 5.4 兆美元；若財報優於預期並帶動股價 10–15% 上漲，將成為繼 Apple（7.1T）和微軟（3.8T）後第三個達到 6 兆美元的企業。
- 關鍵風險：H20 晶片對中出口限制（4 月宣布）估計影響 Q1 約 45 億美元認列損失；Blackwell 超級叢集交付節奏和良率是供給端主要觀察指標。
頭條・臺灣本地
MediaTek's NT$5T market cap triggers Taiwan exchange trading restrictions; lawmakers protest, FSC promises rule review
聯發科因 AI ASIC 業務高速成長、宣布目標年營收 20 億美元，股價急漲使市值突破新台幣 5 兆元（約 1,650 億美元）；台灣證券交易所隨即依現行規則限制交易，引發立委強烈批評，認為不應把主板大型績優股與投機股同等對待；金管會承諾一個月內檢討交易限制規則，5 月 19 日 Digitimes 確認聯發科已取代台積電外的其他公司成為台股第二大市值。
- 事件起點：聯發科宣布大規模布局 AI ASIC（特定應用積體電路），目標 2026 年從該業務獲得高達 20 億美元的年營收，帶動股價急漲、市值突破 5 兆新台幣。
- 台交所限制交易：依現行規則，個股漲跌幅達到特定閾值時自動觸發交易冷卻機制，市場人士批評此規則設計本為抑制投機，不適用於基本面驅動的大型藍籌股。
- 立委砲轟：多位立委公開批評台交所「把績優股當投機股對待」，要求金管會緊急修改規則或給予大型市值股票豁免。
- FSC 回應：金融監督管理委員會承諾在一個月內完成交易規則檢討，考慮對特定市值以上的大型股設置差異化標準或豁免條款。
臺灣本地
Lam Research to hire 1,000+ engineers in Taiwan in 2026 as AI chip equipment demand surges
全球半導體設備龍頭 Lam Research 宣布 2026 年在台灣新增逾 1,000 名工程師職缺，以支援台積電等晶圓廠快速擴產所帶來的設備安裝、維護和研發需求；此舉反映 AI 晶片需求推動的設備超級週期正在台灣形成，外商設備廠不再只是出貨，而是把更多研發和高階技術職能落地台灣。
- 招募規模：Lam Research 確認 2026 年在台灣增聘超過 1,000 名工程師，涵蓋設備安裝維護、製程整合工程、軟體和演算法開發等職能。
- 背景：台積電 CoWoS 先進封裝擴產（年增 80%+）和 N2 製程量產，帶動蝕刻、沉積、清洗等關鍵設備的安裝和維護需求急速上升。
- 設備廠落地趨勢：Applied Materials、ASML、KLA 等主要設備廠也在台灣擴編，外商設備廠正把原本只在美日荷設立的研發職能移植至台灣，以貼近客戶並縮短技術支援循環。
- 就業市場影響：AI 晶片設備工程師需求強勁，半導體設備相關職缺薪資水準持續上升，台灣工程人才市場的競爭從晶圓廠延伸至設備廠生態系。
推薦閱讀・AI 工程
Simon Willison: The last six months in LLMs in five minutes — PyCon US 2026 lightning talk notes
Simon Willison 5 月 19 日整理了他在 PyCon US 2026 閃電演講的投影片與評注，回顧 2025 年 11 月至 2026 年 5 月的 LLM 發展：模型王座在六個月內易主五次、程式碼代理進入可靠生產環境、本地開源模型能力超出多數人預期、OpenClaw 個人助理熱潮引爆 Mac Mini 缺貨、以及 Willison 自己的「LLM 心理失調」聖誕假期構建紀錄。這是一篇輕快、誠實、帶著第一手觀察的 AI 發展速記。
- 模型王座六個月易主五次：Claude Sonnet 4.5 → GPT-5.1 → Gemini 3 → GPT-5.1 Codex Max → Claude Opus 4.5，沒有任何一個模型能夠維持超過幾週的「最佳」地位。
- 程式碼代理跨越可靠性門檻：透過可驗證獎勵的強化學習，OpenAI 和 Anthropic 的程式碼代理從「有時候能用」進入「大多時候能用」——Willison 描述這是可以每天依賴的狀態。
- 本地模型讓人驚喜：Qwen3.6-35B-A3B（20.9GB，可在筆電上跑）在部分創意任務上超越 Claude Opus 4.7；GLM-5.1（1.5TB 中國模型）的 SVG 生成「CRUISING THE COMMONWEALTH SINCE DUSK」讓他印象深刻。
- OpenClaw 現象：個人 AI 助理的開源運動席捲矽谷，Mac Mini 在該地區出現缺貨；Willison 的「小小 JavaScript 套娃」（Python 跑 Pyodide 跑 WASM 跑 JS 跑在瀏覽器裡）承認毫無實際用途但仍令他著迷。
推薦閱讀・數學哲學
Quanta Magazine: What do Gödel's Incompleteness Theorems truly mean? The limits of mathematics, physics, and the necessity of creativity
Quanta Magazine 5 月 18 日刊出 Natalie Wolchover 的深度長文，邀集邏輯學家、數學家、哲學家和物理學家，重新審視哥德爾 1931 年不完備定理的真正意涵——不只是「數學有無法證明的真命題」，而是它如何影響我們對物理統一理論的可能性、邏輯表達力與可證性的張力，以及數學進步是否需要超越機械推導的「創造性概念創新」。對每天在確定性系統（程式碼、邏輯、演算法）中工作的工程師，這是一篇改變認知框架的長讀。
- 核心結論：沒有任何有限公理集合能夠完備——總有無法從這組公理推導出來的數學真命題；這推翻了希爾伯特「數學可以完全形式化」的綱領。
- 連續統假設：Paul Cohen（1963）證明連續統假設在標準公理下不可判定——你可以選擇任何一種答案而不造成矛盾，這是不完備性在數學實踐中的具體體現。
- 物理學的隱憂（Claus Kiefer）：廣義相對論和量子場論都依賴連續時空，若統一理論也需要連續時空，而連續統假設的不可判定性滲入其中，物理學的終極理論可能在數學上無法完備。
- 哥德爾本人的樂觀：哥德爾不像他的名聲那樣悲觀——他相信不完備性在更大的公理系統中可以逐步克服，每個更強的系統可以判定更多在舊系統中無法判定的命題。