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

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

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

（來源：AI 生成）

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

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

你不需要真的很了解數學，就能明白為什么這些進展可能非常令人興奮。數學對人工智能模型來說真的很難。

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

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

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

該公司開發了 WolframAlpha，這是一個可以處理復雜數學問題的問答引擎。上周，我在 EmTech Europe 會議上見到了他。

他說，為了讓我們從人工智能中獲益，人類也需要適應（人工智能）。我們需要更好地了解這項技術是如何工作的，這樣我們看待問題時才能從計算機的角度出發。

沃爾夫拉姆說：“隨著計算機的進步，人類需要適應這一點，更了解它，更熟悉它。了解它能做什么，不能做什么，我們在哪些事上能信任它，哪些事上不能信任它。”

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

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

“率先提高識字率的國家，在工業革命中受益匪淺……現在我們需要大規模的計算素養，兩者是類似的。”