頭條・AI／機器學習
Claude Fable 5 正式發布：Mythos 等級首度公開，SWE-bench Pro 80.3% Claude Fable 5 Released: Mythos-Tier Model Goes Public, 80.3% on SWE-bench Pro
Anthropic 昨日（6/9）正式發布 Claude Fable 5，是 Mythos 級別模型首次對外開放；SWE-bench Pro 達 80.3%，遠超 GPT-5.5（58.6%）與 Gemini 3.1 Pro（54.2%）；定價 $10/M 輸入、$50/M 輸出，GitHub Copilot 方案免費試用至 6/22，Stripe 實測壓縮兩個月工程量為一天。
SWE-bench Pro 80.3%：超越 Opus 4.8（69.2%）、GPT-5.5（58.6%）、Gemini 3.1 Pro（54.2%） Stripe 案例：50 M 行 Ruby codebase 遷移，原需全隊兩個月，Fable 5 一天完成 定價 $10/M 輸入、$50/M 輸出（Mythos Preview 約一半）；GitHub Copilot 使用者免費用至 6/22 資料保留注意：Copilot 中的 Fable 5 需 Anthropic 保留最多 30 天提示詞供安全分類，企業用戶部署前需確認資料治理 頭條・科技／產品
WWDC 2026：Tim Cook 告別演講，Siri AI 整合 Google Gemini，iOS 27 全面支援 WWDC 2026: Tim Cook's Final Keynote, Siri AI Gets Google Gemini, iOS 27 Covers iPhone 11+
Apple WWDC 2026（6/8）核心發布：Siri 全面整合 Google Gemini（年費協議約 $10 億），升級為 Siri AI，可跨 app 即時取用個人資料；iOS 27 支援 iPhone 11 以上（史上最廣），App 啟動快 30%；Tim Cook 送出告別演講，9/1 由 John Ternus 接任 CEO；Siri AI 不在歐盟上線，未通過 DMA 審查。
Siri AI：Google Gemini + Apple Foundation Models 雙引擎，跨 app 即時感知 Messages／Mail／Photos 及當前螢幕 iOS 27：支援 iPhone 11+（不砍任何 iOS 26 裝置），照片載入快 70%、AirDrop 快 80%、App 啟動快 30% Tim Cook 告別：執行長任期 15 年（市值 20 倍成長），9/1 正式交棒給硬體工程 SVP John Ternus EU 排除：Siri AI 不在歐盟上線，原因是 DMA 互通性、隱私及安全審查未通過 頭條・程式開發
GitHub Copilot SDK 正式 GA：可嵌入自有 App，Fable 5 免費試用至 6/22 GitHub Copilot SDK Goes GA: Embed the Agent Engine in Your Own App, Fable 5 Free Through June 22
GitHub Copilot SDK 上週（6/2）正式 GA，開發者可將 Copilot 代理引擎嵌入自有 App；昨日 Claude Fable 5（SWE-bench Pro 80.3%）同步進駐 Copilot，Pro+ 以上方案免費用至 6/22，且 Fable 5 在相同工作下比前代 Opus 級模型消耗更少 tool call 與 token，適合長 Agent 工作流；但需注意 Anthropic 保留提示詞最多 30 天的資料政策。
Copilot SDK GA：穩定 API 支援，可將 Copilot 代理引擎嵌入自有 App、服務或開發工具 Fable 5 進 Copilot：SWE-bench Pro 80.3%，相同任務比前代更少 tool call 和 token 消耗 免費試用窗口：6/9–6/22（Pro+/Max/Business/Enterprise）；之後轉 premium credit 計費 資料政策：Fable 5 在 Copilot 中需 Anthropic 保留最多 30 天資料，企業環境需確認合規 頭條・股市財經
SPCX 今日截標：$150B 超額認購史上最大 IPO，週四定價週五開盤 SPCX Order Books Close Today: $150B in Demand 2× Oversubscribes Largest-Ever IPO, Pricing Thursday, Trading Friday
SpaceX 史上最大 IPO（目標集資 $75B）今日（週三）截止機構訂單；訂單量已達約 $150B，約兩倍超額認購，多機構各自下單逾 $100 億；$135/股固定定價，估值 $1.77 兆（超越 Tesla $1.6T）；週四定價確認，週五（6/12）以 SPCX 代碼在 Nasdaq 正式開盤；Morningstar 示警估值過高，Musk 保留 82%+ 投票控制。
$150B vs $75B：超額兩倍，多機構各下逾 $10B；30% 配額保留給散戶，部分平台延長申購 固定價格 IPO：$135/股、5.556 億股，估值 $1.77 兆，超越 Saudi Aramco $294 億成史上最大 IPO 時間線：今日（6/10 週三）截標 → 週四（6/11）定價 → 週五（6/12）Nasdaq SPCX 開盤 估值爭議：Morningstar 稱公允值不到 $1.77T 一半；Musk 保留 82%+ 投票權，投資人無法影響戰略決策 股市財經
Nasdaq 昨收跌 2%、S&P 跌 1%：AI 估值重估壓力持續，TSMC ADR 微跌 Nasdaq -2%, S&P -1% on June 9: AI Valuation Reset Continues, TSMC ADR Slightly Lower
美股昨日（6/9）延續 6/5 半導體賣壓的震盪：Nasdaq 100 跌約 2%、S&P 500 跌約 1%；AI 股估值重估壓力再現，費城半導體指數盤整；台積電 ADR（TSM）收小幅下跌，目前 TSMC 5 月月營收預計本日公布，若維持 Q2 成長軌跡，有助半導體股估值支撐。
6/9 收盤：Nasdaq 100 約跌 2%、S&P 500 約跌 1%，市場在 AI 估值合理性上持續拉鋸 費半盤整：6/5 重挫後隔日（6/8）大幅反彈，但 6/9 回吐部分漲幅，型態仍在震盪區間 TSMC ADR 微跌：TSM 在 AI 晶片需求敘事支撐下跌幅有限，目前估值 $1.89T 市值 今日催化劑：TSMC 5 月月營收預計今日公布，Q2 指引上限 US$40.2B，若達標有利半導體族群 推薦閱讀・AI 安全
Anthropic：AI 已將工程師產能放大 8 倍，呼籲建立全球可驗證暫停機制 Anthropic: AI Has 8× Engineering Productivity — And It's Calling for a Verifiable Global Pause Mechanism
Anthropic 研究院上月發表《When AI Builds Itself》，揭示 Claude 已負責超過 80% 程式碼提交、工程師每季產出量是 2024 年的 8 倍、AI 可靠完成任務的時域從 4 分鐘擴展至 12 小時；文件提出三種未來情境，並呼籲在所有頂尖 AI 實驗室同意的前提下建立「全球可驗證暫停機制」——這是 Anthropic 迄今最直白的公開安全立場聲明。
8× 工程師產能：Anthropic 工程師每季程式碼產出量是 2024 年的 8 倍，80%+ 程式碼提交由 Claude 撰寫 任務時域 180 倍成長：可靠完成任務從 4 分鐘（2024 年 3 月）到 12 小時（現在），約 18 個月內成長 180 倍 三個未來情境：（1）進展停滯但能力擴散（2）人類掌握方向 AI 負責執行（3）AI 完全自我改進，速度超出人類監控 政策建議：建立全球可驗證暫停機制（需所有頂尖實驗室同意）；注意：不是「現在就暫停」而是「建立可用的暫停能力」 推薦閱讀・工程實作
Simon Willison：用 MicroPython + WASM 在 Python 中建立無網路沙盒執行環境 Simon Willison: Running Untrusted Python in a MicroPython + WASM Sandbox from within Python
Simon Willison 上週發表的技術深度文章，記錄他為 Datasette Agent 建立程式碼沙盒的完整思考過程：為何排除 Pyodide、選用 MicroPython 編譯成 WASI WASM 再以 Wasmtime 執行、如何解決跨執行持久狀態的問題（背景執行緒 + request/reply 佇列）、以及如何以 78 行 C 程式碼實現宿主函數橋接；此方案可作為任何需要在伺服器端 Python App 中執行不受信任程式碼的通用參考。
問題核心：伺服器端 Python 沙盒難題——Pyodide 只能在瀏覽器/Node.js，不支援伺服器端 Python 技術選擇：MicroPython 編譯為 WASI WASM + Wasmtime 執行，利用數十年瀏覽器安全研究成果 持久狀態難題：WASM 天生一次性執行，Willison 以背景執行緒 + request/reply queue 解決跨呼叫持久狀態 宿主函數橋接：78 行自訂 C 模組讓沙盒程式碼可以受控方式呼叫宿主 Python 函數 推薦閱讀・科學與 AI
Nature：AI 正在改寫數學與物理的研究方法論，不是取代，是重塑提問方式 Nature: AI Is Reshaping How Maths and Physics Are Done — Not Replacing Intuition, but Reimagining Questions
Nature 本月刊出長文，調查 AI 工具如何在數學和理論物理的最前線改變研究方法：不是讓電腦「猜出答案」，而是改變問題被設定、探索和驗證的整個過程；訪談包含 Fields 獎得主在內的頂尖研究者，呈現 AI 既讓某些數學直覺「計算化」，又開啟了過去人工不可能探索的問題空間；與昨日深讀 Terry Tao 自動定理證明角度互補，這篇更廣泛審視 AI 在整個數理科學的方法論影響。
方法論改變：AI 不是「算出答案」，而是改變問題如何被設定、大規模探索假設空間、加速猜想到驗證的週期 物理應用：AI 在 string theory landscape、量子多體系統、高能物理數據分析等場景快速推進，人工難以企及的規模 數學應用：除自動定理證明（Lean 4）外，AI 還用於尋找反例、辨識數學結構中的模式、引導直覺 研究者的分歧：部分數學家認為 AI 使用讓數學失去「理解」的本質，另一群認為 AI 正在擴展可理解的問題範圍