谷歌旗下的DeepMind團(tuán)隊(duì)近期在國際數(shù)學(xué)奧林匹克（IMO）中取得了令人矚目的成績。DeepMind的兩款人工智能模型——AlphaProof和AlphaGeometry2，成功解決了本年度比賽中的四個(gè)難題，達(dá)到了銀牌水平。這一突破標(biāo)志著AI在數(shù)學(xué)推理方面邁出了重要的一步。
國際數(shù)學(xué)奧林匹克是全球最具挑戰(zhàn)性的數(shù)學(xué)比賽之一，自1959年起每年舉辦，吸引了來自百余個(gè)國家的參賽者。今年的比賽中，DeepMind的AI系統(tǒng)表現(xiàn)不俗，成功解決了四道題目，這一成績相當(dāng)于銀牌水平，這也是AI系統(tǒng)首次在如此高水平的數(shù)學(xué)競(jìng)賽中取得類似成績。
AlphaProof是一個(gè)基于強(qiáng)化學(xué)習(xí)的新系統(tǒng)，專注于形式化數(shù)學(xué)推理;而AlphaGeometry2則是其改進(jìn)版，專門用于解決幾何問題。此次AI的表現(xiàn)不僅展示了其在復(fù)雜數(shù)學(xué)問題上的強(qiáng)大能力，還為未來AI在高級(jí)數(shù)學(xué)領(lǐng)域的應(yīng)用提供了新方向。
數(shù)學(xué)一直被認(rèn)為是AI發(fā)展的關(guān)鍵標(biāo)準(zhǔn)之一。復(fù)雜的幾何學(xué)問題需要直觀和創(chuàng)造性的解決方案以及高級(jí)推理能力，這對(duì)于AI系統(tǒng)來說是一大挑戰(zhàn)。Google表示，這些突破顯示了AI在數(shù)學(xué)推理領(lǐng)域的巨大潛力，同時(shí)也反映了AI系統(tǒng)在處理實(shí)際復(fù)雜問題時(shí)的進(jìn)步。
此外，Google在AI研究方面的投入也顯著增加。2024年第二季度，Alphabet在AI研究和開發(fā)上的支出達(dá)到23億美元，幾乎是去年同期的兩倍。這一支出反映了公司對(duì)AI技術(shù)持續(xù)的重視和投入。
目前，AI領(lǐng)域的競(jìng)爭(zhēng)日益激烈。OpenAI正在開發(fā)名為“Strawberry”的新型AI模型，以顯著提升AI的推理能力;而Meta公司也推出了最新的AI模型Llama3.1，推動(dòng)開源AI的發(fā)展。