日本九州有一個縣，同時放著全球一大部分的車用晶片、影像感測器和台積電的海外新廠。7 月 28 日下午，那個縣震了規模 7.1。今天是震後第六天，各廠的復工時間表陸續出來了，而時間表本身就是一份脆弱度清單。

一、熊本震後復工時序：最不痛的是台積電

熊本縣 7 月 28 日的強震讓菊陽町一帶的半導體廠全面停機。停下來的名單包括台積電子公司 JASM、Sony 的影像感測器廠、瑞薩電子的川尻與錦兩座工廠、三菱電機在合志市與菊池市的功率半導體廠，以及東京威力科創的九州廠。

復工節奏差很多。瑞薩的錦工廠在震後隔天（7 月 29 日）晚間就恢復生產，7 月 31 日上午回到原本產能；熊本市的川尻工廠要等到 8 月 5 日才逐步重啟。Sony 那座 24 小時運轉的影像感測器廠，預計 8 月 4 日起分階段復工，要到 8 月中旬才回得到震前水準。三菱電機兩座廠 7 月 30 日下午重啟設備。台積電 JASM 原本預定上週五決定是否在今天恢復生產。

有意思的是曝險的分布。法人對 JASM 停工一週的營收影響估算約 1,400 萬美元，大約占台積電第三季指引的 0.03%。也就是說，這場地震對名單上最大的那家公司，幾乎沒有財務意義。

真正沒有替代方案的是另外兩類。車用微控制器和影像感測器的產線認證週期長、客戶名單黏得死，一顆料號停產，下游車廠不太可能在兩週內換供應商。半導體的集中風險從來不是「最大的廠在哪裡」，而是「哪一顆料號只有一個地方做得出來」。前者是新聞標題，後者是真正會斷的地方。

來源：中央社、科技新報（瑞薩）、科技新報（Sony）

二、聯發科連兩根漲停，台積電同一天跌 2.27%

台股今天出現一個少見的畫面：半導體類指數小跌 0.23%，但族群裡 91 檔有 77 檔上漲、15 檔亮燈漲停。權王台積電下跌 55 元、收 2,370 元，跌幅 2.27%；聯發科大漲 355 元、漲停鎖在 3,910 元，這是它連續第二根漲停。日月光投控也漲 55 元攻上漲停。

推力來自法說會。聯發科把 2026 年 AI ASIC 的營收目標從 10 億美元上調到 20 億美元，2027 年可服務市場（TAM）上調到 800 億美元，並且首度證實在超大型 ASIC 專案裡同時導入台積電的 CoWoS 與英特爾的 EMIB-T 兩種先進封裝。董事會核准的 50 億美元融資額度，上週已經先報導過。

值得停下來看的是那個「同時」。過去 AI ASIC 專案卡最緊的環節是 CoWoS 產能，而產能只有一個供應者。同時養兩套封裝方案，短期成本必然更高、良率風險也多一份，但它換到的是議價權和不被單一供應商決定出貨時程的能力。這種代價前置、好處延後的動作，市場通常給不出即時定價，今天的漲停更像是在替「營收目標翻倍」買單。至於雙軌封裝真正的價值，要等到下一次某個環節卡住的時候才會顯現。

來源：工商時報、民眾新聞

三、DeepSeek 把單次測試壓到 3 美分

研究機構 Artificial Analysis 對 DeepSeek 新的 V4-Flash 做了成本基準：跑完一輪測試約 3 美分。同一份測試，Moonshot 的 Kimi K3 大約是它的 29 倍、OpenAI 的 GPT-5.6 Sol 約 62 倍、Anthropic 的 Claude Fable 5 約 105 倍。

價格差到兩個數量級的時候，「省錢」不再是重點。真正會發生的事是：以前算了一下不值得跑的東西，現在值得跑了。整個 codebase 每次 commit 都掃一遍、每封客服信都過一次模型、每支日誌都讓模型讀完再決定要不要告警——這些過去被單位成本擋住的用法會一次全部解禁。

而這正是要留意的地方。單位成本下降不會讓總支出下降，它會讓使用量長得比價格跌得更快。同時，那些被解禁的用法多半沒有人審計過模型的判斷品質，因為在便宜之前它們根本不存在，也就沒有人建立過對照基準。

