Books and public scholarship

Books / 中文著作

Popular mathematics, artificial intelligence, academic life, and the choices behind reliable work.

我選擇在 Kobo 出售這些書,主要是因為上架過程簡單直接,也方便把新作品帶給讀者。閱讀 Kobo 電子書並不需要另外購買專用閱讀器;只要在手機或平板電腦下載免費的 Kobo 應用程式,便可以購書和閱讀。對我來說,Kobo 既讓新書上架更靈活,也讓讀者可以用手邊已有的裝置輕鬆閱讀。

數學其實一直都在

導航建議你走另一條路,天氣預報說明天下雨,手機把模糊照片修得清晰。這些答案每天出現在眼前,我們很容易直接拿來使用。但一條路憑甚麼被選中?一幅圖有多少來自量測,多少來自推算?電腦算出了數字,又怎樣知道它值得相信?

關於本系列 · 閱讀全文關於本系列 · 收合全文

梁承裕的《數學其實一直都在》,是一套追問答案來歷的七冊科普系列。它從地圖、聲音、交通與影像等熟悉事物出發,帶讀者看見現實怎樣變成問題,問題怎樣交給電腦,以及計算完成後,還有哪些判斷必須由人承擔。

《看不見的數學》先問:我們究竟把甚麼交給電腦?一座城市可以畫成網絡,一場輪候可以寫成隊列,複雜關係也能化成矩陣。抽象讓問題變得可處理,同時留下取捨:地圖省略了甚麼?模型保留的關係,是否足以回答原來的問題?

到了《算不準的數學》,連看似簡單的0.1,也成為理解電腦的入口。有限記憶體如何容納連續世界?格子切得更細、小數位留得更多,是否就更可靠?讀者會看見誤差怎樣產生、傳遞,以及人們如何檢查一個近似答案。

有些時候,我們連要計算的東西都看不見。《倒過來的數學》從投影、回聲和波的到達時間出發,追問怎樣由結果推回原因。同一份資料可能容許不同解釋;一幅重建圖再漂亮,也仍要接受證據的檢查。

《會流動的數學》則把目光轉向下一刻。熱怎樣散開,煙怎樣移動,汽車向前走,擠塞為甚麼可能往後傳?從局部變化到整體形狀,這一冊讓讀者理解演化,也看見預測為何離不開初始狀態與邊界條件。

當聲音與影像進入電腦,《把世界變成訊號》接着追問:世界留下了哪些數字?同一段聲音換一種表示,可能顯露不同結構;一張照片經過壓縮或修復,也可能失去細節,或添上原本沒有量到的內容。「更清楚」因此需要仔細分辨。

即使計算仔細、資料不少,我們仍有不知道的事。《不知道,也可以算》帶讀者走進平均值以外的分布、概率與風險,分清不同來源的不確定,理解新資料如何改變判斷。一個預測有多大把握,與它報出甚麼數字,同樣值得關心。

《怎樣才算最好?》最後把問題帶到選擇。最快、最便宜、最安全,未必指向同一方案。排班、路線與工程設計背後,都有人訂下目標和限制。最佳化可以幫助搜尋,但「對誰最好」以及願意付出甚麼代價,不能省略。

七冊可以連起來讀,也可以只挑一本。喜歡影像與聲音,可以從第五冊開始;關心風險與選擇,可以直接走進第六或第七冊。每冊都自行建立所需概念,不必為了讀懂一本,先完成另外六本。

這套書適合對科技有好奇心的學生,也適合離開課室多年、想重新理解數學的成人。圖解、小型算例與逐步解說,讓讀者有機會跟着問題思考,不必先把高等數學重讀一遍。

讀過之後,再遇到一個預測、一幅重建圖或一項「最佳」建議,你或許會多問一句:它量到了甚麼,又假設了甚麼?數學其實一直都在。值得看見的,還有它如何參與我們相信一個答案的過程。

Cover of 看不見的數學

《數學其實一直都在》 · Book 1 / 第 1 冊

看不見的數學

On-sale date / 開售日期

