數學家陶哲軒近日提出一個引人深思的類比：人工智能對數學研究的影響，猶如汽車對城市發展的沖擊。這一觀點不僅適用于數學領域，也為編程等其他學科提供了新的思考維度。在他看來，傳統數學研究體系與AI輔助證明之間的關系，恰似古老街道與現代交通工具的碰撞。

陶哲軒指出，當前數學研究的生態系統——包括學術期刊、學術會議、師徒傳承模式和引用體系——就像專為人行設計的狹窄道路。人類數學家在證明定理時雖然速度較慢，但這個過程會帶來諸多附加價值：研究者通過反復推導錘煉專業能力，逐步勾勒出數學領域的全景圖，發現新的研究方向，并記錄下那些看似走不通卻富有啟發性的探索路徑。這些隱性收獲構成了數學研究不可或缺的組成部分。

當AI介入證明過程時，情況發生了顯著變化。AI輔助證明能夠高效地從假設直接推導出結論，卻往往省略了人類證明過程中那些充滿洞察力的思考軌跡。這類證明由于缺乏對探索路徑的詳細敘述，難以符合傳統學術期刊的發表標準。陶哲軒將試圖讓AI模型適應現有學術體系的做法，比喻為強行改造汽車以適應為行人設計的街道——這種努力注定事倍功半。

他提出更合理的解決方案是構建專門服務于機器的新型數學基礎設施。這種基礎設施不是要取代人類的研究方式，而是作為補充手段存在。例如，可以利用形式化證明助手來驗證復雜數學難題的結論，或者建立自動生成的初步證明庫，再由人類數學家將其完善為嚴謹的學術成果。陶哲軒甚至建議創立一門新的學科——"AI規劃"，其定位類似于城市規劃，旨在協調人類與機器在數學研究中的協作關系，保留數學領域"可步行探索"的本質特征。

在與同行德瓦凱什·帕特爾的對話中，陶哲軒進一步闡釋了AI對數學研究的實際影響。他承認AI確實拓展了研究工具的邊界，比如通過生成更多可視化圖表、提供代碼實現方案以及進行更深入的文獻檢索，使他的工作變得更加豐富多元。但他強調，自己數學研究的核心環節仍然依賴傳統的筆紙推導方式。如果沒有AI提供的這些輔助手段，當前論文的完成速度并不會比過去有本質提升。AI真正帶來的改變不是加速研究進程，而是開辟了全新的可能性空間。

"AI將生成新想法的成本降低到了接近零的水平，這與互聯網將溝通成本降到近乎為零的現象非常相似。"陶哲軒解釋道，"但這本身并不會直接導致知識生產的爆炸式增長。現在的挑戰在于，人們可以為一個科學問題生成成千上萬種理論假設，但如何驗證和評估這些假設成為了新的瓶頸。"這種觀點揭示了當前AI輔助研究面臨的核心矛盾：生成能力與評估能力之間的失衡。