頭條・AI／機器學習
GPT-5.5 進駐 Microsoft Foundry GA：企業 Agentic AI 正式上線，每百萬輸入 $5 GPT-5.5 Reaches GA in Microsoft Foundry: Enterprise Agentic AI Live at $5/M Input Tokens
OpenAI GPT-5.5 本週在 Microsoft Azure Foundry 達到全面可用（GA），搭配新 Foundry Agent Service，企業可在隔離沙盒部署具備獨立 Entra 身份、持久檔案系統的 AI 代理；定價 $5/M 輸入、$30/M 輸出，比前代更精確且省 token，企業級 Agentic 工作流正式走出實驗室。
Foundry Agent Service：單一指令部署代理，獨立 Microsoft Entra 身份 + 持久檔案系統 + 縮到零計費，符合企業合規 定價：標準版 $5/M 輸入、$30/M 輸出；Pro 版 $30/M 輸入、$180/M 輸出，token 效率優於前代 能力重點：長上下文推理、更可靠的多步驟 Agentic 執行、電腦操作精準度提升 生態整合：Copilot Studio、Power Platform、Azure AI Foundry 底層模型同步升級至 GPT-5.5 頭條・科技／產品
Gemini Omni Flash 上線：任意多模態輸入組合生成 10 秒同步音影，SynthID 浮水印內建 Gemini Omni Flash Live: Generate 10-Second Synchronized Video+Audio from Any Multimodal Input
Google 在 I/O 2026（5 月 19 日）發布 Gemini Omni Flash，可從文字、圖像、音訊、影片的任意組合輸入生成約 10 秒短影片並同步配音；已在 Gemini App、Google Flow、YouTube Shorts Remix 正式上線，所有生成影片強制內嵌 SynthID 數位浮水印，是目前主流平台中覆蓋最廣的 AI 影片生成工具。
多模態輸入：文字、圖像、音訊、影片可任意組合作為提示，模型跨模態推理生成一致輸出 產出：約 10 秒短影片 + 同步音軌，適合 YouTube Shorts 快速創作、廣告草稿、創意發想 平台覆蓋：Gemini App、Google Flow、YouTube Shorts Remix、YouTube Create 同步上線，觸及 Google 全系產品 SynthID：所有生成內容強制嵌入 Google 的不可見數位浮水印，可用工具驗證 AI 生成來源 頭條・程式開發
TypeScript 7.0 Beta 發布：tsgo Go 語言重寫，VS Code 1.5M 行從 78 秒縮至 7.5 秒 TypeScript 7.0 Beta Ships: tsgo Go-Based Compiler Cuts VS Code's 1.5M-Line Compile from 78s to 7.5s
Microsoft 本月發布 TypeScript 7.0 Beta，將編譯器從 TypeScript 自身重寫為 Go（Project Corsa），結合原生編譯速度與共享記憶體平行化，帶來約 10 倍提速；VS Code 1.5M 行程式碼庫 tsc 需 78 秒、tsgo 只需 7.5 秒；型別語義與 TypeScript 6.0 完全一致，穩定版預計六月底至七月初。
Go 重寫：編譯器不再自舉（TypeScript 編譯 TypeScript），改用 Go 原生執行 + goroutine 平行化，10x 提速 實測：VS Code 1.5M 行 → tsc 78s、tsgo 7.5s；--checkers / --builders 旗標可調配平行度 型別系統一致：tsgo 行為與 TypeScript 6.0 tsc 完全吻合，十年測試套件驗證；安裝試用：@typescript/native-preview Breaking changes：強制 strict 模式、移除 ES5 targeting；有舊有設定的專案遷移前需先確認影響範圍 頭條・股市財經
費半昨日反彈 5%、Nasdaq +1.1%：伊朗停火消息帶動科技股全面從 6/5 大跌中回血 Philly Semiconductor +5%, Nasdaq +1.1% Yesterday: Iran Ceasefire Reports Trigger Full Tech Rebound from June 5 Selloff
受伊朗暫停對以色列軍事行動的消息帶動，美股昨日（6/8）科技股強力反彈：Nasdaq 收漲 1.1%（25,988），費城半導體指數反彈 5%；個股表現：Micron +9.53%、AMD +3.28%、Broadcom +3.78%、台積電 ADR +2.61%、NVIDIA +2.43%，大半抹去上週五 Broadcom 財測衝擊所觸發的跌幅。
費半+5%：上週五（6/5）Broadcom 財測引發費半單日跌 10%（2020 年 3 月以來最大），昨日大半收回 個股最強：Micron +9.53%（超賣急彈），AMD +3.28%，Broadcom +3.78%，ASML +4.95% 台積電 ADR +2.61%、NVIDIA +2.43%，S&P 500 +0.5%（7,420）；道瓊微跌 0.1%，漲幅呈科技傾斜 催化劑：伊朗傳出暫停針對以色列軍事行動，消除本週最大地緣政治不確定性 頭條・科學研究
記憶能被「吃掉」轉移？哈佛實驗確認 1960 年代扁蟲謎題，神經科學懸案重啟 Can Memories Be 'Eaten' and Transferred? Harvard Confirms 1960s Planarian Mystery, Reopening a Neuroscience Cold Case
哈佛神經科學家 Sam Gershman 實驗室，以更嚴謹的現代方法重做 1960 年代 James McConnell 的爭議實驗：訓練扁蟲後磨碎餵食給未訓練扁蟲，後者確實習得前者的學習行為；Quanta Magazine 詳述這個橫跨六十年的懸案如何被重新打開並獲確認，並探討其對「記憶儲存在突觸結構」主流假說的衝擊。
1960 年代謎題：McConnell 訓練扁蟲後磨碎餵食給未訓練扁蟲，後者習得記憶——當時遭科學界質疑方法論 哈佛重現：研究助理 Zachary Kelso 以盲化評估、改善控制組再做實驗，記憶轉移效應再次獲確認 理論衝擊：挑戰「記憶儲存於突觸結構性變化（LTP）」的主流假設，暗示某些記憶可能以可轉移的化學編碼存在 Quanta 長文追蹤 Kelso 研究歷程，還原六十年神經科學懸案如何在現代方法論下被重新嚴肅看待 推薦閱讀・數學與 AI
Terry Tao 如何成為 AI 數學佈道者：自動定理機器正在改寫數學的協作規模 How Terry Tao Became an Evangelist for AI in Math: The Proof Machine Is Transforming Mathematical Collaboration
Quanta Magazine 今日刊出《The Proof in the Code》書摘，詳述 Fields 獎得主 Terry Tao 如何從觀望者轉為積極倡議者——他親身參與 Equational Theories Project 後發現，自動化定理證明器讓數學可以「拆成小塊、逐步驗證、再拼合」，還意外挖掘出全新數學結果；他預期未來數學家將與數百人協作，由電腦而非人工同行評審驗證每一個推導步驟。
Tao 的轉變：親身參與 Equational Theories Project 後，從 AI 懷疑者轉為積極倡議機器輔助數學的推動者 意外的發現：計畫原為展示方法論，過程中自動化工具意外「挖掘出」人類事先不知道的全新數學結果 協作革命：Tao 預期未來數學家可與數百人協作，由電腦驗證每個推導步驟，可靠性由形式系統保證而非人工審稿 工程師的連結：AI 協助形式化數學的技術，與協助形式化軟體規格的方向相通——這不只是數學界的故事 推薦閱讀・職涯與產業
Pragmatic Engineer：2026 軟工職市全景報告——AI 技能需求暴增、大廠招募大分化 Pragmatic Engineer: 2026 Software Engineering Job Market Report — AI Skills Surge, Big Tech Hiring Sharply Diverges
Gergely Orosz 與勞動市場分析師 Jessica Salmon 合著的年度報告顯示：AI/ML 工程師職缺年增 50–100%、42% 的 JD 提及 AI 技能（2022 年僅 8%）、具 AI 技能的資深工程師被錄用速度快 2.3 倍；Google 職缺年增 62%、Apple 穩健，Meta 與 TikTok 大幅縮減；SpaceX 進入工程師招募前 20 大，是近年最值得關注的結構性訊號。
AI 技能溢價：AI/ML 職缺 +50–100% YoY，具 AI 技能的資深工程師錄取速度 2.3× 加快，不再是加分項而是基礎門檻 總量仍低於 2021 高點：美國、英國小幅回升；加拿大持平；德法下滑；傳統 SWE 職缺結構性壓力仍在 大廠分化：Google +62%（AI 基礎設施擴編）、Apple 穩健；Meta、TikTok 大幅縮減 新進前 20：SpaceX、Tesla、Cadence（EDA）、HPE、Accenture——工程職缺向硬體相關軟體與諮詢領域擴散 推薦閱讀・財經深度
Bloomberg 深度解析：SpaceX 史上最大 IPO 的估值邏輯與 2030 年 AI 大夢 Bloomberg Deep Dive: The Valuation Logic and AI Moonshot Behind SpaceX's Record-Breaking IPO
Bloomberg 以互動圖表深度解析 SpaceX $1.77 兆估值的財務邏輯：Goldman Sachs 預測 2030 年總收入 $474B，其中 AI 相關收入佔最大份額（$322B）；Starlink 是現有實際獲利引擎，但估值核心假設是「Starship 商業化 + 太空 AI 基礎設施」；文章比較歷史大型 IPO，提供評估 SPCX 前最值得讀的一層財務拆解。
Goldman 2030 預測：總收入 $474B，AI 相關 $322B（68%）為最大組成——假設鏈條長，每個環節均有不確定性 Starlink 現有基本面：約 460 萬訂閱用戶，2025 年估計收入 $8–10B，是估值中最可驗證的獲利引擎 估值難題：$1.77T 估值大部分靠未來假設——Starship 商業服務、LEO AI 計算、Mars 投資回報 Musk 雙重股權：82%+ 投票控制確保長期願景，但機構投資人需接受完全無法影響戰略的條件