金球的囚徒｜囚徒困局系列(一)

本文由 高柏科技 合作，泛科學撰文

林唯耕剛回台灣任教時，曾在清華大學的實驗室裡用一立方公分的「氨」做實驗。沒想到氨氣意外洩漏，那股刺鼻的氣味瞬間瀰漫整棟大樓，引來眾多師生抗議。

「從此以後，我再也不敢在實驗室裡用氨了。」他在《思想實驗室》的訪談中，帶著笑意回憶這段往事。

這段插曲聽來像是一則工程師的寓言：在理論模型中，氨是太空熱控系統的理想介質；但在現實的辦公大樓裡，它首先是逼人逃竄的臭味。公式本身沒有錯，但現實世界永遠比公式更複雜——它包含了人、成本、風險，以及必須為後果負責的工程師。

高柏科技技術專家、清華大學榮譽退休教授林唯耕 ，曾任職於美國 OAO 工程部熱流組，深耕電子構裝散熱與熱管技術多年。隨著 AI 浪潮席捲全球，他鑽研一輩子的老問題再次被推向科技產業的核心：當晶片運算速度無止境攀升，那股伴隨而生的熱，究竟該往哪裡去？

熱不會讀新品發表會

科技巨頭在發表會上熱衷於談論大型語言模型、GPU 規格與驚人的算力。這些詞彙在投影片上光鮮亮麗，彷彿進步毫無邊界。然而，每一次數位運算都紮實地發生在實體晶片上。晶片會發熱、材料會疲勞老化，一旦設備過熱，系統便會降頻保護。在物理現實面前，再動聽的發表會敘事也必須低頭。

回顧個人電腦發展早期，晶片幾乎不需專屬散熱元件。隨後，鋁製鰭片、風扇、熱管到均溫板逐一登場。這段歷程常被視為技術升級，其實更像是對空間的極限勒索：晶片功率翻倍，發熱源的面積卻沒變大，機箱空間也不可能無限擴張。

林唯耕指出，散熱設計的核心只有三要素：功率、熱源面積與空間限制。他舉例，在標準的 1U 機箱中，若發熱面積約為三十乘三十毫米，氣冷系統在達到八百瓦時就會面臨瓶頸。這並非固定的物理常數，而是取決於空間、面積與氣流的動態平衡。最現實的代價在於，風扇轉速提升的背後，是噪音、電力損耗與空間占用。

因此，「液冷技術」的興起並非單純為了追求酷炫，而是算力密度提升後的必然選擇。它能更精準地帶走晶片廢熱，卻也將新的挑戰帶入機房：漏液風險、流道堵塞、材料相容性，以及維運時的難度。工程的進步，本質上鮮少是徹底消滅問題，更多時候是選擇一組「比較值得承擔」的新問題。

太空教他的，不是把答案搬回地面

太空熱控工程之所以迷人，是因為它剝奪了地球上最常見的散熱工具。在真空宇宙中，沒有空氣能讓風扇製造對流；受光面溫度破百度，陰影處卻極度嚴寒。工程師必須純粹仰賴熱傳導、熱輻射，以及熱管與環路型熱管（LHP）來搬移熱能。

熱管運作的關鍵在於「相變」——液體蒸發時吸收大量潛熱，冷凝後重回循環。林唯耕比較了銅與水的熱傳導能力：在他設定的特定條件下，實心銅塊約能傳導 120 瓦的熱能；但若每秒有一立方公分的水發生蒸發相變，移熱量可瞬間拉升至 2.4 千瓦（kW）。他強調「每秒」的觀念，因為散熱談的是動態流動速率，而非靜態的冷卻魔法。

儘管如此，太空科技並不能直接套用到地面。太空元件因考量重量、功耗與維修難度，偏好無馬達幫浦的被動式設計；但地面 AI 伺服器面臨更高的熱負載與環境溫度，往往仍需幫浦驅動流量。當年那場「氨氣洩漏」事故正是最好的提醒：技術是否「先進」，與它是否「適合」當下的場景，始終是兩回事。

好論文，為什麼仍可能造不出好產品

學術研究致力於證明「可行性」，而工業現場則要求「可重複性」——不僅要能運作，還得確保每台出廠的設備都不漏水。林唯耕將此定義為「從 0 到 1」與「從 1 到 100」的差別。後者涉及良率、成本、公差與客戶信任。論文中那次最完美的實驗數據，在產線上往往未必管用。