打開一張地圖,城市裏大部分東西都消失了:樓宇的氣味、店舖的聲音、行人的心情,全不在上面。留下來的道路、車站和距離,卻足以讓我們找到方向。數學往往從這個刪減動作開始。它先決定甚麼要保留,甚麼暫時忘記,再把現實變成可以推理的結構。

完整介紹與目標讀者

《看不見的數學》從地圖與手機定位出發,帶讀者看見日常系統背後的抽象骨架。最短的路為甚麼未必最快?同一個地方為甚麼需要街道圖、人口圖和交通圖?一條隊有時為甚麼比幾條隊更有效率?配對、網絡封包、車流與一百萬人的群體行為,看似互不相干,其實都牽涉同一種能力:找出對問題真正有用的變量與關係。

書中的公式不是突然出現的密碼。每個概念先由可重算的小例子和圖像建立,再逐步說明模型能回答甚麼、遺漏了甚麼。地圖不是城市,平均也不是每一個人;模型愈精細,計算成本亦可能急升。數學用一個足夠簡潔、又可接受檢查的表示回答眼前問題,它從不把世界原封不動搬進電腦。讀完這一本,你未必會在街上看見更多公式,卻會開始察覺:導航、排隊、通訊和城市流動之所以能被分析,是因為有人先找到了一副看不見的骨架,也知道這副骨架必須接受現實檢驗。

目標讀者:對地圖、導航、交通、網絡或城市運作感興趣的一般讀者;想理解抽象與建模、但不喜歡從定義開始的中學生和大專初學者;需要生活化例子講解數學模型的教師;以及覺得自己「不擅長公式」,卻喜歡追問系統如何運作的人。

View on Kobo / 在 Kobo 查看
Cover of 算不準的數學

《數學其實一直都在》 · Book 2 / 第 2 冊

算不準的數學

On-sale date / 開售日期

一般使用二進制浮點數的電腦,甚至不能把十進制的0.1完完整整地放進記憶體。既然最基本的小數也要近似,我們憑甚麼相信天氣模擬、橋樑計算、醫學影像或科學預測?《算不準的數學》處理所有有限電腦都逃不掉的處境:數字位數有限、格點有限、時間有限,答案卻仍要可靠。

完整介紹與目標讀者

本書由浮點數、絕對誤差和相對誤差開始,逐步走進數值計算的現場。一條連續曲線怎樣存進電腦?切線如何變成幾個鄰近數值?把世界切成格子後,格子愈細是否一定愈準?同一個熱傳或波動問題,會帶讀者經過差分、收斂、穩定性、守恆、矩陣與疊代方法。當未知數多達一百萬個,電腦為甚麼有時故意不把方程「解到最盡」?當某一小片區域特別複雜,格子又能否自己集中到最需要的地方?

可靠的計算不靠多印幾個小數位。本書會分清輸入本身有多敏感、算法會否放大誤差,以及浮點精度是否足夠;也會示範在沒有標準答案時,如何用網格加密、獨立方法、殘差、守恆量和可重現測試交叉檢查。讀者最後得到一套比「電腦可信或不可信」更有用的判斷:近似並不可恥,沒有說明近似範圍和驗證方法,才值得懷疑。每一個答案,都應附上它可以被相信的理由。

目標讀者:對電腦模擬、程式設計、工程或科學計算感興趣的人;修讀數學、物理、電腦或工程的中學生及大專初學者;經常接觸模型輸出、數據圖表或AI數值結果的讀者;以及想知道「算到很多位」為甚麼仍不等於準確的人。

View on Kobo / 在 Kobo 查看
Cover of 倒過來的數學

《數學其實一直都在》 · Book 3 / 第 3 冊

倒過來的數學

On-sale date / 開售日期

醫生沒有切開身體,CT卻畫出內部影像;科學家不能鑽到地心,仍嘗試由地震波推測地下結構。這些答案都不是直接看見的。儀器只收到投影、走時、波形或回聲,人們再由留下的痕跡,倒過來推問原來的世界可能是甚麼樣子。

