頭條・AI／機器學習
Karpathy 加入 Anthropic 主導預訓練新團隊 Andrej Karpathy joins Anthropic to lead new pre-training research team
OpenAI 創辦成員 Andrej Karpathy 5 月 19 日宣布加入 Anthropic，在 Nick Joseph 旗下帶領新子團隊，核心工作是「以 Claude 加速預訓練研究」；Karpathy 橫跨 OpenAI、Tesla FSD、教育 AI 新創的跨域資歷，被視為 Anthropic 相信「以 AI 自身加速 AI 研究」能重塑前沿競爭格局的戰略信號。
加入角色：在 pre-training 負責人 Nick Joseph 旗下帶領新子團隊，任務是以 Claude 加速大規模預訓練研究，而非只仰賴傳統算力擴充。 Karpathy 的路徑：OpenAI 創辦成員（2015）→ Tesla FSD/Autopilot 負責人（2017-2022）→ 重返 OpenAI（2023-2024）→ Eureka Labs 教育 AI 新創→ Anthropic（2026 年 5 月）。 Karpathy 聲明：「未來幾年在 LLM 前沿將是格外關鍵的時期，我非常期待在這裡回歸研究工作，同時仍會持續推進教育計畫。」 戰略意涵：此次轉移被視為 Anthropic 的高調補強，顯示前沿 AI 競爭的下一回合重點將是「以模型研究模型」，而非單純的算力比拚。 頭條・科技／產品
ChatGPT Pro 串接 12,000 家銀行，個人財務功能上線 ChatGPT Pro connects to 12,000+ banks with personal finance dashboard
OpenAI 5 月 15 日讓美國 ChatGPT Pro 用戶可透過 Plaid 連結 12,000 家以上金融機構，查看帳戶餘額、支出、訂閱服務和即將到期帳單，並以自然語言提問；此功能讓 ChatGPT 首次跨入個人財務管理領域，Intuit 整合即將到來，未來將開放 Plus 用戶。
功能概覽：連結 Chase、Fidelity、Schwab、Robinhood、AmEx、Capital One 等逾 12,000 家機構，可查看餘額、交易記錄、投資組合、負債、訂閱清單和即將到期付款。 個人情境設定：用戶可告知 ChatGPT 房貸、儲蓄目標或重大採購計畫，讓 AI 在回答財務問題時納入個人情境，而非僅讀取帳戶數字。 隱私邊界：ChatGPT 無法看到完整帳號、無法執行任何帳戶操作；連結流程透過 Plaid，符合開放銀行標準。 擴展路線：OpenAI 表示將從早期用戶的使用模式學習後，依序開放 Plus 和普通用戶；Intuit（QuickBooks/TurboTax）整合已確認即將推出。 頭條・程式開發
TypeScript 7.0 Beta：Go 重寫編譯器，速度提升 10 倍 TypeScript 7.0 Beta: complete Go rewrite of the compiler, 10x faster builds
Microsoft 4 月 21 日發布 TypeScript 7.0 Beta，核心是以 Go 語言全面重寫的原生編譯器（代號 Project Corsa），本地測試比 TypeScript 6.0（3 月 23 日發布的最後 JavaScript-based 版本）快約 10 倍；strict 模式預設開啟、ES5 target 移除、AMD/UMD/SystemJS 不再支援，穩定版預計 2026 年中到來。
效能飛躍：Go 原生編譯器透過 --checkers（預設 4 個並行 type-checking worker）和 --builders 旗標實現平行化；VS Code 測試顯示 TypeScript 服務的回應速度大幅提升，大型 monorepo 體感最明顯。 安裝方式：npm install -D @typescript/native-preview@beta，VS Code 須另裝 TypeScript Native Preview 擴充功能以獲完整編輯器支援（auto-imports、hover、inlay hints 皆已對等）。 破壞性變更：strict 預設 true、module 預設 esnext、ES5 target 移除、outFile 移除、AMD/UMD/SystemJS/classic module resolution 移除；JSDoc 支援簡化（@enum、Closure 語法不再識別）。 遷移策略：TypeScript 6.0（3 月）作為橋接版本，讓既有專案可以先升至 6.0 並修正 strict 問題，再在稳定版到來後遷移至 7.0；TypeScript 官方明確表示 7.0 不是從頭重寫邏輯，型別檢查行為與 6.0 在結構上完全一致。 程式開發
Datasette Agent：自然語言查詢 SQLite 的 AI 開源插件 Datasette Agent: open-source AI plugin for natural language SQLite queries
Simon Willison 5 月 21 日發布 Datasette Agent 首個 alpha 版，讓使用者以自然語言問問題，AI 自動呼叫 SQLite 工具完成資料查詢；支援 OpenAI、Anthropic、Google Gemini 及本機開源模型（Gemma 4 等），附 Observable Plot 圖表生成插件，Demo 已在 agent.datasette.io 上線。
運作方式：使用者以自然語言提問 → 模型呼叫 Datasette 內建工具（如 execute_sql）生成並執行查詢 → 回傳自然語言答案，無需手動撰寫 SQL。 模型支援：透過 LLM 工具呼叫（tool calling）架構，支援百種模型；Demo 使用 Gemini 3.1 Flash-Lite，本機私有部署可接 LM Studio 中的 Gemma 4-26B 等模型。 插件擴充：datasette-agent-charts 插件以 Observable Plot 生成即時圖表；影像生成、自訂工具等可透過插件架構擴充，整體設計向 Datasette Cloud 演進中。 來源與開放度：Simon Willison 是 Django 共同創辦人、simonwillison.net 作者，Datasette 是他長期維護的開源 SQLite 資料瀏覽工具；Alpha 版 MIT 授權，歡迎貢獻。 頭條・股市財經
道指 50,724 創歷史新高；台積電 NT$2,235，外資連五日賣超 Dow hits all-time high 50,724; TSMC at NT$2,235 as foreign investors sell for fifth straight day
美東時間 5 月 22 日（週五），道瓊指數收盤 50,723.95（歷史新高，+294 點），S&P 500 +0.37%，科技（+1.02%）和醫療板塊（+1.19%）領漲，美伊核談判進展延續利多；台積電（2330.TW）收 NT$2,235，外資本週連續五個交易日淨賣超，累計規模擴大；美股週一（5 月 25 日）因紀念日休市，下週週二才恢復交易。
美股週五收盤：道瓊 50,723.95（新 ATH，+294 點），Nasdaq 收 26,343.97（+0.19%），S&P 500 +0.37%；板塊中唯通訊服務（-0.54%）收黑，科技（+1.02%）和醫療保健（+1.19%）領先。 驅動因素：美伊核談判「最終階段」消息延續上週利多，油價維持 100 美元以下；科技股獲益於 Google I/O 代理開發熱潮的估值重估，AI 基礎設施邏輯持續強化。 台積電：2330.TW 收 NT$2,235，ADR（TSM）收 $407.15；外資今日繼續淨賣超，本週累計逾五萬張——分析師認為屬高位獲利了結，機構目標價仍在 NT$2,450–2,875 區間。 下週注意事項：週一（5 月 25 日）美國紀念日休市；週二（5 月 26 日）美股恢復交易，市場關注美伊協議最終進展及 Fed 官員發言。 頭條・資安
Microsoft Defender 兩個零時差漏洞遭野外利用，須 6/3 前修補 Two Microsoft Defender zero-days exploited in the wild; patch deadline June 3
CISA 5 月 20 日將 Microsoft Defender 的 CVE-2026-41091（本地提權，CVSS 7.8，可取得 SYSTEM 權限）和 CVE-2026-45498（阻斷服務，CVSS 4.0，可讓 Defender 停止運作）列入已知遭利用漏洞目錄；修補版本（Malware Protection Engine 1.1.26040.8 / 4.18.26040.7）已釋出，美國聯邦機構須於 6 月 3 日前完成更新。
CVE-2026-41091（CVSS 7.8）：本地提權（LPE）漏洞，Microsoft Malware Protection Engine 在存取檔案前不當解析符號連結，成功利用後攻擊者可取得 SYSTEM 最高權限。 CVE-2026-45498（CVSS 4.0）：阻斷服務漏洞，可讓 Microsoft Defender 進入停止偵測狀態，為後續攻擊鏈創造窗口；CVSS 分數雖較低，但與 CVE-2026-41091 組合使用時危險性倍增。 修補方式：Microsoft Defender Antimalware Platform 更新版本 1.1.26040.8（對應 CVE-2026-41091）和 4.18.26040.7（對應 CVE-2026-45498）；Windows Update 會自動推送，企業環境需確認端點管理工具（Intune/WSUS/SCCM）已完成分發。 CISA 要求：美國 FCEB 機構須於 2026 年 6 月 3 日前完成修補；一般企業雖無強制期限，但漏洞已在野外被積極利用，建議優先處理，不要等下週期例行修補。 頭條・太空
Starship V3 首飛成功：引擎熄火仍完成主要任務目標 Starship V3 inaugural flight succeeds: engine dropout but primary objectives met
SpaceX 5 月 22 日（台北時間 5 月 23 日凌晨）完成 Starship 第 12 次測試飛行，V3 新型號（Ship 39）首次升空，飛行中雖有一具引擎熄火，剩餘五具引擎補償後達成主要目標：22 枚模擬 Starlink 衛星開始部署、酬載艙門正常開啟、太空中引擎重啟驗證成功；Super Heavy 助推器此次未做接駁捕獲，落入墨西哥灣。
V3 的規格升級：高度 408 英尺（滿堆，比 V2 略高），Raptor 3 引擎搭配全新燃料系統，整體推力達 1,800 萬磅，是目前人類造過最強大的火箭之一。 飛行狀況：Ship 39 上層火箭的六具引擎中有一具在升空後熄火（「dropout」），剩餘五具引擎延長燃燒補償推力，仍維持在「可接受軌道」內完成入軌前的亞軌道彈道。 任務里程碑：22 枚模擬 Starlink 衛星（包含 2 枚特殊版，用於拍攝熱護盾飛行影像）開始部署程序；酬載艙門開啟成功；太空中 Raptor 引擎重啟（用於軌道調整）驗證成功。 助推器狀況：Super Heavy（Booster 19）此次未嘗試接駁臂捕獲（catch），在分離後約 7 分鐘受控入海，落點為墨西哥灣——SpaceX 表示是刻意選擇，為 V3 首飛降低風險。 頭條・臺灣本地
美暫停 $140 億台灣軍售，以伊朗戰事彈藥需求為由 US pauses $14B Taiwan arms sale, citing Iran war munitions needs
美國代理海軍部長洪高（Hung Cao）5 月 19 日在參議院聽證揭露，因應伊朗戰事「Epic Fury」的彈藥儲備需求，暫停今年 1 月已獲國會批准的 $140 億對台軍售；台灣總統府表示未獲美方通知，行政院強調將持續推進採購；分析師指出川普曾暗示此案可作對中談判籌碼。
軍售規模：$140 億美元，為史上最大規模對台軍售之一，國會今年 1 月批准，但仍需川普簽署才能執行；洪高表示暫停是為了「確保 Epic Fury 伊朗軍事行動有足夠彈藥」。 台灣回應：總統府發言人柯彤（Karen Kuo）表示「未獲美方任何調整通知」，目前以媒體報導掌握信息；行政院長表示將持續與美方溝通並推進採購。 川普因素：據報川普在與習近平的最近一輪談話中，暗示可能將此台灣軍售案作為對中談判籌碼，讓本案前景更添不確定性；此舉若成真將是對《台灣關係法》精神的重大偏離。 伊朗戰事背景：美伊停火協議自 4 月 8 日起生效，但永久和平協議仍未簽署，「彈藥優先保留」的邏輯顯示美軍認為重燃衝突的可能性仍未排除。 推薦閱讀・AI 工程總覽
Simon Willison：代理工具如何在半年內跨越每日可用門檻 Simon Willison: How coding agents crossed the daily-driver threshold in six months
Simon Willison 在 PyCon US 2026 的五分鐘閃電演講及配套部落格文章，濃縮了 2025 年 11 月至 2026 年 5 月的六個月 LLM 生態演進：代理工具達到「每天可用」成熟度、模型領先地位五度易手、開源模型超出預期、Mac Mini 被大量搶購用來跑本地代理，是工程師快速掌握 2026 上半年 AI 全景的高效切入點。
核心判準：coding agent 的成熟標誌是「從常常可用（often-work）到大多數時間可用（mostly-work）」——不再需要花大半時間修正代理的錯誤，可以真正作為日常主力工具。 模型競爭白熱化：2025 年 11 月至 2026 年 2 月，「最強模型」桂冠在 Anthropic、OpenAI 和 Google 之間五度易手，競爭烈度前所未有，最終以 Claude Opus 4.5 暫時領先進入 2026 年初。 開源模型超出預期：Qwen、GLM、Gemma 4 等開源或開放權重模型在特定任務上超越了比它們大得多的商業旗艦模型，本地運行大型模型的需求推動 Mac Mini 在多地區出現缺貨。 OpenClaw 現象：2025 年 11 月誕生的一個 AI 爪機計畫成為文化現象，衍生出整個「Claw 個人 AI 助理」品類，是代理 AI 從技術實驗走向主流文化的指標性事件。 推薦閱讀・密碼學
Quanta：MIT 博士生借 Gödel 定理創出無需互動的零知識證明 Quanta: MIT grad student uses Gödel's incompleteness to build non-interactive zero-knowledge proofs
MIT 博士生 Rahul Ilango 把哥德爾不完備定理和零知識證明連結起來，以「難以被證明的數學命題」作為密碼地基，建構出無需互動的有效零知識證明，突破了 Goldreich-Oren 30 年前的不可能性定理；此進展不只是純學術突破，更為安全通訊和密碼學協議開創了一條全新的數學路徑。
零知識證明的困境：傳統零知識證明需要互動（prover 和 verifier 來回通訊），而 Goldreich-Oren 在 1994 年證明「無需互動的零知識證明（NIZK）在標準假設下不可能存在」，困住了密碼學社群 30 年。 Ilango 的突破：透過「證明複雜性（proof complexity）」這個研究子領域，發現哥德爾式的「不可被證明的命題」可以作為 NIZK 的密碼基礎——「數學上難以被證明的事實」和「密碼學上難以被破解的秘密」有深層的結構性連結。 技術意涵：Ilango 的方案在某些假設下突破 Goldreich-Oren 定理的限制，讓「有效零知識證明不需要驗證者在場」成為可能；這對去中心化系統（如 blockchain 上的 ZK-SNARKs）有長期的理論支撐意義。 研究者的評價：MIT 密碼學家 Amit Sahai 說：「這是一個非常酷的新方向」；論文同時入選 2026 年 FOCS（理論電腦科學基礎頂會），代表同行評審已驗證其嚴謹性。