頭條・AI／機器學習
Moonshot AI Open-Sources Kimi K3, the Largest Open-Weight Model Yet
中國新創月之暗面開源2.8兆參數Kimi K3,多項程式碼基準超越GPT與Claude,並捲入晶片走私爭議。
- 2.8兆參數MoE架構,每token僅啟用1040億參數運算
- 前端程式碼基準LMArena奪冠,SWE-bench達93.4分
- 白宮指控月之暗面走私受管制輝達晶片並蒸餾對手模型
- 自架部署需64張H100等級GPU,亦可透過API或推理引擎使用
AI／機器學習
Anthropic Launches Claude Opus 5 at Same Price, Double the Performance
Anthropic兩個月內第四款新模型Opus5,SWE-bench創97%新高,售價維持不變。
- 7/24全平台上線,成為Claude Max與Pro預設模型
- SWE-bench Verified達97%,刷新已知最高分
- 定價維持不變,新增Effort調節可權衡智能與成本
- 兩個月內第四款Claude5系列模型,迭代節奏加快
頭條・科技／產品
Apple Launches Device Leasing Program With Klarna, Ending In-House Financing
Apple終止自營分期,改與Klarna合作推出iPhone、Mac硬體月租服務,月付11.99美元起。
- 7/28美國上線,取代原有iPhone Upgrade Program分期方案
- iPhone月租17.99美元起,Mac 24.99美元起,採軟查詢信用審核
- 租期滿可升級、買斷或歸還,Apple Card持卡享3%回饋
- 首度外包消費金融給第三方BNPL業者,標誌銷售策略轉向
頭條・程式開發
Vue 3.6 Enters RC With a Feature-Complete Vapor Mode
Vue3.6進候選版,Vapor Mode繞開虛擬DOM且reactivity重寫,效能追上Solid、Svelte5。
- 3.6.0-rc.2釋出,官方宣告Vapor Mode功能集已完成
- reactivity以alien-signals重寫,效能追平Solid、Svelte5
- 事件委派改為預設綁定元素,舊eventDelegation設定移除
- Vapor元件暫不支援Options API,大型專案遷移須謹慎
程式開發
Redis Patches 7 Flaws After AI Agent Finds Zero-Days in 90 Minutes
Redis一次修補涵蓋6版本線漏洞,研究者稱AI代理Kimi K3僅90分鐘挖出漏洞、27分鐘做出RCE。
- 7/23一口氣發布7個修補版本,橫跨6.2至8.8多條版本線
- 根源為Streams的use-after-free與RedisBloom越界寫入
- 研究者稱AI代理90分鐘挖出19個零時差、27分鐘做出RCE
- 官方尚未附CVE編號,建議立即升級並限制RESTORE權限
頭條・股市財經
Taiwan Stocks Suffer Third-Largest Single-Day Point Drop Ever
台股7/28重挫2030點收41603點,台積電財報亮眼股價仍跌,電子、記憶體、塑膠類股全面重挫。
- 加權指數收41,603點,跌2,030點、跌4.65%,史上第3大跌點
- 台積電營收年增36%、淨利增77%,股價仍跌2.98%
- 外媒點出資本支出大增、美廠稀釋毛利、2奈米毛利承壓三因素
- 聯發科與記憶體四雄集體跌停,電子類股指數重挫5.11%
股市財經
Global Memory Stock Rout Wipes Out NT$340B From 13 Taiwan Chipmakers
三星、SK海力士、鎧俠等國際記憶體大廠重挫,燒回台廠,南亞科、華邦電等13檔市值一上午蒸發近3400億元。
- 三星盤中跌13.4%、SK海力士跌14%、鎧俠重挫18%
- 台廠13檔記憶體股市值一上午蒸發約新台幣3,369億元
- 南亞科跌43.5元最重,華邦電、群聯、旺宏同步跌停
- 中國長鑫科技掛牌暴漲,市場憂新產能提前釋出衝擊供需
頭條・科學研究
Lake Fly Larvae's Pressure-Proof Airbags Challenge Why Insects Never Colonized the Deep Sea
UBC團隊發現馬拉維湖蠅幼蟲靠可調控氣囊承受400公尺水壓下潛覓食,挑戰昆蟲無法適應深海的舊假說。
- 湖蠅幼蟲每日垂直遷徙,下潛逾200公尺躲避掠食者
- 體內resilin氣囊靠調節pH值控制膨脹與浮力
- 實測顯示氣囊耐壓達400公尺以上,遠超日常遷徙深度
- 挑戰昆蟲因壓力無法進軍深海的傳統假說
頭條・太空
NASA's Roman Space Telescope Fueled, Set for Aug. 30 Launch
NASA羅曼太空望遠鏡完成聯胺燃料加注,將提前9個月於8月30日由獵鷹重型火箭發射,前往拉格朗日點L2。
- 7/25完成290加侖聯胺燃料加注,發射時程提前9個月
- 8月30日由SpaceX獵鷹重型火箭於甘迺迪太空中心發射
- 任務前往日地拉格朗日點L2,距地球約100萬英里
- 主要任務5年,鎖定系外行星普查與暗能量研究
頭條・自然生態
Prescribed Burns Quadruple Giant Sequoias' Odds of Surviving Wildfire
加大戴維斯分校研究2萬6千株巨杉,發現接受計畫性燒除的巨杉存活機率近未處理者4倍,死亡風險降77%。
- 分析26,400株巨杉,比較計畫性燒除與未處理林區差異
- 曾燒除處理巨杉存活機率近未處理者4倍,死亡風險降77%
- 過去十年計畫性燒除估已避免1,900株巨杉死亡
- 結合機載光達與衛星影像,挑戰巨杉天生耐火免介入舊認知
推薦閱讀・工程人物
Kent Beck on Why Understanding People, Not Computers, Is the Scarce Skill Now
Gergely Orosz專訪TDD之父Kent Beck,回顧其職涯轉折,探討AI時代軟體工程真正稀缺的能力。
- 回顧1987年被蘋果開除、Chrysler C3專案催生極限編程
- 揭露TDD起源於年少讀父親程式書中「先寫預期輸出」建議
- 細述2001年Snowbird敏捷宣言誕生現場,他貢獻daily一詞
- 主張程式碼可自動生成,但人與人的信任與溝通無法取代
推薦閱讀・理論電腦科學
The Mathematician Who Cracked a 40-Year-Old Traveling Salesperson Puzzle
Quanta Magazine側寫Abacus獎得主,他打破TSP演算法四十年紀錄並證明馬可夫鏈猜想。
- 2019年以隨機生成樹取代最短生成樹,打破1976年演算法紀錄
- 論文長達90頁,結合多項式方法與圖論分析求解TSP近似比
- 2018年與同事證明懸而未決30年的Mihail-Vazirani猜想
- 生於伊朗伊斯法罕,2004年拿下國際資訊奧林匹克金牌
推薦閱讀・自然生態
The Curious Case of India's Black Tigers — A Conservation Success With a Genetic Catch
National Geographic報導印度保護區半數老虎帶罕見黑化基因,揭露近親繁殖如何威脅保育成果。
- Similipal保護區半數老虎帶偽黑變隱性基因,條紋近全黑
- 2014年僅存4隻虎且與鄰近保護區相距逾100英里
- 印度虎數量從1906年4萬隻降至2006年1400隻,2022年回升3100隻
- 團隊跨保護區運輸雌虎28小時,促成基因交流的相親計畫