完整介紹與目標讀者

《倒過來的數學》從「正着算」與「倒着推」的差別開始。若已知一個世界,可以預測它會產生甚麼資料;若手上只有資料,符合它的世界卻可能不止一個。本書以有限角度CT和地震探測為兩條主線,討論儀器究竟量到甚麼、增加資料是否必然增加知識、最早到達的波與完整回波各自帶來甚麼線索。讀者亦會遇上反問題最棘手的兩件事:不同答案可能產生相同資料,而量測只差一點,重建結果卻可能相差很遠。

資料不足時,算法通常會偏好較平滑、較簡單或較符合先驗知識的答案。這種做法可以令問題變得可解,卻同時加入了資料本身沒有提供的假設。電影裏把模糊影像無限放大、按一下便看清人臉的情節,因此值得重新審視。書中不把重建圖像當成世界本身,而是教讀者追問:哪些部分由量測支持,哪些部分來自模型和選擇?一個看來清晰的答案,也可能藏着非唯一性、敏感性和計算代價。倒過來思考的成熟,不是猜中唯一真相,而是知道證據容許你走到哪裏。

目標讀者:對CT、醫學影像、地震探測、遙測或影像復原感興趣的人;喜歡推理、偵查與「由結果找原因」問題的讀者;接觸數據分析、AI重建或科學證據的大專生與專業初學者;以及想分辨清晰圖像與可靠證據的人。

View on Kobo / 在 Kobo 查看
Cover of 會流動的數學

《數學其實一直都在》 · Book 4 / 第 4 冊

會流動的數學

On-sale date / 開售日期

車明明向前行,塞車的波卻可能向後傳;一滴墨水落進水中,一方面被水流帶走,另一方面又慢慢散開。世界不停改變,但每一個位置通常只「知道」附近發生甚麼。局部的速度、溫度、濃度和交換規則,累積起來,便把整個系統推向下一刻。

完整介紹與目標讀者

《會流動的數學》帶讀者進入偏微分方程所描述的動態世界,卻不要求先修微積分。書中以示蹤物質貫穿不同情境:東西去了哪裏?熱為甚麼總會散開?煙究竟是飄走,還是散走?讀者會比較站在固定位置觀察與跟着流體粒子移動的分別,也會看見守恆、輸送、擴散和反應如何組成幾種基本變化。相同想法還會走進交通、聲音和移動邊界:塞車怎樣形成,聲音穿過不同介質為甚麼轉彎,一條邊界裂開再合起來時,數學如何繼續追蹤它?

本書亦談一個很迷人的問題:複雜花紋是否一定需要一位設計者逐點畫出?簡單的局部反應與擴散,已可能長出斑點和條紋;看似混亂的流動,也可能藏着引導物質去向的骨架。不過,方程不會自動等於真實。車流模型不會知道每位司機的情緒,煙霧模型也只在指定尺度和條件下有效。這本書的樂趣,是看見「下一刻」並非憑空出現;它由當下每一處的小規則共同造成,而數學讓這條演化鏈可以被追問、計算和檢查。

目標讀者:對天氣、熱、煙、交通、聲音、波浪或自然花紋感興趣的一般讀者;喜歡以圖像理解動態過程的中學生和大專初學者;準備接觸微分方程、流體或物理建模的人;以及想知道簡單局部規則如何產生複雜整體行為的人。

View on Kobo / 在 Kobo 查看
Cover of 把世界變成訊號

《數學其實一直都在》 · Book 5 / 第 5 冊

把世界變成訊號

On-sale date / 開售日期

手機沒有真正「聽見」你的聲音,相機也沒有看見一個完整世界。麥克風在一連串時刻量度空氣振動,感光元件把光轉成像素;連續的聲音和影像,先被切成數字,才可以儲存、傳送和處理。《把世界變成訊號》追問的,是這個轉換究竟保留了甚麼,又悄悄丟掉了甚麼。

完整介紹與目標讀者

