康托爾誕辰｜科學史上的今天：3/3

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

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

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

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

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

熱不會讀新品發表會

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

我們都知道無窮（infinity）是什麼。無窮比任何數都更大。當你從一二三不停數下去的時候你會靠近它。它也是萬物甚至更多事物的總和。

我們談到無窮時，一定會想知道一件事：

比無窮還大？有可能嗎？

這個問題其實真的有答案。它不是開放性問題，也不是陷阱題。答案不是「是」就是「否」，而且我會在這一章的結尾公布答案。

讀者可以先猜猜看，但我們或許應該先訂好遊戲規則，讓大家知道該怎麼思考。

具體說來，我們需要訂定關於「較大」的規則。我們要怎麼確定自己發現了比無窮更大的事物？如果是有限的量，要分辨某個事物比另一個事物更大相當容易，但碰到無窮時似乎就沒那麼簡單了。我們不希望完全靠感覺判斷，所以必須選擇簡單明瞭的規則，用來判定一個量是否比另一個量「更大」。

配對數量的多寡來判斷哪邊比較「大」

那麼，在一般、有限的狀況下，我們通常怎麼判定「較大」？我們說右邊這一堆比左邊的更大是什麼意思？

沒錯，用看的就知道。但假設我們遇到一個外星人，這個外星人從沒聽過「更大」、「更多」、「更好」這些概念，我們該如何解釋右邊這堆較大？真的，試試看就知道。這個概念太基本了，其實很難從頭開始解釋。

當我們碰到困難時，數學中有個常用的技巧，就是提出完全相反的問題，看看會有什麼結果。我們要怎麼跟外星人解釋這兩堆的大小相同？

我們不能用「相等」這個詞，因為它正是我們要去解釋的東西。這個外星人想了解我們說兩樣事物「相等」或「相同」時是什麼意思，以及它的主要概念是什麼。

有個方法行得通。把兩堆東西並排起來，一個對一個。如果兩兩配對後正好用完，沒有剩餘，表示這兩堆東西大小相同。

「提出相反問題」的技巧確實有用。只要把這個規則反轉過來，就能得到「較大」的定義。

現在問題已經定義清楚了，答案也隨之確定。那麼，世界上有什麼事物比無窮更大？答案是「是」還是「否」？世界上有什麼事物和無窮兩兩配對之後還有剩餘？現在我們可以思考之後猜猜看。

無窮跟無窮 +1 誰比較大？

我們可以把無窮想成一個深不見底的袋子，裡面裝著無限多個物體。

我們可以從這個袋子裡拿出任意數量的物體，袋子裡也還剩下無限多個。

世界上怎麼可能有其他事物比它更大？好吧，如果是無窮加一呢？

多一個物體看來應該不會對無窮造成什麼影響，但我們用配對規則來確認看看。首先，我們可以把無窮袋中的物體排成一排，這樣比較容易看清楚哪個跟哪個配對。

如果我們以最顯而易見的方式配對，無窮加一看起來當然更大。

不過要小心！規則指出，兩個事物必須無法正好兩兩配對，才會有一者較大。（最好經常回頭看清楚規則！）還有一種配對方法確實可行，而且兩方都不會有剩餘：

如果你覺得這樣好像在騙人，請花點時間告訴自己，這樣真的沒錯。我們不是把一個物體跟點點點配對，而是把它跟隱藏在點點點中的下一個物體配對。既然兩個袋子都有無限多個物體，不會有物體配對不到，所以兩者大小相同。無窮加一等於無窮！

我來講個故事說明這個結果有多奇怪。

無窮大飯店！如何塞進無窮 +1 位客人

假設我們在一家非常特別的「無窮大飯店」當櫃臺接待人員。無窮大飯店有無限多間房間。飯店裡有條長長的走廊，沿著走廊有一排房門，連綿不絕地延續下去，無論走多遠都不會結束。走廊沒有盡頭，所以也沒有「無窮號房」或「最後一號房」。當然有一號房，每間房間也都有下一號房。

今天晚上格外忙碌，飯店裡每間房間都住滿了（對，這個世界裡有無限多個人）。如果沿走廊隨意走一段距離，選一扇門敲幾下，就會聽到：「有人！請勿打擾！」無限多間房間，裡面住著無限多個人。

