七十多年前轟炸日本的原子彈，直到現在都還影響著臺灣的我們

• 作者／賴昭正｜前清大化學系教授、系主任、所長；合創科學月刊

我擔心人工智慧可能會完全取代人類。如果人們能設計電腦病毒，那麼就會有人設計出能夠自我改進和複製的人工智慧。 這將是一種超越人類的新生命形式。

——史蒂芬．霍金（Stephen Hawking）　英國理論物理學家

大約在八十年前，當第一台數位計算機出現時，一些電腦科學家便一直致力於讓機器具有像人類一樣的智慧；但七十年後，還是沒有機器能夠可靠地提供人類程度的語言或影像辨識功能。誰又想到「人工智慧」（Artificial Intelligent，簡稱 AI）的能力最近十年突然起飛，在許多（所有？）領域的測試中擊敗了人類，正在改變各個領域——包括假新聞的製造與散佈——的生態。

圖形處理單元（graphic process unit，簡稱 GPU）是這場「人工智慧」革命中的最大助手。它的興起使得九年前還是個小公司的 Nvidia（英偉達）股票從每股不到 $5，上升到今天（5 月 24 日）每股超過 $1000（註一）的全世界第三大公司，其創辦人（之一）兼首席執行官、出生於台南的黃仁勳（Jenson Huang）也一躍成為全世界排名 20 內的大富豪、台灣家喻戶曉的名人！可是多少人了解圖形處理單元是什麼嗎？到底是時勢造英雄，還是英雄造時勢？

在回答這問題之前，筆者得先聲明筆者不是學電腦的，因此在這裡所能談的只是與電腦設計細節無關的基本原理。筆者認為將原理轉成實用工具是專家的事，不是我們外行人需要了解的；但作為一位現在的知識分子或公民，了解基本原理則是必備的條件：例如了解「能量不滅定律」就可以不用仔細分析，即可判斷永動機是騙人的；又如現在可攜帶型冷氣機充斥市面上，它們不用往室外排廢熱氣，就可以提供屋內冷氣，讀者買嗎？

CPU 與 GPU

不管是大型電腦或個人電腦都需具有「中央處理單元」（central process unit，簡稱 CPU）。CPU 是電腦的「腦」，其電子電路負責處理所有軟體正確運作所需的所有任務，如算術、邏輯、控制、輸入和輸出操作等等。雖然早期的設計即可以讓一個指令同時做兩、三件不同的工作；但為了簡單化，我們在這裡所談的工作將只是執行算術和邏輯運算的工作（arithmetic and logic unit，簡稱 ALU），如將兩個數加在一起。在這一簡化的定義下，CPU 在任何一個時刻均只能執行一件工作而已。

在個人電腦剛出現只能用於一般事物的處理時，CPU 均能非常勝任地完成任務。但電腦圖形和動畫的出現帶來了第一批運算密集型工作負載後，CPU 開始顯示心有餘而力不足：例如電玩動畫需要應用程式處理數以萬計的像素（pixel），每個像素都有自己的顏色、光強度、和運動等, 使得 CPU 根本沒辦法在短時間內完成這些工作。於是出現了主機板上之「顯示插卡」來支援補助 CPU。

1999 年，英偉達將其一「具有集成變換、照明、三角形設定／裁剪、和透過應用程式從模型產生二維或三維影像的單晶片處理器」（註二）定位為「世界上第一款 GPU」，「GPU」這一名詞於焉誕生。不像 CPU，GPU 可以在同一個時刻執行許多算術和邏輯運算的工作，快速地完成圖形和動畫的變化。

依序計算和平行計算

一部電腦 CPU 如何計算 7×5+6/3 呢？因每一時刻只能做一件事，所以其步驟為：

• 計算 7×5；
• 計算 6/3；
• 將結果相加。

總共需要 3 個運算時間。但如果我們有兩個 CPU 呢？很多工作便可以同時（平行）進行：

• 同時計算 7×5 及 6/3；
• 將結果相加。

只需要 2 個運算時間,比單獨的 CPU 減少了一個。這看起來好像沒節省多少時間，但如果我們有 16 對 a×b 要相加呢？單獨的 CPU 需要 31 個運算的時間（16 個 × 的運算時間及 15 個 + 的運算時間），而有 16 個小 CPU 的 GPU 則只需要 5 個運算的時間（1 個 × 的運算時間及 4 個 + 的運算時間）！

現在就讓我們來看看為什麼稱 GPU 為「圖形」處理單元。圖一左圖《我愛科學》一書擺斜了，如何將它擺正成右圖呢？ 一句話：「將整個圖逆時針方向旋轉 θ 即可」。但因為左圖是由上百萬個像素點（座標 x, y）組成的，所以這句簡單的話可讓 CPU 忙得不亦樂乎了：每一點的座標都必須做如下的轉換