本書由取樣開始:一秒應該量多少次?量得太慢,快速變化可能偽裝成另一個較慢的訊號;像素增加,也不保證照片一定更清楚。讀者會看見同一首歌在時間和頻率中呈現兩種面貌,亦會明白轉換座標後,原本複雜的資料有時只剩少數重要成分。壓縮正是利用這種結構,但「丟掉九成資料仍看得出來」並不表示被丟掉的部分毫無意義;保留甚麼,取決於用途、誤差尺度和人真正想分辨的細節。

後半部走進稀疏表示、少量量測、去噪、去模糊和影像辨識。雜訊能否真的消失?一張變清楚的照片是否等於看見更多真相?電腦如何由像素分出物件與邊界?書中既解釋方法為甚麼有效,也守住證據邊界:重建會結合資料、模型和偏好;均方誤差較小,不保證每種視覺細節都較好。當世界變成訊號,數學給我們強大的處理工具,同時要求我們記得,數字是量測後的表示,不是未經選擇的現實。處理得更漂亮,也不等於知道得更多。

目標讀者:對手機、音樂、攝影、影像壓縮及數碼媒體感興趣的人;想理解訊號處理、電腦視覺或AI影像技術的中學生與大專初學者;內容創作者、攝影愛好者和程式學習者;以及對「放大變清」是否可信感到好奇的讀者。

View on Kobo / 在 Kobo 查看
Cover of 不知道,也可以算

《數學其實一直都在》 · Book 6 / 第 6 冊

不知道,也可以算

On-sale date / 開售日期

兩組數據可以有相同平均值,卻代表完全不同的風險;一個系統聲稱有99%準確率,也不代表眼前這次判斷有99%機會正確。數字看來很肯定,未知卻可能藏在量測誤差、樣本不足、模型選擇,甚至方程本身之中。《不知道,也可以算》討論的,正是如何誠實地處理這些「不知道」。

完整介紹與目標讀者

本書由平均、變異和分布開始,分清母體與樣本回答的問題,再把單一答案展開成一片可能性。當不確定性有大小,也有方向,不同變量之間還會一起升跌,單看一個誤差範圍便可能不夠。讀者會跟着亂數進入蒙地卡羅模擬,以有系統的抽樣生成許多可能世界,再檢查結果是否已穩定。輸入的一點變化如何傳到輸出?局部敏感度能否代表整個範圍?同一團未知被方程或水流帶走後,又會變成甚麼形狀?

書中還會區分隨機、混沌與模型不足。沒有擲骰子的系統,也可能因初始差異而很快失去可預測性;模型與量測不一致時,不能一律怪罪雜訊。天氣預報同時運算許多個未來,是要呈現可能路徑,而不是逃避答案。至於「百年一遇」,它描述機率尺度,並不承諾事件之間相隔整整一百年。這本書不會消除未知,而是把未知拆開、量度、傳播和檢查,讓判斷可以說明自己知道多少,也承認還差多少。

目標讀者:想讀懂機率、統計、風險和預測的一般讀者;經常接觸百分比、民調、測試準確率或天氣預報的人;修讀數學、科學、數據分析及AI的中學生與大專初學者;以及希望分辨隨機、誤差、混沌與模型不足的人。

View on Kobo / 在 Kobo 查看
Cover of 怎樣才算最好?

《數學其實一直都在》 · Book 7 / 第 7 冊

怎樣才算最好?

On-sale date / 開售日期

導航推薦的「最佳路線」,究竟是最短、最快、最便宜,還是風險最低?只要改變時間、金錢和安全的權重,同一張地圖便會給出不同答案。「最好」需要由人先定義;有人必須說明目標、限制、可接受風險,以及願意花多少計算時間,電腦才知道應該尋找甚麼。

完整介紹與目標讀者

《怎樣才算最好?》由日常選擇走進最佳化。最短路線未必最快,現實問題也總有一句「但是」:預算有限、資源不足、物理規律不能違反,不同人的利益亦不完全相同。書中會解釋如何把目標寫成可比較的量,如何處理限制,以及多個互相衝突的「好」為甚麼未必能壓成唯一分數。梯度可以提示下一步往哪裏走,但方向會受座標尺度影響;走到一個谷底,也不代表已找到全世界最低的位置。

