0

0
0

文字

分享

0
0
0

羅巴契夫斯基誕辰|科學史上的今天:12/1

張瑞棋_96
・2015/12/01 ・1048字 ・閱讀時間約 2 分鐘 ・SR值 539 ・八年級

-----廣告,請繼續往下閱讀-----

歐幾里得的《幾何原本》是數學史上影響最深遠的經典鉅著,全書僅以五個公設就推導出各種幾何學定理。所謂公設就是不證自明的事實,自西元前三百年至十九世紀初,兩千一百年來無人質疑其真實性,頂多覺得其中第五公設(也就是平行公設)的敘述不夠簡明直觀,似乎可以從其它四個公設中推導而出。

羅巴契夫斯基。圖片來源:wikimedia

帝俄時期的數學家羅巴契夫斯基也是這麼想,但他百般嘗試後也跟前人一樣無功而返。不過他不肯就此放棄,反而轉念想道:也許根本不存在第五公設的證明。於是他採取一條截然不同的路徑:歸謬法。乾脆先假設第五公設是錯的,也就是過線外一點可作出不只一條與原來直線不相交的線;如果第五公設可由其它公設得證,那麼用這否定命題和其它公設展開推演,一定會產生邏輯矛盾;相反地,若沒有邏輯矛盾,就代表第五公設是不可證的。

沒想到羅巴契夫斯基真的推導出一個毫無矛盾的全新幾何系統;雖然也會產生一連串古怪的命題與定理,但這個系統的完備性和嚴密性與歐氏幾何毫無二致。他慎重地將它命名為「虛幾何」,如今我們則以他的姓氏稱之為「羅式幾何」,或是「雙曲幾何」,因為它適用於馬鞍狀的雙曲平面。

1826年,羅巴契夫斯基在他任職的喀山大學(Kazan University)舉行的學術會議上發表論文,與會者都不以為然而冷漠以對,畢竟他的理論不但挑戰兩千年來正確無誤的歐氏幾何,也違背平常的生活經驗。其實這些同事的反應還算客氣,當羅巴契夫斯基在六年後將更完整的論文交予科學院審查,得到的就是猛烈的抨擊與嘲諷。他最後失去教職,雙眼也逐漸失明,終於在1856年抑鬱而終。

-----廣告,請繼續往下閱讀-----

在他死後才出版的「數學王子」高斯的通信錄中,才披露出原來高斯早就涉獵非歐幾何研究,但也因擔心引起軒然大波而不敢公開發表。他也在給朋友的信中對羅巴契夫斯基的論文時大加讚譽,卻懼於同儕壓力而未予以聲援。一直要到1868年義大利數學家貝特拉米(Eugenic Beltrami)指出非歐幾何可以在歐幾里得空間的曲面上實現,羅巴契夫斯基的研究才得到平反,引起學術界的深入研究。

1893年,為了紀念他百年誕辰,喀山大學在校園內為他立起全世界第一座數學家的雕像,以紀念這位「幾何學的哥白尼」。

本文同時收錄於《科學史上的今天:歷史的瞬間,改變世界的起點》,由究竟出版社出版。

-----廣告,請繼續往下閱讀-----
文章難易度
張瑞棋_96
423 篇文章 ・ 1111 位粉絲
1987年清華大學工業工程系畢業,1992年取得美國西北大學工業工程碩士。浮沉科技業近二十載後,退休賦閒在家,當了中年大叔才開始寫作,成為泛科學專欄作者。著有《科學史上的今天》一書;個人臉書粉絲頁《科學棋談》。

0

0
0

文字

分享

0
0
0
AI 可以設計散熱,但誰敢讓它出貨?林唯耕談算力背後的物理現實
鳥苷三磷酸 (PanSci Promo)_96
・2026/08/20 ・2819字 ・閱讀時間約 5 分鐘

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

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

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

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

-----廣告,請繼續往下閱讀-----

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

熱不會讀新品發表會

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

晶片會發熱、材料會疲勞老化,一旦設備過熱,系統便會降頻保護 / 圖片:envato

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

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