x’ = x cosθ + y sinθ

y’ = -x sinθ+ y cosθ

即每一點均需要做四個 × 及兩個 + 的運算！如果每一運算需要 10^-6 秒，那麼讓《我愛科學》一書做個簡單的角度旋轉，便需要 6 秒，這豈是電動玩具畫面變化所能接受的？

人類的許多發明都是基於需要的關係，因此電腦硬件設計家便開始思考：這些點轉換都是獨立的，為什麼我們不讓它們同時進行（平行運算，parallel processing）呢？於是專門用來處理「圖形」的處理單元出現了——就是我們現在所知的 GPU。如果一個 GPU 可以同時處理 10⁶ 運算，那上圖的轉換只需 10^-6 秒鐘！

GPU 的興起

GPU 可分成兩種：

• 整合式圖形「卡」（integrated graphics）是內建於 CPU 中的 GPU，所以不是插卡，它與 CPU 共享系統記憶體，沒有單獨的記憶體組來儲存圖形／視訊，主要用於大部分的個人電腦及筆記型電腦上；早期英特爾（Intel）因為不讓插卡 GPU 侵蝕主機的地盤，在這方面的研發佔領先的地位，約佔 68% 的市場。
• 獨立顯示卡（discrete graphics）有不與 CPU 共享的自己專用內存；由於與處理器晶片分離，它會消耗更多電量並產生大量熱量；然而，也正是因為有自己的記憶體來源和電源，它可以比整合式顯示卡提供更高的效能。

2007 年，英偉達發布了可以在獨立 GPU 上進行平行處理的軟體層後，科學家發現獨立 GPU 不但能夠快速處理圖形變化，在需要大量計算才能實現特定結果的任務上也非常有效，因此開啟了為計算密集型的實用題目編寫 GPU 程式的領域。如今獨立 GPU 的應用範圍已遠遠超出當初圖形處理，不但擴大到醫學影像和地震成像等之複雜圖像和影片編輯及視覺化，也應用於駕駛、導航、天氣預報、大資料庫分析、機器學習、人工智慧、加密貨幣挖礦、及分子動力學模擬（註三）等其它領域。獨立 GPU 已成為人工智慧生態系統中不可或缺的一部分，正在改變我們的生活方式及許多行業的遊戲規則。英特爾在這方面發展較遲，遠遠落在英偉達（80%）及超微半導體公司（Advance Micro Devices Inc.，19%，註四）之後，大約只有 1% 的市場。

事實上現在的中央處理單元也不再是真正的「單元」，而是如圖二可含有多個可以同時處理運算的核心（core）單元。GPU 犧牲大量快取和控制單元以獲得更多的處理核心，因此其核心功能不如 CPU 核心強大，但它們能同時高速執行大量相同的指令，在平行運算中發揮強大作用。現在電腦通常具有 2 到 64 個核心；GPU 則具有上千、甚至上萬的核心。

結論

我們一看到《我愛科學》這本書，不需要一點一點地從左上到右下慢慢掃描,即可瞬間知道它上面有書名、出版社等，也知道它擺斜了。這種「平行運作」的能力不僅限於視覺，它也延伸到其它感官和認知功能。例如筆者在清華大學授課時常犯的一個毛病是：嘴巴在講，腦筋思考已經不知往前跑了多少公里，常常為了追趕而越講越快，將不少學生拋到腦後！這不表示筆者聰明，因為研究人員發現我們的大腦具有同時處理和解釋大量感官輸入的能力。

人工智慧是一種讓電腦或機器能夠模擬人類智慧和解決問題能力的科技，因此必須如人腦一樣能同時並行地處理許多資料。學過矩陣（matrix）的讀者應該知道，如果用矩陣和向量（vector）表達，上面所談到之座標轉換將是非常簡潔的（註五）。而矩陣和向量計算正是機器學習（machine learning）演算法的基礎！也正是獨立圖形處理單元最強大的功能所在！因此我們可以了解為什麼 GPU 會成為人工智慧開發的基石：它們的架構就是充分利用並行處理，來快速執行多個操作，進行訓練電腦或機器以人腦之思考與學習的方式處理資料——稱為「深度學習」（deep learning）。

黃仁勳在 5 月 22 日的發布業績新聞上謂：「下一次工業革命已經開始了：企業界和各國正與英偉達合作，將價值數萬億美元的傳統資料中心轉變為加速運算及新型資料中心——人工智慧工廠——以生產新商品『人工智慧』。人工智慧將為每個產業帶來顯著的生產力提升，幫助企業降低成本和提高能源效率，同時擴大收入機會。」

附錄