接著有人從外面走進飯店大廳說：「請問還有房間嗎？」我們不是第一天在無窮大飯店工作，當然知道該怎麼做。我們拿起廣播系統麥克風說：「各位來賓，抱歉打擾一下，請各位來賓搬到下一間房間。沒錯，請收拾好行李，走出房門，朝遠離大廳的方向搬到下一間房間。謝謝合作，祝您有個愉快的夜晚。」大家都照做之後，就有房間給新住客了。

無限多間房間，無限多加一位住客，房間跟住客依然正好兩兩配對。無窮加一等於無窮。

無窮加五、無窮加一兆……都沒關係，這個邏輯全都成立。兩個袋子可以正好配對，可以多裝進一位客人。無窮非常大，任何有限的量根本沒得比。所以我們還沒有找到比無窮更大的事物。

——本文摘自《不用數字的數學：讓我們談談數學的概念，一些你從沒想過的事……激發無窮的想像力！》，2022 年 9 月，經濟新潮社，未經同意請勿轉載。

• 本文轉載自數感實驗室 Numeracy Lab

繼《鬼滅之刃》的熱潮後，本季的新番動畫《咒術迴戰》亦來勢洶洶，特別是在動畫揭曉五条悟老師摘下眼罩後帥到天怒人怨的臉，以及近乎犯規的能力後，更引發了許多討論。而我們感興趣的是——五条悟老師的咒術與一個數學悖論有關。

____________________防雷分隔線_______________________

．

．

．

．

．

．

．

____________________防雷分隔線_______________________

在動畫第七集中，五条悟讓對手漏瑚完全無法靠近他的手掌。他說：

「你觸碰到的是，我和你之間的無限。」

沒錯，這個能力和「芝諾悖論」有著異曲同工之妙。芝諾悖論的經典案例是：阿基里斯永遠追不上先起跑的烏龜。聽起來不合理吧？小孩子都能追上眼前的烏龜了，何況是號稱希臘第一勇士的阿基里斯？

對此，芝諾悖論的說法是，假設阿基里斯跟烏龜之間有一段距離，當阿基里斯花時間跑完這段距離時，烏龜同一時間又走了一小段；阿基里斯再花一點時間跑這一小段，同一時間烏龜又再往前走一小段。不管距離多近，阿基里斯都得再花一點時間去追趕，而同一時間，烏龜又可以再往前跑一點點。

換句話說，「追趕者首先應該達到被追者出發之點」的前提，限制了阿基里斯前進的距離，所以只要烏龜持續前進，阿基里斯永遠都追不到烏龜。
破解這個悖論最快的方法就是帶數字算一次，假設阿基里斯的跑速 10 公尺／秒，烏龜速度則是 0.1 公尺／秒。今天，烏龜先跑 999 公尺，則阿基里斯每次追趕所花的時間分別是：

999÷10 = 99.9 秒
99.9 秒×0.1÷10 = 0.999 秒
0.999 秒×0.1÷10 = 0.00999 秒
……

我們可以得到一個首項 99.9，公比 0.01 的無窮等比數列，雖然因為公比小於 1，它會收斂在約 101，表示阿基里斯花 101 秒就能追上烏龜。但如果就有「幾項」來說，那的確是無限多項，這個就是五条悟老師說的「我和你之間的無限」。

動畫中，五条悟老師運用了這個悖論，讓對手漏瑚彷彿被一隻無形的超慢烏龜擋住，每次只能前進一點點，更重要的是，他的咒術得以讓漏瑚每次前進的時間，沒有因為距離縮短而變小。

阿基里斯之所以能追上烏龜的關鍵是，雖然有無限多項，但後期追趕的時間趨近於零。所以只要漏瑚每次前進的時間依然維持定值，那他就會真的被一隻無形的超慢烏龜擋住，每次前進距離變得無限小，他花了無限多的時間，依然無法移動，宛若靜止。

不愧是有著逆天設定的五條悟老師，連咒術的講解都那麼簡單幾句帶過，數學老師好好講，一堂課都要過去了啦！