我們常把世界級數學家想像成「看到問題,很快就知道答案的人」。 但真正的數學研究恰恰發生在答案還不存在的地方。 當方法失效、方向模糊,甚至不知道問題能不能被解開時, 研究者真正需要的能力,可能不是立刻得到答案, 而是知道下一步還能怎麼理解它。
Terence Tao 的公開訪談與文章,經常談到「問題解決」之外更漫長的研究過程。 競賽題目往往具有明確範圍與目標, 研究卻可能在很長時間內都沒有清楚的終點。
因此,如果想理解一位數學研究者如何工作, 真正值得問的並不是: 「他為什麼總能解出來?」
而是: 「當他也不知道答案時,研究怎麼繼續?」
數學競賽與研究最明顯的不同之一, 是競賽通常已經替解題者準備好一個明確的問題。
研究世界並沒有這樣的保證。 問題可能還不夠清楚, 目前的工具可能不足, 甚至原本的猜想本身就可能需要修改。
這也讓「不知道」具有完全不同的意義。 在一般考試裡,不知道答案可能代表沒有完成題目; 但在研究裡,未知本來就是工作的起點。
Tao 曾使用「攀登懸崖」來形容處理困難問題的方式。 真正的大問題像懸崖頂端, 但研究者不會每一刻都盯著終點。
更實際的問題是: 下一個可以站穩的地方在哪裡?
這與數學裡常見的簡化與抽象也有關。 面對一個包含大量細節的問題, 有時候第一步不是加入更多技巧, 而是把不重要的部分暫時拿掉, 看看真正控制問題的是什麼結構。
當一般形式太複雜時, 研究者常會先觀察限制更多的特殊案例。
Tao 的研究經歷裡也可以看到這兩種方法。 例如他的波動地圖相關研究涉及對複雜非線性問題的特殊設定; 在 Fuglede conjecture 的研究中, 他則透過建構反例,證明原本猜想在高維情況下並不成立。
這些例子提醒我們: 數學研究並不只是在證明某件事情是對的。 知道一個猜想為什麼不對,同樣會讓整個領域往前一步。
Tao 曾談到, 即使一種技術最後不能解決眼前的問題, 研究者仍然可能從這個失敗裡得到資訊。
它可能告訴你: 這個工具的極限在哪裡、 原本的假設哪裡出了問題, 或者下一次應該避免什麼方向。
他的 Princeton 經歷也提供另一個角度。 資格口試期間, 因為準備不足而表現不如預期, 指導教授 Elias Stein 的提醒, 成為他重新調整研究與學習方式的重要經驗。
這段故事真正值得注意的, 不是「天才也會失敗」, 而是研究能力本身也需要被訓練。
Tao 曾分享過自己同時保留多個研究計畫的工作方式。
當其中一個問題暫時卡住, 與其持續在同一條路上消耗, 他可能先整理目前已經知道的內容, 再轉向另一個研究計畫。
這並不代表放棄原來的問題。
有時候適度離開, 反而能讓研究者之後用新的角度重新回來。
另一個重要的方法,是閱讀與合作。
當 Tao 進入自己不熟悉的領域時, 與該領域研究者交流, 可以幫助他更快理解哪些方法是重要工具、 哪些問題已經被解決, 以及哪些地方才是真正的研究前沿。
這和我們上一集談到的跨領域研究正好連在一起: 真正的跨領域並不是一個人什麼都懂, 而是知道什麼時候需要另一個人的知識。
近年 Tao 也大量探索人工智慧、 Lean 與形式化驗證在數學研究中的可能性。
但他對 AI 的態度並不是「把困難問題直接交給機器」。
相反地,一個核心原則是: 人必須具備驗證輸出的能力。
如果使用者根本無法判斷 AI 給出的數學內容是否合理, 那麼工具生成得再快, 都可能只是把錯誤快速帶進研究流程。
這也是 Tao 所談「自然摩擦力」與「人工摩擦力」的重要差異。 工具可以減少沒有必要的重複負擔, 但如果連真正建立理解所需要的困難思考都一起消除, 研究者可能反而失去最重要的能力。
從這些研究方法來看, 成熟的數學研究能力, 並不是保證每一道問題都能被解開。
它更像是一套面對未知的方法: 問題太大,就先找下一個落腳點; 一般情況太難,就觀察特殊案例; 猜想可能不對,就尋找反例; 一條方法失效,就理解它為什麼失效; 自己的知識不夠,就閱讀、合作、學習新的工具。
這或許也是數學研究與一般解題最有意思的差別。 答案不是研究開始的條件, 未知才是。
整理本集幾個最值得繼續追問的問題。
會。真正的研究工作本來就在未知的邊界進行。 研究者經常面對答案不明、方法失效或方向尚未確定的問題。
特殊案例可以降低問題複雜度, 幫助研究者建立直覺、測試方法, 並找出真正造成困難的核心結構。
因為一個普遍性的數學猜想, 只要存在一個不符合條件的例子, 原來的敘述就不能成立。 反例能幫助研究者修正理論與研究方向。
不一定。失敗的方法仍可能揭露工具的限制、 排除錯誤方向, 或讓研究者更理解問題本身。
不是。現代數學研究包含大量合作。 不同研究者的知識、方法與研究背景, 有時正是跨越問題障礙的重要來源。
仍然需要。 Tao 對 AI 工具的一個重要態度是: 研究者必須能夠理解並驗證工具產出的內容。 如果自己無法判斷對錯, 就很難安全地把 AI 納入數學工作流程。
%20(3000%20x%20590%20%E5%83%8F%E7%B4%A0)%20(1).png)