當可能組合多得無法逐一測試,計算預算本身便成為問題的一部分。有些候選答案每試一次,都要重新模擬整個世界;算法因而需要近似、替代模型和更聰明的搜尋。讀者亦會看到個人與系統的衝突:一個人最快的路,可能令所有人一起變慢;便宜、快速和安全之間,選擇反映的是價值與責任。即使資料不足,人們仍可能需要作決定,但答案應對不確定性保持穩健。這本書不提供一個萬用的「最好」,而是教你檢查:誰定義目標、誰承受限制、算法漏掉了誰,以及得到的答案在甚麼條件下才成立。

目標讀者:對路線規劃、資源分配、管理決策、公共政策或AI最佳化感興趣的人;修讀數學、經濟、工程、電腦或運籌學的大專初學者;需要比較多個目標與限制的決策者;以及不滿足於「電腦說這是最佳答案」的讀者。

View on Kobo / 在 Kobo 查看

AI 時代,我們重新問一次

這幾年,我開始把愈來愈多工作交給人工智能。有時是請它寫一段程式,有時是協助整理資料和文獻,有時我心裏已經有了一個數學想法,只是想看看它能不能把中間的步驟補出來;也有些時候,我甚至還沒有完全想清楚問題,只是先把一些零碎的想法交給它,看看它會把我帶到甚麼地方。

關於本系列 · 閱讀全文關於本系列 · 收合全文

對一個長期從事計算數學研究的人來說,這種改變其實相當特別。我們本來就是一群習慣把工作交給電腦的人。很多數學問題沒有漂亮的解析答案,我們會設計數值方法去逼近;方程式太複雜,我們會把它離散化,再交給電腦計算;看不見的東西不能直接量度,我們會從有限而且帶有誤差的觀測數據中,嘗試把它反推出來。電腦對我來說從來不是數學的對手,它一直都是數學工作的一部分。

然而,今天的 AI 和過去的電腦還是有一點不同。以前我們很清楚自己把甚麼交給電腦:方法是人設計的,方程式是人寫的,程式大致也是人自己編的,電腦只是忠實地執行。現在,我有時只需要描述自己想做甚麼,它便會替我提出方法、寫出程式、修改錯誤、畫好圖表,甚至替結果提供一套相當像樣的解釋。一些過去需要半天甚至幾天的工作,現在可能在很短時間內便有一個看起來完整的答案。

這當然令人興奮。我自己也確實在研究工作中使用 AI,而且使用得愈來愈多。我曾經把一些研究了很久的數值方法重新拿出來,和 AI 一起檢查其中還有沒有我未注意到的結構;也會讓它協助推導、設計數值實驗、寫 MATLAB 或 Python 程式,再由我逐步檢查它提出的東西是否合理。有些時候,它的確會提出我沒有立即想到的方向;另一些時候,它說得十分有信心,仔細一看卻根本不成立。

這種經驗慢慢令我發現,AI 帶給數學和科學的真正改變,也許不只是「它可以替我們多做多少工作」。更有意思的是,當一些以前很昂貴的工作突然變得便宜,我們便不得不重新思考,那些工作本來代表的究竟是甚麼。

如果 AI 已經會算,我們為甚麼還要學?

如果它可以很快給出一個答案,我們怎樣知道那個答案是對的?

如果它可以從大量數據中作出比傳統方法更準確的預測,我們還需要建立數學模型嗎?

如果它能夠讀文獻、寫程式、分析數據、提出猜想,甚至參與一項研究的大部分過程,我們為甚麼還需要科學家?

如果電腦可以模擬出一個幾乎和真實世界沒有分別的結果,我們又憑甚麼相信,那個模擬和真正的世界存在有意義的聯繫?

