關於人工智慧與數學的萊頓宣言

2026年6月2日，倫敦數學學會正式釋出了《關於人工智慧與數學的萊頓宣言》。這份重要檔案源自2025年在荷蘭萊頓洛倫茲中心舉辦的一場專題研討會，並在國際研究團體的廣泛協商下最終形成。該宣言旨在深入探討人工智慧在數學研究中日益增長的角色，併為數學界負責任地使用AI提供明確指導。

隨著近年來人工智慧技術的飛速發展，特別是大規模語言模型和自動定理證明系統（如DeepMind的AlphaProof）的出現，AI已經滲透到數學研究的多個方面。宣言指出，當前AI系統被廣泛應用於數學領域，包括自動證明形式化、猜想生成、符號計算等。然而，這種技術變革也引發了一系列深刻關切。

宣言重點列舉了多個關鍵問題。首先是自動生成結果的可靠性：AI輸出的證明或計算是否值得信賴？當結果源自專有模型時，其歸屬權該如何界定？新工具對傳統的出版實踐和同行評審機制會產生怎樣的衝擊？此外，商業機構在數學研究中的參與和利益也值得警惕。這些問題若不妥善處理，可能動搖數學研究的核心基石。

針對上述挑戰，宣言面向不同群體提出了具有針對性的建議。對於個體研究人員，宣言強調應當主動披露AI工具的使用情況，並對結果的正確性承擔最終責任；同時要求恰當地引用前人的研究成果，避免不當使用。對於專業學會和資助機構，宣言建議制定明確的AI使用政策，尤其是在出版和評審過程中，同時保持現有的學術審查標準不變。對於政策制定者，宣言呼籲關注AI監管框架、加大公共基礎設施投資，並藉助專家意見來評估AI系統聲稱的能力。

宣言最後提供了完整檔案及倫敦數學學會AI出版政策的連結。這份宣言不僅是一份政策建議，更是數學介面對AI浪潮的一次集體宣言，其影響將深遠地塑造未來數學研究的生態。