-----廣告,請繼續往下閱讀-----

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

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

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

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

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

-----廣告,請繼續往下閱讀-----
他強調「每秒」的觀念,因為散熱談的是動態流動速率,而非靜態的冷卻魔法。/圖片:envato

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

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

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

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

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

-----廣告,請繼續往下閱讀-----

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

AI 會給答案,誰來負責出貨?

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

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

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

-----廣告,請繼續往下閱讀-----

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

-----廣告,請繼續往下閱讀-----
文章難易度

討論功能關閉中。

鳥苷三磷酸 (PanSci Promo)_96
250 篇文章 ・ 320 位粉絲
充滿能量的泛科學品牌合作帳號!相關行銷合作請洽:contact@pansci.asia

0

0
1

文字

分享

0
0
1
用十分鐘瞭解《線性代數、向量微積分》以及電磁學理論
陳鍾誠
・2016/03/15 ・118字 ・閱讀時間少於 1 分鐘

-----廣告,請繼續往下閱讀-----
陳鍾誠
6 篇文章 ・ 0 位粉絲
目前任教於金門大學資工系,喜歡寫「網誌、程式與電子書」,不喜歡「寫論文與接國科會計畫」。 目前除了編上課教材外,還在創造一個不需要學英文就可以透過程式翻譯和老外交談的語言 -- 八極語。

0

0
0

文字

分享

0
0
0
羅巴契夫斯基誕辰|科學史上的今天:12/1
張瑞棋_96
・2015/12/01 ・1048字 ・閱讀時間約 2 分鐘 ・SR值 539 ・八年級

歐幾里得的《幾何原本》是數學史上影響最深遠的經典鉅著,全書僅以五個公設就推導出各種幾何學定理。所謂公設就是不證自明的事實,自西元前三百年至十九世紀初,兩千一百年來無人質疑其真實性,頂多覺得其中第五公設(也就是平行公設)的敘述不夠簡明直觀,似乎可以從其它四個公設中推導而出。

羅巴契夫斯基。圖片來源:wikimedia

帝俄時期的數學家羅巴契夫斯基也是這麼想,但他百般嘗試後也跟前人一樣無功而返。不過他不肯就此放棄,反而轉念想道:也許根本不存在第五公設的證明。於是他採取一條截然不同的路徑:歸謬法。乾脆先假設第五公設是錯的,也就是過線外一點可作出不只一條與原來直線不相交的線;如果第五公設可由其它公設得證,那麼用這否定命題和其它公設展開推演,一定會產生邏輯矛盾;相反地,若沒有邏輯矛盾,就代表第五公設是不可證的。

沒想到羅巴契夫斯基真的推導出一個毫無矛盾的全新幾何系統;雖然也會產生一連串古怪的命題與定理,但這個系統的完備性和嚴密性與歐氏幾何毫無二致。他慎重地將它命名為「虛幾何」,如今我們則以他的姓氏稱之為「羅式幾何」,或是「雙曲幾何」,因為它適用於馬鞍狀的雙曲平面。

-----廣告,請繼續往下閱讀-----

1826年,羅巴契夫斯基在他任職的喀山大學(Kazan University)舉行的學術會議上發表論文,與會者都不以為然而冷漠以對,畢竟他的理論不但挑戰兩千年來正確無誤的歐氏幾何,也違背平常的生活經驗。其實這些同事的反應還算客氣,當羅巴契夫斯基在六年後將更完整的論文交予科學院審查,得到的就是猛烈的抨擊與嘲諷。他最後失去教職,雙眼也逐漸失明,終於在1856年抑鬱而終。

在他死後才出版的「數學王子」高斯的通信錄中,才披露出原來高斯早就涉獵非歐幾何研究,但也因擔心引起軒然大波而不敢公開發表。他也在給朋友的信中對羅巴契夫斯基的論文時大加讚譽,卻懼於同儕壓力而未予以聲援。一直要到1868年義大利數學家貝特拉米(Eugenic Beltrami)指出非歐幾何可以在歐幾里得空間的曲面上實現,羅巴契夫斯基的研究才得到平反,引起學術界的深入研究。

