谷歌數(shù)學(xué)大模型AlphaGeometry引熱議，讓AI做數(shù)學(xué)題到底有何重要性？

近日，人工智能界對(duì)谷歌 DeepMind 在 Nature 上發(fā)表的一篇新論文議論紛紛。在論文中，研究人員創(chuàng)建了一個(gè)可以解決復(fù)雜幾何問(wèn)題的人工智能系統(tǒng)。

該系統(tǒng)名為 AlphaGeometry，它將一個(gè)語(yǔ)言模型與一種名為符號(hào)引擎的人工智能相結(jié)合，后者可以使用符號(hào)和邏輯規(guī)則進(jìn)行推理。

（來(lái)源：AI 生成）

這是近幾個(gè)月來(lái)人工智能世界第二次對(duì)數(shù)學(xué)感到興奮。2023 年 11 月，當(dāng)時(shí)有報(bào)道稱，OpenAI 董事會(huì)出現(xiàn)的戲劇性事件是由一個(gè)新的強(qiáng)大人工智能突破引起的。一時(shí)間，各種謠言遍布社交媒體。

據(jù)報(bào)道，該人工智能系統(tǒng)名為 Q*，可以解決復(fù)雜的數(shù)學(xué)計(jì)算。該公司尚未對(duì) Q*發(fā)表評(píng)論，我們?nèi)匀徊恢肋@是否與其 CEO 奧特曼曾被罷免有關(guān)。

你不需要真的很了解數(shù)學(xué)，就能明白為什么這些進(jìn)展可能非常令人興奮。數(shù)學(xué)對(duì)人工智能模型來(lái)說(shuō)真的很難。

復(fù)雜的數(shù)學(xué)比如幾何，需要復(fù)雜的推理技能，許多人工智能研究人員認(rèn)為，解決數(shù)學(xué)問(wèn)題的能力可能預(yù)示著更強(qiáng)大、更智能的系統(tǒng)。

像 AlphaGeometry 這樣的創(chuàng)新表明，我們正在開(kāi)發(fā)具有人類一樣推理技能的機(jī)器。這可以讓我們構(gòu)建更強(qiáng)大的人工智能工具，用于幫助數(shù)學(xué)家求解方程，也許還可以成為更好的輔導(dǎo)工具。

Wolfram Research 的康拉德·沃爾夫拉姆（Conrad Wolfram）說(shuō)，這樣的工作可以幫助我們使用計(jì)算機(jī)做出更好的決策，從而更加符合邏輯。

該公司開(kāi)發(fā)了 WolframAlpha，這是一個(gè)可以處理復(fù)雜數(shù)學(xué)問(wèn)題的問(wèn)答引擎。上周，我在 EmTech Europe 會(huì)議上見(jiàn)到了他。

他說(shuō)，為了讓我們從人工智能中獲益，人類也需要適應(yīng)（人工智能）。我們需要更好地了解這項(xiàng)技術(shù)是如何工作的，這樣我們看待問(wèn)題時(shí)才能從計(jì)算機(jī)的角度出發(fā)。

沃爾夫拉姆說(shuō)：“隨著計(jì)算機(jī)的進(jìn)步，人類需要適應(yīng)這一點(diǎn)，更了解它，更熟悉它。了解它能做什么，不能做什么，我們?cè)谀男┦律夏苄湃嗡男┦律喜荒苄湃嗡??！?/span>

他認(rèn)為，隨著我們用更強(qiáng)大的計(jì)算機(jī)進(jìn)入人工智能時(shí)代，人類需要采用“計(jì)算思維”，即定義和理解一個(gè)問(wèn)題，然后將其分解為多個(gè)部分，以便計(jì)算機(jī)能夠計(jì)算出答案。

他將這一時(shí)刻與 18 世紀(jì)末大眾識(shí)字率的提升相提并論，識(shí)字率的廣泛增長(zhǎng)終結(jié)了只有精英才能閱讀和寫作的時(shí)代。

“率先提高識(shí)字率的國(guó)家，在工業(yè)革命中受益匪淺……現(xiàn)在我們需要大規(guī)模的計(jì)算素養(yǎng)，兩者是類似的?！?/span>