人工智慧的實用例子：下面一段是微軟的「copilot」代書、谷歌的「translate」代譯之「one paragraph summary of GPU and AI」。讀完後，讀者是不是認為筆者該退休了？

GPU（圖形處理單元）和 AI（人工智慧）之間的協同作用徹底改變了高效能運算領域。GPU 具有平行處理能力，特別適合人工智慧和機器學習所需的複雜資料密集運算。這導致了影像和視訊處理等領域的重大進步，使自動駕駛和臉部辨識等技術變得更加高效和可靠。NVIDIA 開發的平行運算平台 CUDA 進一步提高了 GPU 的效率，使開發人員能夠透過將人工智慧問題分解為更小的、可管理的、可同時處理的任務來解決這些問題。這不僅加快了人工智慧研究的步伐，而且使其更具成本效益，因為 GPU 可以在很短的時間內執行與多個 CPU 相同的任務。隨著人工智慧的不斷發展，GPU 的角色可能會變得更加不可或缺，推動各產業的創新和新的可能性。大腦透過神經元網路實現這一目標，這些神經元網路可以獨立但有凝聚力地工作，使我們能夠執行複雜的任務，例如駕駛、導航、觀察交通信號、聽音樂並同時規劃我們的路線。此外，研究表明，與非人類動物相比，人類大腦具有更多平行通路，這表明我們的神經處理具有更高的複雜性。這個複雜的系統證明了我們認知功能的卓越適應性和效率。我們可以一邊和朋友聊天一邊走在街上，一邊聽音樂一邊做飯，或一邊聽講座一邊做筆記。人工智慧是模擬人類腦神經網路的科技，因此必須能同時並行地來處理許多資料。研究人員發現了人腦通訊網路具有一個在獼猴或小鼠中未觀察獨特特徵：透過多個並行路徑傳輸訊息,因此具有令人難以置信的多任務處理能力。

註解

（註一）當讀者看到此篇文章時，其股票已一股換十股，現在每一股約在 $100 左右。

（註二）組裝或升級過個人電腦的讀者或許還記得「英偉達精視 256」（GeForce 256）插卡吧?

（註三）筆者於 1984 年離開清華大學到 IBM 時，就是參加了被認為全世界使用電腦時間最多的量子化學家、IBM「院士（fellow）」Enrico Clementi 的團隊：因為當時英偉達還未有可以在 GPU 上進行平行處理的軟體層，我們只能自己寫軟體將 8 台中型電腦（非 IBM 品牌！）與一大型電腦連接來做平行運算，進行分子動力學模擬等的科學研究。如果晚生 30 年或許就不會那麼辛苦了?

（註四）補助個人電腦用的 GPU 品牌到 2000 年時只剩下兩大主導廠商：英偉達及 ATI（Array Technology Inc.）。後者是出生於香港之四位中國人於 1985 年在加拿大安大略省成立，2006 年被超微半導體公司收購，品牌於 2010 年被淘汰。超微半導體公司於 2014 年 10 月提升台南出生之蘇姿豐（Lisa Tzwu-Fang Su）博士為執行長後，股票從每股 $4 左右，上升到今天每股超過 $160，其市值已經是英特爾的兩倍，完全擺脫了在後者陰影下求生存的小眾玩家角色，正在挑戰英偉達的 GPU 市場。順便一題：超微半導體公司現任總裁（兼 AI 策略負責人）為出生於台北的彭明博（Victor Peng）；與黃仁勳及蘇姿豐一樣，也是小時候就隨父母親移居到美國。

（註五）或。

延伸閱讀

• 「熱力學與能源利用」，《科學月刊》，1982 年 3 月號；收集於《我愛科學》（華騰文化有限公司，2017 年 12 月出版），轉載於「嘉義市政府全球資訊網」。
• 「網路安全技術與比特幣」，《科學月刊》，2020 年 11 月號；轉載於「善科教育基金會」的《科技大補帖》專欄。

一、前言

選後的立法院三黨不過半，但民眾黨有八席不分區立委，足以與民進黨或國民黨結成多數聯盟，勢將在國會居於樞紐地位。無獨有偶的是：民眾黨主席柯文哲在總統大選得到 26.5% 的選票，屈居第三，但因其獲得部分藍、綠選民的支持，在選民偏好順序組態的基礎上，它卻也同樣地居於樞紐地位。這個地位，將足以讓柯文哲及民眾黨在選後的台灣政壇持續激盪。

二、柯文哲是「孔多塞贏家」？

這次總統大選，誰能脫穎而出並不是一個特別令人殷盼的問題，更值得關心的問題是藍白綠「三跤㧣」在選民偏好順序組態中的消長。台灣總統大選採多數決選制，多數決選制英文叫 first-past-the-post（FPTP），簡單來講就是票多的贏，票少的輸。在 10 月中藍白合破局之後，賴蕭配會贏已經沒有懸念，但這只是選制定規之下的結果，換了另一個選制，同樣的選情可能就會險象環生。

