頭條・AI／機器學習
OpenAI Launches ChatGPT for Teens With Built-In Safety Guardrails
OpenAI正式推出13至17歲專屬ChatGPT for Teens，預設加強內容限制、學習模式與家長監控，回應多起青少年安全訴訟壓力。
- 鎖定13至17歲用戶，年齡適當保護內容限制預設開啟
- 新增Study Mode引導式學習，偵測抄作業行為
- 家長可設定安靜時數、接收安全通知等家長工具
- 推出前ChatGPT已遭多起青少年自殺相關訴訟
AI／機器學習
Anthropic Adds Invisible Watermarks to Claude's Text Output
Anthropic自8月起為Claude新模型文字輸出加入不可見浮水印，因應歐盟AI法案透明度規定，全球一體適用且不影響輸出品質。
- 採用類Google SynthID-Text技術，調整詞語選擇的隨機來源
- 回應歐盟AI法案第50條的AI生成內容透明度要求
- 浮水印全球一體適用，非僅限歐盟用戶
- 官方強調不影響輸出品質、速度與價格
頭條・科技／產品
Nvidia Backs $105B Financing for OpenAI's Ohio Data Center
Nvidia將提供最高1050億美元融資，支持OpenAI在俄亥俄州興建8GW資料中心園區，惟循環融資疑慮再度浮上檯面。
- Nvidia提供最高1050億美元融資保證，另投資15億美元SB Energy
- 資料中心規劃約8GW運算容量，首批800MW預計2028年上線
- SB Energy（軟銀集團旗下）負責興建與營運
- Nvidia否認循環融資疑慮，強調OpenAI將自行支付租約
科技／產品
GitHub Suffers 7.5-Hour Global Outage, Copilot Degraded Too
GitHub 8月17日發生大規模當機，PR、Actions、Copilot等服務中斷近7.5小時，錯誤率一度飆破五成，成因尚未公布。
- 當機自美東時間上午9:40持續至下午5:15，逾7.5小時
- 網頁與API錯誤率約20%，封存下載錯誤率高達50%
- Pull Requests、Actions、Webhooks、Copilot皆受影響
- GitHub承諾公布詳細根因分析報告，成因未明
頭條・程式開發
TypeScript 7.0 Ships as Native Go Port, Up to 12x Faster Builds
TypeScript團隊發布7.0正式版，將編譯器以Go原生重寫，VSCode等大型專案建置最快提速近12倍，但暫無穩定API。
- 編譯器由TypeScript改寫為Go原生實作，維持與6.0相同語意
- VSCode建置從125.7秒降至10.6秒，提速11.9倍
- 支援共享記憶體多執行緒，新增--checkers等平行化參數
- 暫無穩定程式化API，Vue、Angular、Svelte等框架尚無法完整支援
程式開發
Cursor Launches Origin Code-Hosting Platform Amid GitHub Outage
Cursor推出雲端程式碼託管平台Origin，主打與GitHub雙向同步及AI代理協作，上線時間恰逢GitHub全球當機。
- Origin內建於Cursor，可與GitHub雙向同步程式碼
- 支援桌面與雲端沙盒AI代理，離線也能持續作業
- 上線約3.5小時後GitHub即發生近7小時全球當機
- 為Cursor遭SpaceX以600億美元收購後首個重大產品
頭條・股市財經
US Stocks Slide as Iran Tensions Push Up Oil Prices and Yields
美股三大指數8月17日集體收跌，美伊MOU到期引地緣風險升溫，30年期公債殖利率創19年新高，僅科技股逆勢上漲。
- 道瓊跌0.5%、標普500跌0.5%、那斯達克跌0.3%
- 美伊備忘錄到期，川普警告不排除軍事行動
- 30年期公債殖利率衝上5.31%，創2007年6月以來新高
- 半導體類股逆勢漲2.4%，美光股價衝破千美元
股市財經
Taiwan's ETF Ex-Dividend Super Day Sees 20 Funds Go Ex on Aug 18
台股8月18日迎ETF除息超級日，20檔產品除息，00923、00982A等多檔配息創新高，8檔年化配息率破一成。
- 20檔ETF除息，含2檔主動式、18檔被動式產品
- 00982A預估年化配息率約11%，居主動式之冠
- 00923配發3.05元創成立以來新高
- 8檔被動式ETF年化配息率突破一成
頭條・創投動態
Voice AI Startup Wispr Raises $280M at $2B Valuation
AI語音輸入新創Wispr完成2.8億美元C輪募資，估值達20億美元，推出新語音模型Canto，錯誤率降至一成以下。
- C輪募得2.8億美元，Menlo Ventures領投，估值20億美元
- 累計募資達3.61億美元，距前一輪不到10個月
- 新語音模型Canto將辨識錯誤率從30%降至一成以下
- 跨足會議記錄工具與Oasis戒指等硬體合作
頭條・太空
NASA Chief 'Extremely Confident' Artemis 3 Will Launch in 2027
NASA署長艾薩克曼表態對Artemis 3於2027年發射深具信心，SLS火箭堆疊作業已展開，將分三次發射銜接登月任務。
- 署長艾薩克曼稱「極有信心」2027年發射Artemis 3
- 任務含New Glenn、SLS／獵戶座、Starship三次接力發射
- SLS十節固態助推器已堆疊四節，核心級發動機整合中
- 首次載人登月任務Artemis 4暫定2028年
頭條・國際時事
Malaysia's PM Anwar Says 'Everyone Accepts One China' on Taiwan
馬來西亞總理安華在專訪中談及台灣議題，稱「所有人都接受一個中國」，並以馬國若遇分裂也會動武類比中國立場，引發討論。
- 專訪於7月9日錄製，8月17日在半島電視台播出
- 被問及台灣議題時，安華稱認同一個中國原則
- 以馬來西亞若遇分裂也會動武作類比說法
- 批評外界只關注中國、忽視他國分離主義議題
推薦閱讀・工程
Why AI Will Make Formal Verification Go Mainstream
資料系統學者Kleppmann撰文主張，LLM能大幅降低形式驗證的門檻與成本，讓「證明程式碼正確」從研究小眾邁向工程主流。
- seL4微核心形式驗證曾耗時20人年、20萬行Isabelle程式碼
- LLM已能撰寫多種語言的證明腳本，大幅降低門檻
- 作者主張AI生成程式碼更需要形式化正確性證明
- 證明檢查系統可自動拒絕無效證明，抑制幻覺風險
推薦閱讀・科學
Do Universes Evolve, Too? A Fringe Theory's Unlikely Vindication
Smithsonian特稿追溯「宇宙自然選擇」理論如何從1990年代邊緣假說，因James Webb太空望遠鏡意外發現而重獲學界關注。
- 理論由物理學家Lee Smolin於1992年提出
- 愛爾蘭作家Julian Gough透過Substack重新推廣此說
- James Webb望遠鏡2022年發現與其預測高度吻合
- 學者稱其為「美麗的想法」，仍待同儕審查驗證
推薦閱讀・科技產業
Inside the $400 Million Machine Powering the Future of Chips
MIT Technology Review深度剖析ASML最新高數值孔徑EUV機台，如何以150噸級工程奇蹟，持續鞏固其晶片微影壟斷地位。
- ASML耗時16年、100億美元研發EUV技術，市占約九成
- 新機台將數值孔徑從0.33提升至0.55，電晶體縮小近半
- 機台重逾150噸，光罩加速度達22g，雷射系統占滿一間房
- Substrate、Lace Lithography等新對手嘗試另闢蹊徑