頭條・AI／機器學習
OpenAI's Unreleased Astra Model Solves 10 Decade-Old Math Problems
OpenAI內部版下一代模型Astra攻克10道懸置逾十年的數學與理論電腦科學難題，並公開可機器驗證的Lean證明。
- 耗資約2,000美元運算成本，解開10道停滯十年以上的數學難題
- 首度構造「非可肖夫群」，回應1999年提出至今的懸案
- 推翻Connes剛性猜想，證明Ehrhart體積猜想等多項成果
- 全數以Lean 4形式化驗證並公開GitHub，尚未經同儕審查
AI／機器學習
Alibaba Unveils Qwen3.8-Max, a 2.4-Trillion-Parameter Open Model
阿里巴巴發布迄今最大模型Qwen3.8-Max，多項基準看齊甚至超越Anthropic，並將於下週開源權重。
- 2.4兆參數混合專家架構，單次僅啟動950億參數
- 支援最高100萬token上下文，具備多模態輸入能力
- Terminal-Bench分數逼近甚至超越Opus 4.8
- 股價消息公布後美股盤前上漲4.5%、港股大漲7%
頭條・科技／產品
Samsung Reveals the Design Philosophy Behind Its Latest Galaxy Lineup
三星設計負責人Hubert Lee首度解析Galaxy Z Fold8、Flip8與Watch系列背後的「情感式極簡」設計思維。
- 提出「情感幾何」與「情感式極簡」兩大設計理念
- Z Fold8 Ultra為史上最薄Galaxy Z Fold機型
- 手錶錶帶採「透氣氣囊」結構，驗證逾1億筆真實配戴數據
- 新色系涵蓋紫丁香、薰衣草紫、粉色、奶油白與石墨灰
頭條・程式開發
TypeScript 7.0's Native Go Compiler Delivers Up to 12x Faster Builds
TypeScript 7.0將編譯器與語言伺服器全面移植為Go原生實作，實測建置速度最高提升近12倍。
- VS Code專案完整建置從125.7秒降至10.6秒，提速11.9倍
- 編輯器開檔診斷時間從17.5秒降至1.3秒以內
- target=es5、baseUrl等舊設定遭移除或棄用
- Vue、Svelte、Astro等框架型別檢查暫未支援，需等7.1
程式開發
SvelteKit 3 Preview: Routing, Service Workers, and Deploy Detection Overhauled
Svelte官方部落格公布SvelteKit 3最新進度，淺層路由、服務工作者模組與自動新版偵測皆大幅翻新。
- SvelteKit 3七月釋出13個預覽版本，迭代速度加快
- goto()內建state選項取代舊有路由API
- 新增自動偵測新版部署機制，預設每小時輪詢一次
- 遠端表單新增submitted屬性與欄位驗證輔助函式
頭條・股市財經
Taiwan Stocks Swing 1,000 Points, Close Up as MediaTek Rallies and Funds Buy for 29th Day
台股8月3日盤中重挫逾300點又強彈近700點，聯發科漲停撐盤，投信連續29個交易日買超創紀錄。
- 加權指數收漲266.66點，盤中振幅逾1,000點
- 台積電下跌2.27%失守2,400元、跌破月線
- 聯發科漲停收3,910元，帶動大盤翻紅
- 投信連29買超，累計金額擴大至3,312.6億元
股市財經
US Chip Stocks Diverge as Micron Slides Nearly 6% Amid AI Memory Supply Crunch
美股8月1日漲跌互見，美光重挫近6%，SK海力士美股ADR與首爾掛牌股價走勢罕見背離。
- 標普500收漲0.7%，那斯達克漲1.0%創高
- 美光股價重挫5.9%至823.03美元，前一日才大漲18%
- SK海力士美股ADR跌3.6%，首爾股價卻大漲30%觸及漲停
- 蘋果將記憶體漲價形容為「百年洪災」等級供給短缺
頭條・太空
Curiosity Rover Discovers Its Largest-Ever Field of Polygon Cracks on Mars
NASA好奇號在火星「大谷地」拍下大片蜂巢狀多邊形裂紋，是任務14年來發現最密集的一次。
- 多邊形裂紋大小約4至8公分，範圍延伸至視野各方向
- 環繞暱稱Miraflores、高20英呎的沙丘狀山丘
- 全景照由340張影像拼接、調色模擬地球光照
- 好奇號2012年8月5日登陸，任務即將滿14週年
頭條・臺灣本地
MediaTek Approves $5 Billion Financing Plan to Expand AI Data-Center Chip Push
聯發科董事會核准最高50億美元籌資額度，加速AI資料中心ASIC晶片布局，首款產品第四季量產。
- 董事會核准最高50億美元無擔保公司債籌資額度
- 首代AI加速器ASIC完成開發，今年第四季量產
- 2027年目標市占率由10-15%上修至15-20%
- 2026年資料中心晶片營收估上看逾20億美元
推薦閱讀・程式開發
Exercises in Benchmarking and Evals, Part 7
Dan Luu逐一拆解主流延遲、SSD與LLM程式碼評測方法的隱藏缺陷，示範如何親自檢驗基準測試的可信度。
- napkin-math量測的DRAM延遲被CPU平行化拉低5倍
- 兩套熱門LLM程式碼評測互相矛盾，且重評同解答結果會翻盤
- SSD基準實際測到的可能是快取而非真正磁碟效能
- 延伸案例：夏季胎在0°C以上乾地抓地力反優於全季胎
推薦閱讀・資安
A Deep Dive into npm Supply Chain Attacks and Defense
台灣工程師胡立以今年三起真實npm攻擊事件為例，拆解供應鏈攻擊手法並整理實務防禦設定。
- 今年至少三起真實npm供應鏈攻擊，幾乎每月都有事件
- axios惡意版本從偵測到下架仍有2小時暴露空窗
- 揭露可繞過--ignore-scripts的git依賴漏洞
- 整理.npmrc強化設定範本，供工程團隊直接套用
推薦閱讀・科學史
The Operating Room Where Anesthesia Was First Demonstrated — and the Men Who Fought Over Credit
Smithsonian長文回顧1846年麻醉術首度公開示範的歷史現場，以及三位爭奪發明榮譽者最終潦倒收場的悲劇。
- 1846年10月16日，乙醚麻醉首度於麻州總醫院公開示範成功
- 示範地點「乙醚穹頂」手術室至今仍是地標
- 三位爭功者最終皆潦倒或早逝，無人如願獲得肯定
- 第四位聲索者其實早在1842年就已使用乙醚