陶哲軒轉發、菲爾茲獎得主領銜：AI正在顛覆數學家的工作方式 | 美國數學學會特刊

AIGC動態歡迎閱讀

原標題：陶哲軒轉發、菲爾茲獎得主領銜：AI正在顛覆數學家的工作方式 | 美國數學學會特刊
關鍵字：數學,數學家,定理,問題,人類
文章來源：量子位
內容字數：10850字

內容摘要：

夢晨 發自 凹非寺量子位 | 公眾號 QbitAI陶哲軒點贊轉發，《美國數學學會通報》用一整期特刊介紹了AI給數學帶來的改變。
這些文章讀起來很有趣，盡管使我自己即將發表的一篇文章顯得多余……這個領域發展太快了！
作者陣容非常豪華，包括菲爾茲獎得主Akshay Venkatesh、華裔數學家鄭樂雋、計算機科學家Ernest Davis等多位知名學者。
其中鄭樂雋表示，如果最終機器能做得比人類更好，那很好，她將樂意退出數學領域去彈鋼琴。
他們提出的觀點包括：
AI的數學能力不完全反映人類的認知過程，依賴于訓練數據中的模式，而不是真正理解問題的本質。
合成數學如合成拓撲學和合成微分幾何學，提供了一種全新的數學實踐方式，允許數學家專注于更深層次的概念和問題。
交互式證明系統與軟件工程中的“規范驅動開發”，可以降低數學家的認知負荷、促進數學家之間的合作。?
形式化證明技術可能改變數學證明的本質、顛覆數學家的工作方式。?
數學屆不應被科技公司主導的議程所。?????????????
在開篇，編委會寫道：
純粹的數學家習慣于享有很大程度的研究自主和智力，這是一種脆弱而寶貴的遺產，可能會因機

原文鏈接：陶哲軒轉發、菲爾茲獎得主領銜：AI正在顛覆數學家的工作方式 | 美國數學學會特刊

聯系作者

文章來源：量子位
作者微信：QbitAI
作者簡介：追蹤人工智能新趨勢，關注科技行業新突破