從另一個角度想：選制是人為的，而選情反映的是社會現實。政治學者都知道天下沒有十全十美的選制；既定的選制推出了一位總統，並不代表選情的張力就會成為過眼雲煙。當三股社會勢力在制度的帷幕後繼續激盪，台灣政治將無法因新總統的誕生而趨於穩定。

如果在「三跤㧣」選舉之下，選情的激盪從候選人的得票多少看不出來，那要從哪裡看？政治學提供的一個方法是把候選人配對 PK，看是否有一位候選人能在所有的 PK 中取勝。這樣的候選人並不一定存在，如果不存在，那代表有 A 與 B 配對 A 勝，B 與 C 配對 B 勝，C 與 A 配對 C 勝的 A＞B＞C＞A 的情形。這種情形，一般叫做「循環多數」（cyclical majorities），是 18 世紀法國學者孔多塞（Nicolas de Condorcet）首先提出。循環多數的存在意涵選舉結果隱藏了政治動盪。

另一方面，如果有一位候選人能在配對 PK 時擊敗所有的其他候選人，這樣的候選人稱作「孔多塞贏家」（Condorcet winner），而在配對 PK 時均被擊敗的候選人則稱作「孔多塞輸家」（Condorcet loser）。三角嘟的選舉若無循環多數，則一定會有孔多塞贏家和孔多塞輸家，然而孔多塞贏家不一定即是多數決選制中贏得選舉的候選人，而多數決選制中贏得選舉的候選人卻可能是孔多塞輸家。

如果多數決選制中贏得選舉的候選人不是孔多塞贏家，那與循環多數一樣，意涵選後政治將不會穩定。

那麼，台灣這次總統大選，有沒有孔多塞贏家？如果有，是多數決選制之下當選的賴清德嗎？我根據戴立安先生調查規劃的《美麗島電子報》追蹤民調第 109 波（1 月 11 日至 12 日），也是選前最後民調的估計，得到的結果令人驚訝：得票墊後的柯文哲很可能是孔多塞贏家，而得票最多的賴清德很可能是孔多塞輸家。果然如此，那白色力量將會持續地激盪台灣政治！

我之前根據美麗島封關前第 101 波估計，侯友宜可能是孔多塞贏家，而賴清德是孔多塞輸家。現在得到不同的結果，顯示了封關期間的三股政治力量的消長。本來藍營期望的棄保不但沒有發生，而且柯文哲選前之夜在凱道浩大的造勢活動，還震驚了藍綠陣營。民調樣本估計出的孔多塞贏家本來就不準確，但短期內的改變，很可能反映了選情的激盪，甚至可能反映了循環多數的存在。

三、如何從民調樣本估計孔多塞贏家

根據這波民調，總樣本 N=1001 位受訪者中，如果當時投票，會支持賴清德的受訪者共 355 人，佔 35.4%；支持侯友宜的受訪者共 247 人，佔 24.7%。支持柯文哲的受訪者共 200 人，佔 19.9%。

美麗島民調續問「最不希望誰當總統，也絕對不會投給他的候選人」，在會投票給三組候選人的 802 位支持者中，一共有 572 位對這個問題給予了明確的回答。《美麗島電子報》在其網站提供了交叉表如圖：

根據這個交叉表，我們可以估計每一位明確回答了續問的受訪者對三組候選人的偏好順序，然後再依這 572 人的偏好順序組態來判定在兩兩 PK 的情形下，候選人之間的輸贏如何。我得到的結果是：

• 柯文哲 PK 賴清德：311 > 261（54.4% v. 45.6%）
• 柯文哲 PK 侯友宜：287 > 285（50.2% v. 49.8%）
• 侯友宜 PK 賴清德：293 > 279（51.2% v. 48.8%）

所以柯文哲是孔多塞贏家，賴清德是孔多塞輸家。當然我們如果考慮抽樣誤差（4.1%），除了柯文哲勝出賴清德具有統計顯著性之外，其他兩組配對可說難分難解。但在這 N=572 的小樣本中，三位候選人的得票率分別是：賴清德 40%，侯友宜 33%，柯文哲 27%，與選舉實際結果幾乎一模一樣。至少在這個反映了選舉結果的樣本中，柯文哲是孔多塞贏家。依多數決選制，孔多塞輸家賴清德當選。

