「雙子質數無限說」，初步論證

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

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

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

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

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

熱不會讀新品發表會

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

十六世紀初的環球航行

既然史上第一次環球航行到十六世紀初才完成，埃拉托斯特尼在公元前 240 年又是用什麼方法，這麼準確估算出地球周長呢？他顯然不可能用捲尺繞地球一圈。他的替代做法是先測量地球表面上的一小段距離，再利用一些巧妙的數學運算，省去必須測量整段長度的麻煩。

埃拉托斯特尼掌管古代最好的亞歷山卓圖書館，在幾個科學領域都有極有趣的貢獻，包括數學、天文學、地理學、音樂等等。不過，儘管他有新穎的工作成果，同時代的人卻瞧不起他的能力，還給他「第二名」（Beta）這個綽號，暗示他不是第一流的思想家。

質數表的誕生

他提出的聰明想法之一是，用有系統的方式產生一系列質數。為了找出從 1 到 100 之間的所有質數，埃拉托斯特尼提出以下的程序。從 2 這個數開始，刪掉隨後所有 2 的倍數，只要在數字表中刪除每走 2 步遇到的整數就行了。接著走到 2 以後還沒刪掉的下一個整數，顯然是 3，現在要有系統的刪除每走 3 步遇到的所有數字，就刪掉了 3 的所有倍數。這個方法在此刻開始顯出自己的本領。整數表中還沒有刪掉的下一個數是 5，重複我們在前面兩個數所用的方法，把每走 5 步遇到的數字全部淘汰掉。

這個程序的要訣是：移到下一個還保留著的數字，然後往後面刪掉這個新數字的所有倍數。如果你做得很有系統，把 7 的倍數都淘汰之後，就會產生一個小於 100 的質數表。

這個程序極為聰明，省去了必須考慮很多的麻煩，非常適合電腦執行，但若要大量產生質數，它的問題是很快就會變得效率低落。它是思考的捷徑，可以讓你像機器般產生質數表，但這不是我想在本書裡頌揚的那種捷徑。我想要的是發掘質數的聰明策略。

利用太陽的位置計算地球周長

不過，我要給埃拉托斯特尼的地球周長計算工作打高分，因為太巧妙了。他聽說斯溫尼特（Swenet）城裡有一口井，太陽每年會有一天在它的天頂。太陽在夏至正午直射井底，不會在井邊投下任何影子。斯溫尼特就是今天的亞斯文（Aswan），離北回歸線不遠，北回歸線位於北緯 23.4 度，是我們發現太陽能夠從頭頂直射的最遠位置。

埃拉托斯特尼知道可以利用這個和太陽位置有關的資訊，在夏至這天進行實驗，讓他算出地球的周長。雖然這樣他就不必用捲尺繞地球一圈，但這項實驗還是需要走走路。他相信亞歷山卓位於斯溫尼特的正北方，於是在夏至那天，他在亞歷山卓豎起一根竿子。兩地的經度實際上差了 2 度，雖然沒有百分之百準確，不過我要為他的實驗精神鼓掌。

那天，太陽直射斯溫尼特，沒在那口井投下影子，但卻讓亞歷山卓的竿子產生一道影子。埃拉托斯特尼測量了影子長度和竿子長度，就能畫出一個具同樣比例的三角形，然後量出角度，這會告訴他亞歷山卓在地球周長上與斯溫尼特距離多遠。他量出的角度是 7.2 度，也就是一整個圓的 1/50，現在他只須知道亞歷山卓到斯溫尼特的實際距離。

他沒有親自走到斯溫尼特，而是雇了一位專門丈量距離的人員，稱為測距員（bematist），他們會在兩座城鎮之間走直線，當中只要有任何偏差都會把估算搞砸。丈量結果會用更大的計量單位來記錄：斯塔德。結果，亞歷山卓在斯溫尼特以北 5,000 斯塔德，倘若這是繞地球一整圈的 1/50，那麼地球的周長就會等於 250,000 斯塔德。

今天我們並不確定，埃拉托斯特尼所雇的測量員到底是用多少步來計量他的斯塔德，但就如我在前面解釋過的，這個丈量結果好極了。用一點幾何學，他就省去了雇人走地球一圈的需求。

幾何學的英文字 geometry 正源自這個實驗，因為拆解之後，它是意指「丈量地球」的希臘文：geo=地球，metry=丈量。

——本文摘自《數學就是這樣用：找出生活問題的最佳解》，2022 年 11 月，天下文化出版，未經同意請勿轉載。

2013 年國際數學界最轟動的新聞，應屬中國留美學者張益唐在孿生質數問題上所作出的突破。他個人的經歷更增加了整件事的傳奇性。

張益唐雖然是北大數學系的高材生，但是 37 歲從美國普渡大學拿到博士學位之後，因與指導教授意趣不合，一時在學界無法發展，多年靠打工餬口。1999 年才好不容易至新罕布夏大學數學系任講師。在張益唐長期不得意的歲月裡，他雖然沒有發表什麼數學論文，但是也不曾喪失志氣，還是堅持研究自己喜歡的數學問題。

張益唐在 58 歲暴得大名，各種獎項與頭銜接踵而來，在最是少年逞英豪的數學世界裡，真成為一個異數。英國數學家哈代在他著名的小冊子《一個數學家的辯白》裡曾說：「我不知道有任何一項數學的主要進展，是由超過五十歲的人所啟動。」張益唐正好給哈代的偏見一個反例。

張益唐研究的是關於質數的性質。

