陶哲軒撰文談AI時代數學 有效證明標準須重訂

AI深入數學核心

人工智能正進入數學研究的核心環節：提出思路、生成證明、進行形式化驗證，甚至嘗試解決此前從未公開發表過的研究級問題，介入深度前所未見。

加州大學洛杉磯分校教授、華裔數學家陶哲軒日前在預印本網站arXiv發表論文，系統探討這一轉變對數學共同體意味著什麼，引發廣泛關注。