不過以上的分析有一個問題：各陣營的支持者中，有不少人無法明確回答「最不希望看到誰當總統，也絕對不會投給他做總統」的候選人。最嚴重的是賴清德的支持者，其「無反應率」（nonresponse rate）高達 34.5%。相對而言，侯友宜、柯文哲的支持者則分別只有 24.1%、23.8% 無法明確回答。為什麼賴的支持者有較多人無法指認最討厭的候選人？一個假設是因為藍、白性質相近，對許多綠營選民而言，其候選人的討厭程度可能難分軒輊。反過來說，藍、白陣營的選民大多數會最討厭綠營候選人，因此指認較無困難。無論如何，把無法明確回答偏好順序的受訪者歸為「遺失值」（missing value）而棄置不用總不是很恰當的做法，在這裡尤其可能會造成賴清德支持者數目的低估。

補救的辦法之一是在「無法明確回答等於無法區別」的假設下，把「遺失值」平分給投票對象之外的其他兩位候選人，也就是假設他們各有 1/2 的機會是無反應受訪者最討厭的候選人。這樣處理的結果，得到

• 柯文哲 PK 賴清德：389 > 413（48.5% v. 51.5%）
• 柯文哲 PK 侯友宜：396 > 406（49.4% v. 50.6%）
• 侯友宜 PK 賴清德：376 > 426（46.9% v. 53.1%）

此時賴清德是孔多塞贏家，而柯文哲是孔多塞輸家。在這 N=802 的樣本中，三位候選人的得票率分別是：賴清德 44%，侯友宜 31%，柯文哲 25%。雖然依多數決選制，孔多塞贏家賴清德當選，但賴的得票率超過實際選舉結果（40%）。用無實證的假設來填補遺失值，反而造成賴清德支持者數目的高估。

如果擔心「無法明確回答等於無法區別」的假設太勉強，補救的辦法之二是把「遺失值」依有反應受訪者選擇最討厭對象的同樣比例，分給投票對象之外的其他兩位候選人。這樣處理的結果，得到

• 柯文哲 PK 賴清德：409 > 393（51.0% v. 49.0%）
• 柯文哲 PK 侯友宜：407 > 395（50.8% v. 49.2%）
• 侯友宜 PK 賴清德：417 > 385（52.0% v. 48.0%）

此時柯文哲又是孔多塞贏家，而賴清德又是孔多塞輸家了。這個樣本也是 N=802，三位候選人的得票率分別是：賴清德 44%，侯友宜 31%，柯文哲 25%，與上面的結果一樣。

以上三種無反應處理方法都不盡完美。第一種把無反應直接當遺失值丟棄，看似最不可取。然而縮小的樣本裡，三位候選人的支持度與實際選舉結果幾乎完全一致。後兩種以不同的假設補足了遺失值，但卻過度膨脹了賴清德的支持度。如果以樣本中候選人支持度與實際結果的比較來判斷遺失值處理方法的效度，我們不能排斥第一種方法及其結果。

無論如何，在缺乏完全資訊的情況下，我們發現的確有可能多數決輸家柯文哲是孔多塞贏家，而多數決贏家賴清德是孔多塞輸家。因為配對 PK 結果缺乏統計顯著性，我們甚至不能排除循環多數的存在。此後四年，多數決選制產生的總統能否在三角嘟力量的激盪下有效維持政治穩定，值得我們持續觀察。

四、結語

柯文哲之所以可以是孔多塞贏家，是因為藍綠選民傾向於最不希望對方的候選人當總統。而白營的中間偏藍位置，讓柯文哲與賴清德 PK 時，能夠得到大多數藍營選民的奧援而勝出。同樣的，當他與侯友宜 PK 時，他也能夠得到一部份綠營選民的奧援。只要他的支持者足夠，他也能夠勝出。反過來看，當賴清德與侯友宜 PK 時，除非他的基本盤夠大，否則從白營得到的奧援不一定足夠讓他勝出。民調 N=572 的樣本中，賴清德得 40%，侯友宜得 33%，柯文哲得 27%。由於柯的支持者討厭賴清德（52.5%）遠遠超過討厭侯友宜（23.7%），賴雖然基本盤較大，能夠從白營得到的奧援卻不多。而侯雖基本盤較小，卻有足夠的奧援。柯文哲之所以成為孔多塞贏家，賴清德之所以成為孔多塞輸家，都是這些因素的數學結果。

資料來源

• 《美麗島電子報》追蹤民調第109波（1月11日至12日）

• 作者／劉柏宏
  • 勤益科技大學基礎通識教育中心教授

• Take Home Message
  • 電影《奧本海默》中，對於幾位匈牙利數學家如馮紐曼、波利亞等人的描述篇幅較少，但他們其實對科學界影響深遠。
  • 馮紐曼在曼哈頓計畫中建議以內爆透鏡設計原子彈，不僅所需的裂變材料較少，又可以防止原子彈過早引爆，達成更對稱與高效的爆炸。
  • 波利亞提出以「捷思法」等強調歸納實驗的方式思考數學問題，例如觀察找出數學公式的形成，此法也掀起了數學教育革命。