一個自然數 p 是質數（也稱為素數）的條件有二：其一，p 大於 1；其二，除了 1 與 p 自己之外，沒有別的自然數能整除 p。全體質數可以從小到大排成一個數列 2, 3, 5, 7, 11, 13, …，通常把排在第 n 個位置的質數記作 pn。如果 pn 與 pn+1 相差為2，則稱質數對 (pn, pn+1) 為一對孿生質數，例如 3 與 5，5 與 7，11 與 13。

「孿生質數猜想」就說這樣的質數對有無窮多組。因為古希臘的歐幾里得在他的巨著《原本》裡，曾經證明質數有無窮多個，所以有人以為也是歐幾里得最先提出孿生質數猜想。其實不然，目前從文獻中所見， 1879 年英國數學家格萊舍（James Whitbread Lee Glaisher）在《數學信使》（Messenger of Mathematics）雜誌上的一篇文章，才是第一次將孿生質數猜想見諸文字。

張益唐的大突破是證明有無窮多組質數對 (pn, pn+1) 使得 pn 與 pn+1 相距不超過 7 千萬。

為什麼這是一個大突破呢？因為在張益唐之前，不管給出什麼固定數 m，完全不知道相差在 m 之內的質數對，到底是有限多個還是無窮多個。自從 2013 年 5 月他的成就在國際媒體上廣為流傳之後，世界上很多數學家努力要把 7千萬的差距往下壓縮，目前已經改善到 246 之內。但是距離孿生質數猜想所需的 2，還有巨大而艱困的鴻溝。

一般人從媒體得知張益唐對數學做出了重大貢獻，可能會好奇問他的結果有什麼用？這裡「用」當然是指實際的應用。其實，他的成果目前還只有純學術價值，與國計民生毫不相干。自從古希臘人辨識出質數，在兩千多年的時間裡，除了數學家關心質數外，質數一直缺乏任何應用價值。二十世紀電腦發達之後，才利用因數分解成質數的超級困難特性，產生了某些幾乎無法有效破解的密碼系統，廣泛的應用到金融、通信、資料保密上。

在中國古算裡缺席？

一個基本的數學概念，經歷了兩千多年的滄桑，才顯現出它的實用價值，這不是一件平凡的成就。因此，我們不得不佩服希臘人研究質數的真知灼見，並且感嘆十八世紀前的中國傳統數學裡卻不見質數的蹤跡。質數為什麼會在中國遲來報到？實在是一個令人費解的現象。

歐幾里得的《原本》約在西元前 300 年左右成書，是古希臘數學集大成之作。第七卷討論數的性質，是使用幾何的觀點來理解數。也就是從「單位」的概念出發，以度量直線段的方式引入「數」。第七卷定義 2 說「一個數是由許多單位合成的。」因此，1 代表單位而不算作「數」。定義 11 說「質數是只能為一個單位所量盡者。」定義 16 說「兩數相乘得出的數稱為面，其兩邊就是相乘的數。」所以質數只能是線，而不能稱為面。

從這些定義可看出來，古希臘人所謂的「數」是依附在幾何的體系裡而得以操作。中國古代缺乏像《原本》這種按照邏輯次序鋪陳結果的數學書，通常是以解決實際問題的風貌來書寫，因此不太可能探討與闡述「數」的純粹性質。

例如，以《九章算術》為代表的中國古算裡，數字是與矩形、直角三角形的面積緊密相連結，但卻沒有像希臘人那樣分辨，有些數是可以表現為面，而有些數卻不可以。

也許古代中國缺乏一項歐幾里得所擁有的知識背景，因而造成了雙方關注問題的差異。古希臘有一位重要的哲人德謨克利特（Democritus），他主張萬物皆由不可分割的「原子」所構成。在「原子論」的知識背景下，數目 1 就不會與其他數目等量齊觀了，1 是「單位」，是數的「原子」。

中國古代沒有明確的「原子論」，《墨子．經說下》所說：「非半，進前取也。前，則中無為半，猶端也。」其中切得不能再切的「端」在《墨子．經說上》解釋為「端，體之無序而最前者也。」也只是類似「原子」的概念，並未發展到德謨克利特的思想程度。「原子論」思想的欠缺，或許是質數在中國古算裡缺席的因素之一。

難以望其項背

康熙敕編的《御製數理精蘊》（簡稱《數理精蘊》）是融合中西數學的百科全書，其中將質數譯為「數根」，並且在附表〈對數闡微〉中列有質數表。雖然質數已經在中國現身，但是數學家並沒有感到相見恨晚而深入探討。

晚清數學名家李善蘭在翻譯歐幾里得《原本》後九卷時，第一卷第一界說為：「數根者唯一能度而他數不能度」，也把質數翻譯成「數根」。

李善蘭很可能受《數理精蘊》的影響，而去研究判別給定數是否為質數的方法。英國傳教師偉烈亞力（Alexander Wylie）將其中一法，以給編輯的信公布在香港一家英文雜誌上，其敘述為「以 2 的對數乘給定的數，求出其真數，以 2 減同數，以給定數除餘數，若能除盡，則給定數為質數；若不能除盡，則不是質數。」

此命題常被稱為「中國定理」，其實是歐洲早已知道的「費馬小定理」的逆命題，該定理斷言若 p 為質數，則 2p − 2 ≣ 0 (mod p)。

其實李善蘭的方法並不永遠正確，例如：2341 − 2 是 341 的整倍數，但是 341 = 11 × 31 並不是一個質數。1872 年李善蘭在《中西聞見錄》報刊發表了〈考數根法〉一文，成為清末關於質數研究的重要成果，但是他並沒有收錄「中國定理」，應該是他已經知道命題並不為真。

要知道李善蘭與高斯的生命是有重疊的時期，因此當西方以質數為基礎所建立的數論，已經繁複深刻美不勝收之時，也許連李善蘭都不曾完全清楚中國落後的程度是多麼巨大！