來源：AI Weekly 整理的 Artificial Analysis 基準

四、至少 50 名美國警察，拿車牌辨識系統查自己認識的人

《華盛頓郵報》的調查點出至少 50 名執法人員因濫用車牌辨識系統而被起訴或遭指控，其中 46 件涉及 Flock 的系統。26 起案例的查詢對象是妻子、女友，或是他們想聯繫的女性。

這件事的技術含量是零，這才是重點。系統本身運作正常，資料庫沒被駭，模型沒有出錯。壞掉的是「誰可以查、查了要留什麼紀錄、紀錄由誰看」這一層，而這一層在絕大多數採購案裡不是規格，是附錄。

一套監控基礎設施的風險，不會等比例反映在它的技術文件上。它的下行取決於最沒有動機守規矩的那個使用者，而這種風險在建置的時候通常被算成零。

來源：AI Weekly 整理的《華盛頓郵報》調查

五、同一天兩筆 AI 安全募資，都在賣「機器對機器」

Horizon3 拿到 2.5 億美元的 Series E，估值超過 20 億美元，比 2025 年 6 月 Series D 的 6.5 億翻了三倍。它的 NodeZero 賣的是自動化滲透測試，客戶約 7,200 家，ARR 接近 1 億美元、年增 120%，這輪要拿去擴張澳洲和新加坡。

同一天，以色列的 Zenity 完成 1.25 億美元 Series C，由 Norwest 領投，SoftBank Vision Fund 2、Hitachi Ventures、LG 都在名單裡，累計募資約 1.85 億美元。它做的是 AI agent 的安全與治理，前提是風險不來自模型本身，而來自 agent 被放出去自己動手之後發生的事。

兩家的敘事拼起來剛好是一句話：企業已經接受了「攻擊和防守兩邊都會由機器執行」這個前提，開始為此編列預算。一年一次的人工滲測，跟每天自己跑的自動化驗證，在頻率上差了三百倍，而攻擊方的頻率早就不是一年一次。

來源：TechCrunch、Fortune

六、兩千美元的算力，解掉十道沒人解出來的數學題

OpenAI 在 8 月 1 日說它內部的 Astra 模型解出十道未解的數學問題，用掉的算力約 2,000 美元，證明以 Lean 的機器可驗證格式公布在 GitHub 上，成果包含非 sofic 群的存在性與新的球堆積界。費爾茲獎得主 Timothy Gowers 認可其中一份證明足以投頂級期刊。（這則我讀到的是二手整理，還沒看到 OpenAI 的原始公告。）

比「AI 解了數學題」更值得注意的是交付格式。Lean 的證明可以由機器逐步檢查，所以這十道題的正確性不取決於任何人相信不相信模型，也不取決於審稿人的時間。這是目前少數「模型輸出可以被完全驗證」的領域，也因此是少數可以放心讓算力硬幹的領域。

至於同一套做法能不能搬到別的地方，關鍵不在模型多強，在你的問題有沒有一個 Lean 那樣的檢查器。多數商業問題沒有。

來源：Build Fast with AI 整理

今天最貴的資產是第二條路

把這六則放在同一張桌上，會發現值錢的東西有個共同形狀：它們都是「第二條路」。

熊本震出來的教訓，不是台積電有沒有停工，是有些料號沒有第二個產地。聯發科花錢養兩套封裝，買的就是第二條路。Horizon3 和 Zenity 拿到的錢，本質上是企業在人力驗證之外買第二層檢查。Astra 那十道證明能算數，是因為 Lean 提供了獨立於模型之外的第二次確認。至於 Flock 那 46 件濫用案，恰恰是因為沒有第二個人在看查詢紀錄。

DeepSeek 那則是唯一的例外，也是最該小心的一則。單位成本掉到 1/105，讓很多用法第一次成立，但那些用法上線的時候，並沒有人同步準備第二條路來檢查模型的判斷對不對。便宜買到的是規模，不是可靠性，而規模會讓沒有第二條路這件事更晚才被發現。