遊艇緩緩流動在分隔布達區（Buda）與佩斯區（Pest）的多瑙河上，絲絨般的水波、柔棉沁涼的河風，兼容哥德式與文藝復興建築風格的匈牙利國會大廈（Hungarian Parliament Building）圓頂，在夕陽的烘托之下宛如紅寶石般璀璨，流瀉出昔日奧匈帝國的風華。

筆者來到此地，終於可以想像為何 100 年前這條河的兩岸能夠孕育出一批改變科學面貌，甚至改變人類歷史的數學家與科學家。趁著今（2023）年暑假到布達佩斯開會之便，筆者也試著踏尋這些科學家的足跡。

回臺灣之後恰逢電影《奧本海默》（Oppenheimer）上映，儘管許多人聚焦在主角奧本海默（Julius Oppenheimer）的內心世界，不過筆者更關心的是幾位被火星人遺留在地球上的匈牙利數學家。

地球上的火星遺民

20 世紀初歐美科學圈流傳著一個神祕的傳說，記錄下這傳說的是匈牙利物理學家馬克思（György Marx），但傳說起源卻得從義大利物理學家費米（Enrico Fermi）說起。

1950 年某個夏日午後，費米在美國原子彈曼哈頓計畫（Manhattan Project）的基地——洛斯阿拉莫斯國家實驗室（Los Alamos National Laboratory），和幾位科學家聊到當時有關幽浮的報導時，提出了一個問題：

「宇宙如此浩瀚，包含無數恆星，許多恆星和太陽沒什麼差別，也有行星圍繞著它們旋轉。一部分的行星地表也會有水和空氣，而來自恆星的能量將促使有機化合物合成。

這些化學物質將相互結合產生一個自我複製系統。最簡單的生物會通過自然選擇繁殖、進化並變得更加複雜，直到最終出現活躍的、會思考的生物，文明、科學和科技隨之而來。

由於對美麗新世界的渴求，他們會旅行到附近行星，然後到另一個恆星的行星。他們最終應該遍布整個銀河系。這些非凡和傑出的人很難忽視像地球這樣美麗的地方。

所以，如果真是如此，他們必定來過這裡。那麼，他們到底在哪裡？」

關於這個「費米問題」，匈牙利物理學家西拉德（Leo Szilard）的回應是：「他們就在我們身邊啊！只是他們自稱匈牙利人！」（They are among us, but they call themselves Hungarians.）。

西拉德的高級幽默，點燃匈牙利人是火星遺民的想像，各種附和的說法紛紛出籠。有一種說法是 19 世紀末至 20 世紀初，一艘來自火星的太空船降落在地球，由於發現匈牙利的女子美麗又性感因而定居下來，繼而繁衍後代。

後來太空船要返回火星時超重，不得不將一些人留下，這些人包括建議當時美國總統羅斯福（Franklin Roosevelt）發展原子彈的信函主要起草人西拉德、協助潤稿的泰勒（Edward Teller）和諾貝爾物理學獎得主維格納（Eugene Wigner），還有化學獎得主歐拉（George Olah）與波拉尼（John Polanyi）、經濟獎得主哈薩尼（John Harsanyi）；以及數學家艾迪胥（Paul Erds）、波利亞（George Pólya）、馮紐曼（John von Neumann）、哈爾默斯（Paul Halmos）、拉克斯（Peter Lax）等人。

這幾位科學界的火星遺民有許多共同點：他們都出生於匈牙利。

除了喜歡雲遊四海的艾迪胥外，他們後來都移居並任教於美國的大學；他們思考問題時都喜歡來回踱步；另有一個最不可思議的共同點——他們都是猶太人。

至於為何火星人特別鍾情猶太人？這可能又是另一個「費米問題」。

《奧本海默》的最大遺珠——馮紐曼

筆者本次開會的地點在羅蘭大學（Eötvös Loránd University），該校在過去不同時期曾名為布達佩斯大學（University of Budapest）、帕茲馬尼－彼得大學（Pázmány Péter Catholic University）。

該校培育出不少數學家與科學家，而馮紐曼是箇中翹楚。

馮紐曼出身於布達佩斯的富裕猶太家庭，父親是位對他有很深期待的銀行家，希望兒子能往化學工程發展，但馮紐曼卻對數學情有獨鍾。有許多關於他的數學傳奇事蹟，例如 6 歲能心算八位數除法，8 歲熟悉微積分，15 歲開始學高等微積分，19 歲已經發表兩篇數學論文。