這些問題看起來很新,其實大部分都很古老。我們一直都在問,甚麼叫學會一件事情,甚麼叫知道,甚麼叫理解;我們也一直在問,一個模型如何代表世界,一個計算結果在甚麼條件下值得相信,以及科學研究究竟只是尋找答案,還是包括決定哪些問題值得追問。AI 並沒有突然創造這些問題,它只是令我們不能再用以前那些相對方便的答案把它們帶過。

我在計算數學裏養成的一些習慣,也因此變得比以前更有意思。做數值計算的人很少會因為電腦吐出十幾位小數,就認為自己掌握了真理。我們知道輸入數據可能有誤差,離散化會帶來誤差,電腦的浮點運算也有誤差;演算法可能不穩定,一個看起來很小的擾動可以把答案完全改變。更麻煩的是,即使方程式解得很準,程式沒有寫錯,我們仍然可能得到一個沒有甚麼意義的結果,因為真正有問題的不是計算,而是我們一開始選擇的模型。

所以看到一個漂亮的數字或一幅漂亮的圖,我通常不會立即停下來。做研究久了,總會多問幾句:結果對不對?如果改一點參數會怎樣?換一個網格還是一樣嗎?另一種方法會得到相同的答案嗎?這個結果究竟反映了真正的現象,還是只反映了我們使用的方法?

到了 AI 時代,我覺得這種習慣反而更重要。AI 可以把答案產生得很快,但答案來得愈容易,「為甚麼我要相信它」這個問題就愈難逃避。

我在教學上也有類似的感受。過去我們很自然地把一些能力當作學習成果:學生懂得計算、可以自己寫一段程式、能夠找到資料、完成一份報告,通常就代表他學到了一些東西。但當 AI 可以協助完成其中愈來愈多步驟,我們便要重新問,教育真正希望留下的是甚麼。如果一個學生可以請 AI 寫出正確的程式,他是否還需要學程式編寫?如果 AI 可以替他解一道微積分題,他還需要練習計算嗎?如果一篇報告可以很快生成,我們應該評核的又是報告本身,還是他選擇問題、判斷資料、理解結果和發現錯誤的能力?

我沒有打算在這個系列裏用一句簡單的「人類仍然不可取代」來回答這些問題。我其實不知道人類有哪些事情永遠不會被 AI 取代,而且我懷疑沒有人真的知道。今天我們認為只有人能做的事情,幾年之後可能已經不再如此。與其不斷尋找一條可以把人和 AI 永久分開的界線,我更想問另一類問題:當愈來愈多事情不必再由我們親手完成,我們究竟需要理解到甚麼程度?我們應該把注意力從哪些能力移開,又應該把哪些能力看得更重要?

數學在這裏提供了一個很有用的角度。數學當然包括計算和公式,但我做了多年研究之後,愈來愈覺得真正困難的部分往往發生在計算之前和計算之後。我們要先決定甚麼問題值得處理,哪些因素是重要的,哪些可以暫時忽略;要決定甚麼叫做兩個答案「接近」,甚麼程度的誤差可以接受,一個模型保留了現實的哪些部分,又犧牲了哪些部分。得到答案之後,我們還要判斷它是否穩定、是否可靠,以及它到底告訴了我們甚麼。

這些事情沒有因為電腦變得更快而消失。很多時候,恰恰因為計算變得容易,我們才第一次看清楚,原來真正困難的並不是計算本身。

這也是我想寫《AI 時代,我們重新問一次》這個系列的原因。我不打算預測十年後的 AI 會有多強,也不準備列出一張「AI 時代必須掌握的十種能力」清單。這類答案也許很吸引,但它們很容易隨着技術改變而過時。我比較想做一件慢一點的事情:把一些我們以為早已有答案的問題重新拿出來,從數學、計算和科學的角度再想一次。

AI 背後的數學究竟在做甚麼?當 AI 已經會計算,學習的意義會不會改變?當答案變得非常便宜,我們如何建立信任?如果預測可以不依賴我們熟悉的方程式,數學模型還有甚麼作用?如果機器可以參與研究,我們又應該怎樣重新理解科學家的工作?而當模擬與生成的世界愈來愈逼真,我們還能用甚麼方法把模型和現實連接起來?

