DeepMind的人工智慧達到與數學奧林匹克選手相當的幾何問題解決能力

Home AI新聞 DeepMind的人工智慧達到與數學奧林匹克選手相當的幾何問題解決能力

Google DeepMind 開發的一款開創性人工智慧系統——AlphaGeometry，能夠解決複雜的幾何問題，其水平堪比在全球著名的國際數學奧林匹亞（IMO）中獲得金牌的人類數學家。這一創新系統結合了兩種獨特的技術：一種是生成直觀想法的神經語言模型，另一種是運用形式邏輯驗證這些想法的符號推理引擎。該語言模型基於支撐Google著名搜尋引擎和自然語言處理系統的技術，而推理引擎則受到了中國數學家吳文俊在1978年創建的方法的啟發。

研究人員對AlphaGeometry進行了測試，選擇了30個來自IMO的嚴格幾何問題，這些問題對於專業數學家來說仍然具有挑戰性。值得注意的是，該系統在4.5小時的標準時間內成功解決了25個問題，與人類金牌得獎者的平均得分相當。相較之下，之前的領先系統僅解決了10個問題。

根據《自然》雜誌發表的研究結果顯示，人工智慧不僅能進行邏輯推理，還能挖掘新的數學見解。數學，尤其是幾何，歷來對AI研究人員提出挑戰，因為它需要兼具創造力與精確性。與基於文本的模型不同，數學數據更加符號化且特定領域專用，因而更為稀缺。此外，解題也需要強大的邏輯推理能力，這是目前大多數AI模型所面臨的困難。

為了解決這些挑戰，研究人員採用了新穎的神經符號方法，結合了神經網絡和符號系統的優勢。神經網絡在模式識別和結果預測方面表現出色，但往往缺乏解釋能力。相對而言，符號系統運行於嚴格的形式邏輯之上，使其能夠修正和解釋神經網絡的決策。

研究團隊將其方法比作諾貝爾獎得主丹尼爾·卡尼曼所推廣的「快速與慢思考」的概念，其中一個系統提供快速直觀的想法，而另一個則進行更為深思熟慮的邏輯推理。這兩種系統協同合作，以應對複雜的數學挑戰。

此外，AlphaGeometry還展示了對新問題的泛化能力，成功證明了問題陳述中未明確提到的定理。例如，它成功證明了與三角形角平分線有關的定理，該定理既不是前提也不是目標。

研究團隊希望通過開源他們的系統，激發數學、科學和人工智慧領域的進一步研究和應用。他們也承認當前的限制，例如需要更多人類可讀的證明和擴展到更複雜問題的能力，以及與人工智慧在數學領域相關的倫理考量。

儘管AlphaGeometry目前專注於幾何問題，研究人員相信，他們的合成數據方法將有助於在數學和科學領域強化人工智慧的推理能力，尤其是在人工生成的訓練數據有限的情況下。通過自動化新知識的發現和驗證，機器學習有潛力在多樣化的學科中顯著加速人類的理解。

DataStax 透過創新的數據 API 簡化生成式 AI RAG 應用開發

三星與 Google Cloud 聯手推出 Galaxy S24 智慧型手機的生成式 AI 技術

Most people like

Stable Diffusion 3 Free Online

444.8K

釋放先進人工智慧的力量，創造驚艷視覺效果。探索尖端的人工智慧工具如何轉變你的創意項目，提升設計能力，並啟發獨特的藝術表現。與人工智慧驅動的科技一同探索數位藝術的未來，讓你的想像力達到新的高峰。

人工智慧驅動的圖像生成 Text to Image

Supademo: AI Interactive Product Demos

331.4K

提升您的產品溝通，透過引人入勝的AI驅動互動示範吸引您的觀眾。

互動示範 AI Presentation Generator

SnapXam

339.3K

介紹人工智慧驅動的數學和物理輔導器：您終極的學習夥伴透過我們先進的人工智慧輔導平台，釋放您在數學和物理方面的潛能。這款設計用以提供個性化協助的人工智慧輔導器，會根據您的學習風格進行調整，幫助您掌握挑戰性的概念並在學業上取得優異成績。體驗量身定制的課程、即時反饋，及引人入勝的練習題，讓複雜主題變得易於理解。探索教育的未來，體驗這款改變您學習數學和物理方式的人工智慧輔導器！

數學解題工具 Homework Helper

Uhmegle

356.9K

發現與來自世界各地的陌生人進行AI調節的視頻和文本聊天的刺激世界。在與人們進行迷人的對話的同時，體驗人工智慧在實時互動中的創新力量。

其他 Other

Find AI tools in YBX