新的AI人工智能將如何影響數(shù)學(xué)研究？

AIGC動(dòng)態(tài)1年前 (2024)發(fā)布大數(shù)據(jù)文摘

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

原標(biāo)題：新的AI人工智能將如何影響數(shù)學(xué)研究？
關(guān)鍵字：數(shù)學(xué),人工智能,語言,模型,報(bào)告
文章來源：大數(shù)據(jù)文摘
內(nèi)容字?jǐn)?shù)：16307字

內(nèi)容摘要：

大數(shù)據(jù)文摘授權(quán)轉(zhuǎn)載自zzllrr小樂
作者：Keith Devlin
譯者：zzllrr小樂
像ChatGPT這樣的大語言模型（Large Language Models，LLM）會(huì)改變新數(shù)學(xué)的發(fā)現(xiàn)方式嗎？是的。它已經(jīng)發(fā)生了，就像早期的計(jì)算技術(shù)：機(jī)械和電子計(jì)算器，通用數(shù)字計(jì)算機(jī)，圖形計(jì)算器等，以及最近的工具，如Mathematica，Maple和（我最喜歡的）Wolfram Alpha。（后三種可以聲稱是一種特殊的“人工智能”，盡管與國際象棋系統(tǒng)一樣，該領(lǐng)域的高度限制性意味著我們通常不會(huì)將它們歸類為人工智能。
在數(shù)學(xué)中，是否存在人類可以解決而AI不能解決的問題？我會(huì)爭辯說，有。長期懸而未決的問題，如黎曼假設(shè)（RH）可能是這樣的例子。當(dāng)然，證明這一點(diǎn)并不簡單，因?yàn)樗且粋€(gè)普遍的否定性命題。事實(shí)上，你無法證明這種說法。我們所能做的反映了數(shù)學(xué)的本質(zhì)，并提供了初步認(rèn)定的證據(jù)，證明數(shù)學(xué)發(fā)現(xiàn)的某些方面是大語言模型無法實(shí)現(xiàn)的。
然而，實(shí)際情況是，使用大語言模型很可能（我猜是“將”，很快）為人類數(shù)學(xué)家解決重大開放問題（如RH）提供有價(jià)值的幫助。做到這一點(diǎn)的關(guān)鍵是確定大語言模型給數(shù)學(xué)帶來了什么新的東西（

原文鏈接：新的AI人工智能將如何影響數(shù)學(xué)研究？