數學家陶哲軒近日提出一個引人深思的類比：人工智能與形式化方法對數學研究的影響，猶如汽車對城市發展的沖擊。這一觀點不僅適用于數學領域，也為編程等其他學科提供了新的思考維度。他指出，汽車雖極大提升了出行效率，卻也導致傳統道路擁堵、城市無序擴張等問題，唯有通過科學的城市規劃與交通管理，才能實現新舊體系的和諧共存。

在數學領域，現有的研究體系——包括期刊發表、學術會議、師徒傳承和引用機制——如同為人類思維設計的狹窄道路。盡管人類推導證明的過程緩慢，但這一過程蘊含著獨特的價值：研究者通過實踐錘煉專業能力，勾勒學科知識圖譜，發現潛在研究方向，并記錄下探索中的曲折與突破。這些隱性收獲構成了數學研究不可或缺的組成部分。

陶哲軒觀察到，AI輔助證明雖能快速從假設推導出結論，卻往往省略了人類證明過程中至關重要的思維軌跡。這類證明因缺乏對探索路徑的詳細闡述，難以符合傳統期刊的發表標準。他形象地將強行改造AI模型以適應現有學術體系的行為，比作讓汽車在為行人設計的街道上行駛——看似可行，實則違背了技術發展的本質規律。

針對這一困境，陶哲軒提出構建新型數學基礎設施的解決方案。他建議利用形式化證明工具驗證復雜數學命題，或建立自動生成的初步證明庫，再由人類研究者進行優化完善。這種模式既保留了人類思維的創造性，又發揮了機器計算的效率優勢。他特別強調，需要發展類似城市規劃的"AI規劃"學科，確保數學研究保持"可步行探索"的本質特征。

在與同行交流中，陶哲軒進一步闡釋了AI對數學研究的實際影響。他承認AI工具通過提供可視化圖表、代碼實現和文獻檢索等功能，確實拓展了研究視野，但其核心創造過程仍依賴傳統的手寫推導方式。他坦言，若無AI提供的輔助手段，當前論文的完成速度并不會顯著快于過去。AI的價值不在于加速研究進程，而在于開辟了全新的可能性空間。

"AI將想法生成的邊際成本降至近乎為零，這與互聯網降低溝通成本的效果異曲同工。"陶哲軒解釋道，"但這并不直接導致知識生產的爆炸式增長。現在的問題是，人們可以針對同一個科學問題生成海量理論，但如何篩選和驗證這些理論成為新的挑戰。"這種轉變要求研究者發展新的評估標準和驗證方法，以應對信息過載帶來的認知負荷。