最後馮紐曼不違父願也無逆己志，不僅在蘇黎世理工學院（Eidgenössische Technische Hochschule Zürich, ETH）讀化工，同時也在帕茲馬尼－彼得大學研修數學博士。

有鑑於在 19 世紀末和 20 世紀初，德國數學家康托爾（Georg Cantor）的集合論導致某些推論會產生矛盾難題，即使在當時產生的矛盾並非集合論的核心，但在嚴格檢驗非核心的部分時，邏輯上還是會發現一些瑕疵，因此馮紐曼選定了與集合論基礎有關的內容深入研究。

他的博士論題目為〈一般集合論的公理化構造〉（Az általános halmazelmélet axiomatikus felépítése），並於 1926 年同時取得兩所大學的博士學位。

而後在洛克菲勒基金會（Rockefeller Foundation）的資助下，他前往德國哥廷根大學（University of Göttingen），師從德國數學家希爾伯特（David Hilbert）。

1933 年為逃避納粹對猶太人的迫害，馮紐曼應聘前往美國普林斯頓高等研究院（Institute for Advanced Study），在那裡開始專研計算機科學，同時也結識了奧本海默。

建議原子彈採用「內爆式」設計的馮紐曼

由於馮紐曼的博學與優異數學計算能力，奧本海默聘請他作為曼哈頓計畫的顧問，主要負責兩項任務：一是研究內爆透鏡的概念和設計，二是負責預估炸彈爆炸的規模、死亡人數，以及炸彈爆炸的離地距離以達到最大效果。

什麼是內爆透鏡？當時曼哈頓計畫考慮的核分裂方式有兩種，一種是「槍式核分裂」（gun-type fission）設計，另一種則是「內爆透鏡」（implosion lens）的設計。

槍式核分裂設計是仿造子彈的射擊方式，利用常規炸藥將一塊次臨界物質射向另一塊可裂變物質，使可裂變物質達到臨界質量（圖一）。

槍式核分裂使用鈾（uranium, U）作為裂變材料，二戰時投擲於日本廣島的「小男孩」（Little Boy）就是採用槍式設計。但由於當時鈾的存量並不足夠，因此必須發展另一種形式的原子彈，也就是內爆透鏡設計。

內爆透鏡設計以鈽（plutonium, Pu）作為裂變材料，在空心的球狀空間內放置鈽，並在球形鈽彈周圍放置炸藥。這些炸藥爆炸同時產生的強大內推壓力將會擠壓球形鈽彈，引發連鎖反應造成核爆（圖二）。

馮紐曼評估之後，認為「內爆式」設計優於「槍式」設計，且內爆型原子彈所需的裂變材料較少，又可以防止過早引爆以達成更為對稱與高效的爆炸，因此建議奧本海默改發展內爆式核彈，這就是二戰時被投放到日本長崎的原子彈——「胖子」（Fat Man）。馮紐曼在曼哈頓計畫中的角色如此關鍵卻被電影所忽略，確實令許多人不平。

馮紐曼從小嶄露他的優異天賦且記憶力驚人，除數學領域之外在諸多科學分支也有所涉獵且精通。他的聰慧早已獲得同儕的認同與讚譽，常被稱為數學界最後一位通才。有一個流傳甚廣的傳說是某次宴會中女主人問馮紐曼一個問題：

「兩列相距 200 英里的火車正在相向行駛，每輛火車的行駛速度均為每小時 50 英里。一隻蒼蠅從其中一列火車的前面出發，以每小時 75 英里的速度在火車之間來回飛行，直到火車相撞並將蒼蠅壓死為止。蒼蠅在這段期間總共飛行了多少距離？」

一般人解這一題可能是先算第一段時間蒼蠅飛行的距離，再算第二段時間蒼蠅飛行的距離，由於蒼蠅來回飛行無限多次，距離愈來愈短，可以用無窮等比級數求和的方法得出解，但這樣的計算相當繁複。有一個更快捷的技巧是直接算出兩輛火車將於兩小時後相撞，因此得知蒼蠅總共飛行 150 英里。

馮紐曼聽完問題不一會兒就答出 150 英里，女主人對於馮紐曼沒有陷入計算無窮等比級數的陷阱感到失望，但馮紐曼竟回答：「我是用求和的啊！」若此傳說當真，顯見他驚人的計算能力。

1963 年諾貝爾物理學獎得主維格納表示，他認識當代許多頂尖科學家，包含德國理論物理學家普朗克（Max Planck）、英國理論物理學家狄拉克（Paul Dirac）、西拉德、泰勒、愛因斯坦，但沒有一個人像馮紐曼般才思敏捷。曾有人問維格納為什麼匈牙利出現這麼多天才，維格納的回答是：「真正的天才只有馮紐曼一人。」

引發數學教育革命的波利亞