1893年,為了紀念他百年誕辰,喀山大學在校園內為他立起全世界第一座數學家的雕像,以紀念這位「幾何學的哥白尼」。

本文同時收錄於《科學史上的今天:歷史的瞬間,改變世界的起點》,由究竟出版社出版。

-----廣告,請繼續往下閱讀-----
-----廣告,請繼續往下閱讀-----
文章難易度
張瑞棋_96
423 篇文章 ・ 1111 位粉絲
1987年清華大學工業工程系畢業,1992年取得美國西北大學工業工程碩士。浮沉科技業近二十載後,退休賦閒在家,當了中年大叔才開始寫作,成為泛科學專欄作者。著有《科學史上的今天》一書;個人臉書粉絲頁《科學棋談》。

0

0
0

文字

分享

0
0
0
黎曼誕辰|科學史上的今天:9/17
張瑞棋_96
・2015/09/17 ・923字 ・閱讀時間約 1 分鐘 ・SR值 555 ・八年級

一個不到30歲的年輕人,創建出全新的幾何體系,讓縱橫二千年的歐氏幾何從絕對真理變成特例;然後在他死後50年,還幫了愛因斯坦在物理界提出革命性的廣義相對論,將主宰二百多年的牛頓萬有引力定律踢下王位。他,就是出生於漢諾威王國的數學家黎曼。

黎曼雖然自小就展現數學的天分,但因擔任牧師的父親期望他繼承神職的衣缽,進入哥廷根大學後只能念神學與哲學。不過,「數學王子」高斯就在此任教,喜愛數學的黎曼怎能錯過!而高斯也識出黎曼這個學生非同小可,積極鼓勵他放棄神學,投身數學。或許是衝著高斯的名聲,黎曼終於獲得父親的首肯,改念最愛的數學,並在高斯的指導下完成論文,於1851年獲得博士學位。

1854年,黎曼在首次的演講中發表了顛覆歐氏幾何的黎曼幾何。雖然之前已經有俄羅斯數學家羅巴切夫斯基(Nikolai Lobachevsky)質疑平行公設,而提出「直線外一點可作出兩條以上平行線」的雙曲面幾何,但他仍只是以二維的觀念在雙曲面上重建歐幾里得的相關定理。黎曼才是革命性地引進拓樸的概念、定義出張量與曲率,建構出可描述空間的完整計算工具。愛因斯坦原本一直不知如何描述被扭曲的時空結構,經數學家朋友向他介紹黎曼幾何後,愛因斯坦才得以推導出重力場方程式,完成廣義相對論。

除了黎曼幾何之外,黎曼還留下很多重要的知識遺產,這從數學中有一堆以他為名的專有名詞就可看出。而他提出的黎曼猜想,不但是希爾伯特於1900年列出著名的23個世紀問題之一(希爾伯特曾表示如果他沉睡千年後醒來,第一個要問的就是黎曼猜想得到證明了嗎?),也名列克雷數學研究所懸賞百萬美元的七大問題,至今百餘年仍無人能解。

-----廣告,請繼續往下閱讀-----

可惜黎曼這些重要的數學成就並未為改善他的經濟狀況,他一直擔任沒有薪水、只能向學生收費的講師,因此收入微薄,生活困苦,直到33歲才當上有固定收入的正教授,但身體健康早已惡化,最後不到四十歲就因肺結核不治死亡。不禁令人感嘆他若非英年早逝,不知還會作出多少重要的貢獻!

&nbsp本文同時收錄於《科學史上的今天:歷史的瞬間,改變世界的起點》,由究竟出版社出版。

 

 

-----廣告,請繼續往下閱讀-----
張瑞棋_96
423 篇文章 ・ 1111 位粉絲
1987年清華大學工業工程系畢業,1992年取得美國西北大學工業工程碩士。浮沉科技業近二十載後,退休賦閒在家,當了中年大叔才開始寫作,成為泛科學專欄作者。著有《科學史上的今天》一書;個人臉書粉絲頁《科學棋談》。