他從不避談失敗。在高柏科技早期與學界合作時，也曾遇過實驗數據無法複製，或研究方向偏離產業需求。這未必是雙方努力不夠，而是彼此對「成功」的標準不同。為了解決這道鴻溝，高柏科技推動「柏苗啟航創新培育計畫」，每年投入逾千萬資金與成大、中山、台科大等校合作，並指派專業人才在過程中持續微調、校正，確保研發貼近產線現實。

他分享了近期一項液冷工質校正專案。團隊使用非侵入式的超音波流量計進行觀測，但由於儀器預設以「水」校正，換成其他化學流體後讀數便出現誤差。最初嘗試用幫浦壓差推算，卻發現缺乏重複性，數據甚至推導出不合理的蒸發率。最後團隊回歸基本面，改用秤重法搭配能量平衡進行交叉驗證，才讓數據成功收斂。

這個故事真正的價值不在於「產學雙贏」的口號，而在於那段不夠優雅的挫折：假設失效、數據混亂、方法砍掉重練。也正是在這種時刻，企業需要的不只是會算數的人才，而是能洞察研究何時「走鐘」，並有權力喊停、要求重來的關鍵決策者。

林唯耕坦言，過去在校園裡總認為「技術第一、成本第二」，進入商界後才驚覺行銷與信任關係往往才是關鍵。這番話雖然不如科技突破那樣動聽，卻是產品能否進入市場的殘酷真相。再卓越的散熱設計，若無法穩定生產或贏得客戶信任，也僅止於一份精美的報告。

AI 會給答案，誰來負責出貨？

訪談尾聲，主持人國威提出了一個時代難題：假設 AI 能在彈指間生成散熱架構、材料配方與流道設計，企業該選擇全面擁抱 AI 的速度，還是保留緩慢但穩定的工程驗證，以規避潛在的失效風險？

林唯耕拒絕落入二選一的框架。他的觀點是：兩者並存。AI 擅長處理資訊、生成草案；但工程師仍須實作原型，進行嚴苛的性能與可靠度測試，最終由人決定是否出貨。這並非盲目崇拜人類直覺，而是基於一項事實：AI 的資料庫裡，通常沒記載下一次「意外洩漏」或「材料疲勞」的細節，且模型永遠無法為量產結果擔負法律與商業責任。

在 AI 時代，最稀缺的未必是熟練下指令（Prompt）的人，而是具備這種能力的人：能預判答案可能在哪裡出錯、能設計實驗將問題「逼」出來，並且願意為最終的量產品質負起責任。

大眾習慣將雲端想像成輕盈、無重量的空間。但現實中，雲端是由龐大的機房架構而成，裡面裝滿了晶片、管線、泵浦與冷卻液。虛擬算力的每一次擴張，都會在實體世界留下發熱的足跡。散熱工程師的價值，就是不讓這筆物理帳單，被埋沒在光鮮亮麗的投影片背後。

合作與私利的權衡：囚徒困境

最廣為人知的賽局理論悖論是囚徒困境，這個賽局由加拿大數學家塔克所命名。塔克教授的囚徒困境賽局就像是好萊塢的犯罪劇情片，有人提供認罪協商給兩名嫌疑犯去供出對方。這個賽局說明了為共同利益而採取聯合行動十分困難，因為人們往往追求私利。

囚徒困境賽局中的誘因屢見不鮮，很適合拿來分析許多領域的問題。從經濟學中公司的競爭，到社會學中的社會規範，到心理學中的決策，到生物學中動物競爭稀缺資源，再到資訊工程中電腦系統競爭頻寬。

阿倫和阿班因為合夥偷車而被捕。警方懷疑他們還涉嫌一起肇事逃逸案件，但沒有足夠的證據起訴他們。兩人被帶到不同的房間分開偵訊。

阿倫和阿班都有兩個可能的行動：保持沉默或認罪。因此，賽局中總共有四種結果。

阿倫沉默，阿班沉默。阿倫認罪，阿班沉默。阿倫沉默，阿班認罪。阿倫認罪，阿班認罪。

我們可以用策略型式表達這個囚徒困境。支付矩陣中，列代表阿倫的可能行動，欄代表阿班的可能行動。我們在行與列的相交處填入每位參與者的報酬，在本例中也就是他們各自的刑期。

如果兩人都沉默，兩人都將因偷車而服刑一年。這當然不好，所以報酬是負值（阿倫：-1，阿班：-1）。如果兩人都認罪，兩人都要服刑十年（阿倫：-10，阿班：-10）。

囚徒都知道這個支付矩陣，也都知道彼此面對相同的矩陣。