本文要介紹的第二位匈牙利數學家是波利亞。1912 年，他於布達佩斯大學取得數學博士學位後，便前往德國哥廷根大學從事博士後研究。他在哥廷根大學結識許多當代最傑出的數學家，例如希爾伯特和克萊因（Felix Klein），之後便到蘇黎世理工學院任教。相較於一般嚴謹木訥的數學家，波利亞相當擅長說故事，包含數學家的軼事和「說數學」的功力。

馮紐曼在蘇黎世理工學院修讀博士時，也曾上過波利亞的書報討論課。有次波利亞提到一個尚未解決的數學問題，他認為要證明這問題很困難，沒想到五分鐘之後馮紐曼舉手，然後在黑板上寫下證明，從此之後馮紐曼變成他最敬畏的學生。

另外，波利亞也曾談論有關希爾伯特的故事。在德國盛傳一個傳說，深受德國人敬愛的皇帝腓特烈一世（Friedrich I）沒有死亡、只是沉睡，等到德國需要他時他就會挺身而出。因此便有人問希爾伯特：「你若在死後 500 年復活，你會做什麼事？」希爾伯特說：「我會問是否有人證明了黎曼猜想（Riemann hypothesis）？」

黎曼猜想與質數分布具有密切的關係，是希爾伯特於 1900 年提出的 23 個最重要數學問題之一。有些數學家將證明黎曼猜想形容為「數學界的聖杯」，因此它的重要性可見一斑。2018 年 9 月 24 日，英國數學家阿蒂亞（Michael Francis Atiyah）宣稱他證明了黎曼猜想，此事件也曾轟動一時。

但阿蒂亞的證明還來不及得到同儕認證，便不幸於 2019 年 1 月 11 離世，截至目前為止數學界仍對阿蒂亞的證明有所質疑。所以如果希爾伯特現在真的死而復活，那他恐怕要失望了。

波利亞於 1945 年出版《怎樣解題》（How To Solve It）一書，展現他「說數學」的功力。他常強調數學有兩面，數學結果的呈現方式有如歐幾里得（Euclid）幾何學般的演繹論證形式，但數學知識發展過程卻更像是一門實驗歸納的科學。書中提倡以捷思法（heuristic）思考數學問題，例如高中時老師通常教學生如何證明 13＋23＋33＋43＋⋯＋n3＝，但卻很少說明究竟如何得到此公式。

波利亞則要學生先做探索觀察。例如從圖三可以發現前五個自然數的立方恰好都等於另一個自然數的平方，這樣的特殊性可以推廣為「前 n 個自然數的立方和等於某個自然數的平方嗎？」若可以推廣，某個自然數到底是哪個數？我們進一步觀察可以得到：1＝1, 3＝1＋2, 6＝1＋2＋3, 10＝1＋2＋3＋4, 15＝1＋2＋3＋4＋5，將這觀察和圖三結合就得到圖四中令人驚訝的結果。

這麼美麗的結果應該不會只是巧合，所以一個合理的臆測也因此誕生：「前n個自然數的立方和等於前n個自然數和的平方」，也就是 1³＋2³＋3³＋4³＋⋯＋n³＝（1＋2＋3＋4＋⋯＋n）²。由於 1＋2＋3＋4＋⋯＋n＝，所以得到 1³＋2³＋3³＋4³＋⋯＋n³＝這個「合理的」公式，接著就可以證明此結果的正確性。

由此我們看到捷思法可以展現一個數學公式形成的過程，如同在《奧本海默》電影中丹麥物理學家波耳（Niels Bohr）建議奧本海默改到哥廷根大學跟從玻恩（Max Born）學習理論物理。

波耳問奧本海默數學程度如何，並提醒他：「代數就像一本樂譜，重點不是你能否讀懂音樂，而是能否聽懂音樂。」（Algebra is like a sheet music. The important thing isn’t if you can read music; it’s if you can hear it.），波利亞的捷思法就是教我們如何聽懂音樂而不光是讀懂音樂。

在 1960 年代，美國由於憂慮太空競賽落後蘇聯，因而發起所謂「新數學」的中學數學課程改革，強調數學的抽象性，試圖讓學生早一點熟悉數學邏輯的演繹過程，但這種罔顧知識發展脈絡的改革註定以失敗告終。

1980 年代，波利亞強調歸納實驗思考過程的捷思法逐漸受到重視，掀起一波「數學問題解決」（mathematical problem-solving）的浪潮，而這股浪潮的影響也猶如核分裂的連鎖反應，持續至今。

• 〈本文選自《科學月刊》2023 年 11 月號〉
• 科學月刊／在一個資訊不值錢的時代中，試圖緊握那知識餘溫外，也不忘科學事實和自由價值至上的科普雜誌。