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

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

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

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

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

據報道，該人工智能系統名為 Q*，可以解決復雜的數學(xué)計算。該公司尚未對 Q*發(fā)表評論，我們仍然不知道這是否與其 CEO 奧特曼曾被罷免有關(guān)。

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

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

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

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

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

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

沃爾夫拉姆說(shuō)：“隨著(zhù)計算機的進(jìn)步，人類(lèi)需要適應這一點(diǎn)，更了解它，更熟悉它。了解它能做什么，不能做什么，我們在哪些事上能信任它，哪些事上不能信任它?！?/span>

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

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

“率先提高識字率的國家，在工業(yè)革命中受益匪淺……現在我們需要大規模的計算素養，兩者是類(lèi)似的?！?/span>