合作或私利考量下的「最佳解」不同

這是一個同步賽局：即使並非字面意義上的同步，但由於兩人身處不同的偵訊室，做決定時也不知道對方的選擇，因此可以視為同步。

請注意，以策略型式表現賽局，並不意味著我們指出了可能會發生什麼事。我們只是列出所有可能結果，無論合理與否，並且把每個結果中參與者的報酬記下來。

現在，寫下囚徒困境賽局的策略型式後，我們可以嘗試分析可能發生的結果。

很明顯，如果阿倫和阿班可以共同做決定，兩人會選擇一起沉默，只需要坐牢一年。

但這並非均衡的結果。對阿倫來說，「認罪」的策略絕對優於「沉默」：不管他預期阿班會怎麼做，他的最佳回應都是認罪。

同樣地，不管阿班預期阿倫會怎麼做，阿班的最佳回應都是認罪。

在囚徒困境中，納許均衡是兩名參與者都認罪。這個結果的標準寫法是：

｛ 認罪，認罪 ｝

前者是橫列參與者（阿倫）的行動選擇，後者是直欄參與者（阿班）的行動選擇。在均衡中，雙方都要坐牢十年。

這屬於柏雷多效率嗎？

一個有趣的問題是，囚徒困境賽局中的納許均衡是否為柏雷多效率？這個資源分配效率的概念是以義大利經濟學家柏雷多（1848 – 1923）來命名。如果再也沒有其他可能的結果可以使至少一人變得更好，但沒有任何人變糟，這樣的結果就是柏雷多效率。

囚徒困境賽局中的納許均衡並非柏雷多效率，因為如果兩人都沉默，每個囚徒都可以變得更好。這也就是「囚徒困境」名稱的由來。

不過，在多數的賽局中，納許均衡就是柏雷多效率。例如在前面電影檔期的賽局中，沒有其他的結果能使雙方以不損及對方的方式獲得更高利益。

——本文摘自《大話題：賽局理論》，2023 年 3 月，大家出版出版，未經同意請勿轉載。

什麼是「賽局理論」？

賽局理論是在研究策略性互動。策略性互動也是很多桌遊的關鍵元素，賽局理論因此得名。你的決策影響別人的行動，反之亦然。賽局理論的不少術語直接取自這類遊戲。我們把決策者稱為「參與者」（player）。參與者做決定後，就採取了行動（move）。

運用模型簡化複雜世界

真實世界的策略性互動可能非常複雜。例如在人際互動中，不僅行動，包括我們的表情、聲調和肢體語言都會影響他人。

在與他人往來時，人們展現不同的經歷與觀點。這樣無以計數的變化會使得情況異常複雜，也很難分析。

藉由稱為「模型」的簡化結構，我們可以大幅縮減複雜的程度。模型雖然簡單且容易分析，但仍然捕捉了真實世界問題的某些重要特徵。選用適當的簡單模型，可以有效幫助大家學習真實世界的複雜問題。

西洋棋可以幫助我們瞭解這些變化會讓參與（及預測）賽局變得多麼複雜。西洋棋的規則明確，雖然每一步棋的選項有限，但整體棋局的複雜度令人生畏。不過比起許多人類的基本互動，西洋棋其實簡單多了！

高手過招容易和局！

像西洋棋之類的桌遊有個特性：玩家愈熟練，就容易產生平手的結局。我們如何解釋這種現象？

因為西洋棋太複雜，難以全面分析，以下我們用簡單的井字遊戲來說明一個重要特性。西洋棋和井字遊戲都有明確的勝負規則。玩家輪流落子，且可以下的地方有限。

井字遊戲無法表現西洋棋中的許多特性。但由於兩者有些共同特徵，因此井字遊戲可以幫助人們瞭解高手對陣為什麼容易產生和局。

被簡化的世界縮影：「賽局」

賽局理論的首要關注並非西洋棋之類的桌遊，而是要增進我們對人際、對企業間、對國家間、對生物間……等互動行為的瞭解。原因是，真實的問題可能過於複雜且難以充分掌握。

因此，在賽局理論中我們創造了非常簡化的模型，稱之為「賽局」。創造有用的模型既是科學，也是藝術。

好的模型夠簡單，讓人能充分瞭解驅動參與者的誘因。同時，模型必須能夠捕捉真實世界的重要元素，以富有開創性的洞察力與判斷力決定哪些元素最為相關。

——本文摘自《大話題：賽局理論》，2023 年 3 月，大家出版出版，未經同意請勿轉載。