黑洞不會崩塌——一位數學家對「數學本質」的900頁答案

普林斯頓數學家克萊納曼耗費數十年證明黑洞的穩定性，並主張數學並非人類發明，而是客觀存在的發現。這個古老哲學問題，在AI崛起的當下，有了全新的迫切性。

如果人類文明明天消失，π還會等於3.14159……嗎？

這不是一個修辭問題。對普林斯頓大學數學家塞爾吉烏·克萊納曼來說，答案決定了我們如何理解知識、現實，乃至人工智慧的本質。他花了數十年證明黑洞不會因微小擾動而瓦解，而這項工作讓他更加確信：數學不是人類的發明，而是一種發現。

一個困擾物理學界近百年的問題

1915年，愛因斯坦發表廣義相對論，方程式預測了黑洞的存在。但有一個問題長期懸而未決：黑洞在受到輕微擾動後，是否仍能保持穩定？還是會像沙堆一樣崩塌？

這不是純粹的學術好奇。如果黑洞在物理上是不穩定的，那麼我們對宇宙結構的整體理解就需要根本性的修正。我們所觀測到的那些吞噬光線的天體，其存在的合理性就需要重新審視。

克萊納曼與合作者們挑戰的正是這個「克爾黑洞穩定性問題」。最終的答案，以一篇超過900頁的數學論文呈現。這不是優雅的一頁紙證明，而是龐大的邏輯建築——用偏微分方程的語言，一磚一瓦地確認：黑洞不會飛散，它是穩定的。

完成這項證明之後，克萊納曼並沒有停下來。他開始更積極地為一個哲學立場辯護：數學柏拉圖主義。

這個立場的核心主張是：數學對象——數字、幾何結構、拓撲關係——獨立於人類心智而存在。數學家不是在「創造」，而是在「探索」一個已然存在的抽象領域。

廣告合作

他的論據之一，是數學與物理現實之間那種令人不安的吻合。19世紀，黎曼發展出一套描述彎曲空間的幾何學，純粹出於數學興趣，毫無實用目的。半個世紀後，愛因斯坦發現這套語言完美地描述了引力與時空的彎曲。沒有人「設計」黎曼幾何來服務物理學，但它恰好在那裡等著。

物理學家尤金·維格納在1960年稱之為「數學在自然科學中不合理的有效性」——這個「不合理」，恰恰是克萊納曼認為柏拉圖主義最有力的證據。

當然，反對聲音同樣有力。形式主義者認為，數學只是人類約定的符號遊戲，其「有效性」不過是因為我們選擇了那些有用的數學工具，拋棄了無用的。不同文明發展出不同的數學傳統，這本身就暗示數學有其文化建構的成分。「數學對象存在於哪裡？」這個問題，柏拉圖主義者至今沒有令人信服的答案。

這場哲學爭論已持續兩千年，為何此刻值得重提？

因為AI正在強迫我們給出答案。

2023年，DeepMind的AI系統在組合數學領域找到了人類數學家未曾發現的新解法。各大科技公司正在競相開發能夠「自主證明定理」的AI系統。在中國，華為、百度和多所頂尖高校都在推進AI輔助數學研究的項目。

問題來了：當AI「發現」一個數學定理，這算什麼性質的認識活動？

如果數學是人類發明，那麼AI的「發現」不過是更快的計算，本質上是人類智識的延伸工具。但如果數學是客觀存在的實在，那麼AI是否也在「接觸」同一個數學世界？機器有沒有可能真正「理解」數學，而不只是模式匹配？

這個問題在華人世界有特殊的共鳴。中國的數學教育傳統長期以計算能力和解題技巧為核心，在國際數學奧林匹克（IMO）上屢獲佳績。但如果數學的本質是「發現」而非「計算」，那麼這套教育體系培養出的，究竟是數學家，還是高效的數學工具使用者？在AI能夠完成大量計算工作的今天，這個區別變得前所未有地重要。

臺灣的數學研究社群，以及散布全球的華人數學家群體——從陶哲軒到眾多在歐美頂尖機構工作的研究者——他們的工作方式，或許正在成為這場哲學爭論最真實的試驗場。