我不希望這個系列最後把所有問題都關上。相反,如果讀完一本書之後,讀者比開始時多了一兩個真正想追問的問題,我反而會覺得這本書完成了它的工作。

AI 的確帶來了很多新的答案,但對我來說,它更有意思的地方,也許是逼着我們重新審視一些很舊的問題。有些答案可能需要改寫,有些概念可能需要重新定義,也有些事情,我們可能會發現自己從來沒有真正想清楚。

既然如此,就重新問一次吧。

梁承裕

Cover of AI背後的十個數學概念

《AI 時代,我們重新問一次》 · Book 1 / 第 1 冊

AI背後的十個數學概念

On-sale date / 開售日期

一部只會處理數字的機器,為甚麼能寫出關於香港雨夜的詩?答案不是一句「它看過很多文字」,也不是把 AI 說成一個藏在電腦裏的人。文字要先變成可計算的表示,意思要有可比較的距離,脈絡要能在高維空間互相影響,模型才有可能從一句提示走到下一個詞元。

View on Kobo / 在 Kobo 查看
Cover of AI會算,我們為甚麼還要學

《AI 時代,我們重新問一次》 · Book 2 / 第 2 冊

AI會算,我們為甚麼還要學

On-sale date / 開售日期

當 AI 三秒便能完成一道數學題,學生還應否花三十分鐘去做?如果它能寫文章、整理資料、解釋概念,學習會否只剩下檢查答案?這些問題不能靠一句「基本功永遠重要」打發,也不能假裝工具沒有改變課堂。

View on Kobo / 在 Kobo 查看
Cover of AI會給答案,我們怎樣知道它是對的

《AI 時代,我們重新問一次》 · Book 3 / 第 3 冊

AI會給答案,我們怎樣知道它是對的

On-sale date / 開售日期

AI 給出的答案語氣完整、排版漂亮,甚至附上推導和來源。問題是:我們憑甚麼相信它?一條方程式推導正確,不代表程式沒有寫錯;程式準確執行,也不代表模型適合現實。幾個不同層次的「對」,不能共用同一個剔號。

View on Kobo / 在 Kobo 查看
Cover of AI會預測,我們為甚麼還需要數學模型

《AI 時代,我們重新問一次》 · Book 4 / 第 4 冊

AI會預測,我們為甚麼還需要數學模型

On-sale date / 開售日期

如果一套 AI 每次都能猜中明天,我們還需要知道它為甚麼猜中嗎?預測交通流量、材料性能或病人風險是一回事;改變道路設計、製造新材料或選擇治療方案,卻會把我們帶進資料從未出現過的世界。昨天的規律,未必能替一次介入作保證。

View on Kobo / 在 Kobo 查看
Cover of AI會做研究,我們為甚麼還需要科學家

《AI 時代,我們重新問一次》 · Book 5 / 第 5 冊

AI會做研究,我們為甚麼還需要科學家

On-sale date / 開售日期

研究人員離開實驗室後,AI 繼續搜尋文獻、控制儀器、分析數據、安排下一個實驗,甚至草擬論文。到翌日早上,它交出一個從未有人知道的答案。這算不算科學發現?答案的「新」,只是科研工作的開始。

View on Kobo / 在 Kobo 查看
Cover of AI會模擬世界,我們怎樣知道那是真的

《AI 時代,我們重新問一次》 · Book 6 / 第 6 冊

AI會模擬世界,我們怎樣知道那是真的

On-sale date / 開售日期

一架還沒有起飛的飛機,已在電腦裏墜毀了一萬次。工程師因而修改尾翼設計,避開現實中的一次事故。屏幕上的飛機從未真正離地,它的失敗為甚麼值得相信?虛擬世界最有用的時候,往往正是我們清楚知道它不是真的時候。

View on Kobo / 在 Kobo 查看

把事情想清楚

有些話,我們聽過很多次,也說得很順口。「這樣比較好」、「大家都是這樣做」、「數字已經很清楚」。我們靠這些簡短的判斷作決定,也把它們當成彼此已經明白的事。可是,當我們真的要依照它們行動,便可能發現,原來彼此對「好」的理解不同,對事情的掌握也不一樣。有些分歧,就藏在那些一直沒有仔細解釋的字眼裏。

