AIGC動態(tài)歡迎閱讀

原標(biāo)題：陶哲軒轉(zhuǎn)發(fā)、菲爾茲獎得主領(lǐng)銜：AI正在顛覆數(shù)學(xué)家的工作方式 | 美國數(shù)學(xué)學(xué)會特刊
關(guān)鍵字：數(shù)學(xué),數(shù)學(xué)家,定理,問題,人類
文章來源：量子位
內(nèi)容字?jǐn)?shù)：10850字

內(nèi)容摘要：

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

原文鏈接：陶哲軒轉(zhuǎn)發(fā)、菲爾茲獎得主領(lǐng)銜：AI正在顛覆數(shù)學(xué)家的工作方式 | 美國數(shù)學(xué)學(xué)會特刊

聯(lián)系作者

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