谷歌的DeepMind表示其人工智能可以解決數學奧林匹克競賽問題 - 彭博社
Davey Alba, Julia Love
谷歌的研究人員表示,人工智能在解決問題方面遠未能取代人類數學家。
攝影師:Gabby Jones/Bloomberg
攝影師:Andrew Harrer/Bloomberg
谷歌DeepMind,谷歌母公司Alphabet Inc.的人工智能研究部門,表示他們在解決複雜數學問題方面取得了進展,這仍然是當今人工智能程序面臨挑戰的領域。
週四,谷歌推出了AlphaProof,專門從事數學推理,以及AlphaGeometry 2,這是該公司今年早些時候推出的一個專注於幾何學的模型的升級版本。該公司在一篇博文中表示,這些程序在國際數學奧林匹克競賽中的六個問題中有四個得分完美,該競賽是一年一度的比賽,學生們在其中探討代數和幾何等主題。
在人工智能行業中,很難比較各種產品,解決數學問題已成為一個關鍵的證明點。這是因為大型語言模型通常在大量書面文本上進行訓練,往往偏向語言而非數學智能。雖然計算機擅長數字和傳統計算,但基於文字的數學問題超出了這些規範,需要更復雜的推理技能。
這就是為什麼谷歌的研究人員認為其人工智能在著名數學競賽中的表現很重要。谷歌DeepMind的人工智能科學研究副總裁Pushmeet Kohli在新聞發佈會上表示:“這是機器學習和人工智能領域的重大進展。沒有開發出能以這種成功率解決問題的系統。”閲讀更多: 谷歌DeepMind從研究實驗室轉向人工智能產品工廠
當人工智能工具在自然對話或生成圖像方面變得更加熟練時,它們通常在需要規劃或解決多步問題時遇到困難。但是谷歌及其競爭對手並沒有放棄。據彭博社報道,該公司最大的競爭對手OpenAI也一直在研究新的推理技術。
AlphaProof是由谷歌在象棋、將棋和圍棋等複雜策略遊戲中表現優異的人工智能程序發展而來,谷歌表示。DeepMind的一個程序在2016年著名地擊敗了世界頂級圍棋選手之一。
大型語言模型往往會產生幻覺,或者以令人信服的方式提供錯誤信息。谷歌表示,它通過使用人工智能將數學問題翻譯成技術性陳述,或者所謂的“形式語言”,來規避這一挑戰。
數學中另一個人工智能系統面臨的問題是缺乏可用的訓練數據,不像聊天機器人可以從互聯網上大量的文本中獲取信息。谷歌表示,隨着AlphaProof模型成功解決問題,其代碼會得到更新,使其能夠應對越來越困難的挑戰。
該公司還發布了其AlphaGeometry人工智能模型的改進版本,據稱能夠解決國際數學奧林匹克競賽過去25年中包含的83%的歷史幾何問題。
但谷歌的研究人員也表示,人工智能遠未能夠用其解決問題的能力取代人類數學家。“即使在我們正在努力實現的最大抱負中,我認為我們的目標是提供一個可以證明任何事情的系統,”谷歌DeepMind的強化學習副總裁David Silver説道。“但這並不是數學家所做的全部。”
Silver説,DeepMind的AI模型更像是滑尺或計算器:強大的計算工具,可能有一天會幫助人類提出數學證明。但AI系統缺乏的是想象力。“數學家提出有趣的問題,”他説。
Instagram的母公司Meta Platforms Inc.將允許用户創建自己的AI聊天機器人並將其添加到其個人資料中,這是為了吸引創作者並進一步將公司的人工智能軟件整合到其最受歡迎的消費者產品中。
名為AI Studio的功能允許擁有專業帳户的創作者製作定製的AI聊天機器人,這些機器人是“他們自己的延伸”,可以回答粉絲或追隨者的常見問題。人們可以告訴他們的機器人要回答哪些類型的問題,或者要避免哪些主題,Meta在一篇博客文章中寫道。