關於本系列 · 閱讀全文關於本系列 · 收合全文

《把事情想清楚》想從這些地方開始。我想把那些過得太快的討論放慢一點,陪讀者看看一個說法是怎樣成立的:它根據甚麼,把哪些事情放在前面,又有哪些重要的部分還沒有得到充分考慮。當理由逐漸清楚,我們才較有機會知道,自己究竟同意甚麼,又為甚麼仍然猶豫。

假如一個方法能讓事情完成得更快,這自然是支持它的理由。接着值得了解的,是省下來的時間從哪裏來。如果做法確實減少了重複工作,我們可以肯定這項改善;如果只是把準備工夫交給另一個人,便要把那個人的付出也算進去。同樣一句「更有效率」,放回事情的經過裏,可能會得到很不同的評價。

這種把理由逐步展開的習慣,與數學有很深的關係。數學要求我們說清楚正在比較甚麼,哪些條件支持眼前的結論,以及條件改變後,結論還能保留多少。沿着一個推論走下去,能讓一些原本模糊的分別變得可見。讀者也有機會指出,自己是在甚麼地方開始不同意。

而當分別已經看清,選擇仍可能不容易。一個人看重穩定,另一個人願意為新的可能承受較大風險;兩人即使掌握相同資料,也可以有不同決定。理解這一點,能讓討論更接近真正的分歧。我們可以認真比較彼此重視的東西,也可以追問,每項選擇帶來的代價,最後由誰承擔。

有些時候,資料還不完整,事情卻已經要繼續。此時能做到的,是交代目前相信某個判斷的理由,留意哪些新消息足以令自己改變看法。願意修正,讓思考可以隨着了解增加而往前走。曾經作出選擇,也仍然可以重新衡量它是否適合眼前的生活。

不過,理解一件事的吸引力,還有很自在的一面。一個原本看似零散的現象,忽然顯出可以掌握的關係;一個熟悉的問題,因為換了角度而有了新的意思。這些時刻本身就值得停留。好奇可以把我們帶到原本沒有打算去的地方,讓日常經驗多出一些可以欣賞的細節。

這套書會沿着具體問題慢慢展開,讓例子有時間發展,也讓理由經得起追問。每本書都可以獨立閱讀。讀者可以從自己在意的問題走進來,帶着自己的經驗,看看書中的解釋能走多遠,又有哪些地方需要補充。

「把事情想清楚」是一個願意繼續了解的邀請。我希望讀者合上書時,能更清楚自己相信甚麼、重視甚麼,也保留聽取另一種理解的耐心。當我們再次遇到那些說得很順口的答案,或許會願意多停一會,把其中一個理由好好說明白。

Cover of 不必永遠可靠

《把事情想清楚》 · Book 1 / 第 1 冊

不必永遠可靠

從自動承擔,到有選擇地付出

On-sale date / 開售日期

「有機會,當然盡一分力。」這句話,梁承裕說了很多年。身為大學數學教授,他從研究與教學出發,逐步接下招生、政策、課程與學生事務。因為做得到,也因為事情值得做,一次幫忙變成固定責任,一個角色又帶來另一個角色。直到做了七年副院長、完成交接並開始學術休假,他才重新感受到:原來專注、閱讀和沒有會議切割的時間,可以這樣完整。

View on Kobo / 在 Kobo 查看

Individual titles / 獨立著作

Cover of 回頭看,原來是數學

回頭看,原來是數學

從六十一分開始的學術人生

On-sale date / 開售日期

數學考試只得六十一分的人,後來成為數學教授。這聽來像一個反敗為勝的故事,但梁承裕回頭看見的,並不是一條由失敗通往成功的直線,而是一連串在資料不足時作出的選擇:選科、求職、離開香港、讀博士、做研究,也學習怎樣教別人面對不知道的問題。

View on Kobo / 在 Kobo 查看