頭條・AI／機器學習
OpenAI Launches GPT-5.6 Series: Sol, Terra, Luna
OpenAI在美國政府安全審查後，於7月9日正式向所有用戶開放GPT-5.6系列三款新模型。
- Sol主打前沿推理與長時任務，輸出每百萬30美元
- Terra效能追平GPT-5.5，成本減半
- Luna定位高量低成本應用，輸出每百萬僅6美元
- 因川普政府AI行政命令，發布延後至7月9日
AI／機器學習
xAI Launches Grok 4.5, Claims Opus-Class Performance
SpaceXAI推出Grok 4.5，馬斯克稱其為速度更快、成本更低的Opus級模型。
- 訓練動用數萬張Nvidia GB300 GPU
- 定價輸入2美元、輸出6美元，低於Opus 4.8
- 與Cursor共同訓練，SpaceX並購其母公司
- 即日於Grok Build等平台開放，歐盟7月中上線
頭條・科技／產品
OpenAI Launches ChatGPT Work, a General-Purpose Productivity Agent
OpenAI於7月9日推出ChatGPT Work，整合Codex與Atlas功能，助專業人士跨App自動完成工作任務。
- 7月9日起24小時內完成全用戶推送，涵蓋桌面與網頁版
- 整合Codex程式碼工具與Atlas瀏覽器操作能力
- 支援任務排程，可用手機遠端啟動並追蹤進度
- 免費帳號僅限桌面版，Plus與Pro用戶可用全平台
科技／產品
HP OmniBook Ultra 14 Review: A Premium Ultraportable Windows Alternative
HP新款輕薄筆電OmniBook Ultra 14，主打3K OLED螢幕，獲外媒評測9分好評。
- 14吋3K OLED螢幕支援120Hz更新率，峰值亮度達1100尼特
- 搭載Intel Core Ultra X9處理器，續航力可達19小時以上
- 機身僅重2.8磅、厚0.42吋，主打輕便耐用設計
- 頂規售價達4000美元，但缺少USB-A與HDMI等連接埠
頭條・程式開發
TypeScript 7.0 Ships as GA With Native Go Compiler
TypeScript 7.0正式發布，改採Go語言原生編譯器，主流專案建置速度最高提升近12倍。
- 採用Go語言重寫編譯器，取代舊版直譯架構
- 型別檢查耗時從125.7秒降至10.6秒，提速11.9倍
- Sentry等專案建置速度普遍提升8至9倍
- 記憶體用量減少6%至26%，新增平行檢查旗標
程式開發
Bun Rewrites Its Runtime From Zig to Rust
Bun團隊以AI代理輔助，11天內將百萬行Zig程式碼改寫為Rust，強化記憶體安全並縮小執行檔。
- 耗時11天將約100萬行程式碼由Zig搬遷至Rust
- 尖峰約64個Claude代理協作，共產生6502次提交
- 測試相容性達100%，未跳過任何既有測試
- 執行檔縮小6至8MB，HTTP效能提升2%至5%
頭條・股市財經
SK Hynix Raises $26.5B in Record US IPO, Shares Jump 13%
SK海力士在美掛牌募資265億美元，創外國企業美股IPO最大規模，首日股價大漲逾13%。
- SK海力士美股ADR募資265億美元，創外國企業赴美上市新猷
- 發行價每股149美元，開盤即大漲14%至170美元
- 收盤報168.01美元，較發行價上漲約12.8%
- 認購倍數超過7倍，規模超越阿里巴巴2014年紀錄
股市財經
Foreign Brokerages Lift TSMC Price Targets Ahead of Q2 Earnings Call
台積電16日將召開法說會，多家外資近期調升目標價，看好毛利率與資本支出同步走高。
- Aletheia、UBS分別喊目標價3500元、3400元
- UBS估Q2美元營收季增11至12%，毛利率67.3%
- 台積電法說會訂7月16日下午於文華東方登場
- UBS上調2026-28年資本支出上看950億美元
頭條・科學研究
Physicists Build a 'Mini Universe' to Test Whether Time Truly Flows
英國伯明罕大學以2.4萬顆超冷原子打造孤立系統，首次於實驗室證明時間可能是熵變化下自然浮現的現象。
- 團隊以2.4萬顆超冷原子打造孤立量子系統模擬宇宙
- 系統冷卻至僅高於絕對零度數十億分之一度
- 雷射分隔出「明區」與「暗區」模擬宇宙膨脹收縮循環
- 研究成果發表於《物理評論研究》期刊
頭條・創投動態
Quantum Startup Oratomic Raises $300M Series A to Chase Fault Tolerance
美國量子運算新創Oratomic以「原子鑷子」技術完成3億美元A輪募資，目標僅需2萬量子位元即可打造實用量子電腦。
- Oratomic完成3億美元A輪募資由三家創投共同領投
- 團隊聲稱僅需1萬至2萬量子位元即可達成容錯運算
- 技術採用雷射鑷子操控中性原子作為量子位元
- 加州理工物理學家共同創立 對標PsiQuantum等對手
頭條・太空
China's Tianwen-2 Arrives at Quasi-Moon Asteroid Kamoʻoalewa
中國天問二號探測器歷經約13個月飛行，本週抵達近地準衛星卡莫瓦雷瓦，傳回首張近距離影像。
- 探測器去年5月發射，飛行約13個月抵達目的地
- 與小行星相距20公里處拍下首張近距離影像
- 影像顯示小行星直徑僅約20公尺，小於先前地面估計
- 預計停留9個月採樣，2027年4月啟程返航
推薦閱讀・軟體工程
A Deep Dive into npm Supply Chain Attacks and Defense
從axios、TanStack到antv的真實攻擊案例出發，拆解npm供應鏈攻擊手法並提供具體防禦設定建議。
- postinstall等生命週期腳本是套件攻擊的主要入口
- 多個知名套件近月接連遭植入惡意程式碼
- 停用腳本執行並延遲更新可大幅降低風險
- git與URL依賴會繞過鎖定檔案，形成防護死角
推薦閱讀・量子運算
Researchers Reveal the Power of Quantum Proofs
四位理論電腦科學家解開二十年懸案，證明特定問題唯有量子證明才能驗證，古典證明終究力有未逮。
- 問題核心：驗證答案的證明本身是否必須是量子態
- 團隊利用量子測量會擾動狀態的特性設計證明
- 頻譜forrelation問題證明兩者存在本質差距
- 成果獲2026年理論電腦科學研討會最佳論文獎
推薦閱讀・自然生態
Secrets of the Bees: Nature's Brightest Thinkers
科學家發現蜜蜂會數數、解謎、甚至展現情緒反應，徹底顛覆我們對授粉昆蟲智力的既有想像。
- 熊蜂能學會拉繩取食，連靈長類都未必辦得到
- 蜂群面臨嚴重存續危機，去年損失逾五成群數
- 蜜蜂可能具備恐懼與樂觀等類情緒反應
- 原住民養蜂人正嘗試以適應性育種取代化學依賴