谷歌 DeepMind 推出 AlphaGeometry：奧林匹克級(jí)幾何AI系統(tǒng)

　　1月22日 消息:谷歌旗下的DeepMind研究團(tuán)隊(duì)最近推出了名為AlphaGeometry的人工智能系統(tǒng)，該系統(tǒng)在解決幾何奧林匹克問(wèn)題方面表現(xiàn)出色，幾乎可與人類(lèi)金牌得主相媲美。這一成就代表著在大學(xué)預(yù)科數(shù)學(xué)困難領(lǐng)域中復(fù)雜自動(dòng)推理能力的顯著進(jìn)步。

　　幾何奧林匹克問(wèn)題一直以來(lái)都被認(rèn)為是人類(lèi)層面思考的標(biāo)準(zhǔn)，由于其難度，人工智能在這一領(lǐng)域的應(yīng)用一直面臨挑戰(zhàn)，尤其是由于缺乏足夠的訓(xùn)練數(shù)據(jù)。然而，AlphaGeometry的研發(fā)團(tuán)隊(duì)采用了創(chuàng)新性的方法，通過(guò)綜合數(shù)百萬(wàn)個(gè)不同復(fù)雜程度的定理和證明，構(gòu)建了大型數(shù)據(jù)集進(jìn)行訓(xùn)練，從而克服了這一問(wèn)題。

　　AlphaGeometry專(zhuān)為歐幾里得平面幾何設(shè)計(jì)，采用了神經(jīng)語(yǔ)言模型和符號(hào)推演引擎的獨(dú)特組合。通過(guò)創(chuàng)建合成數(shù)據(jù)進(jìn)行訓(xùn)練，該系統(tǒng)可以從頭開(kāi)始完全訓(xùn)練，使其能夠在數(shù)學(xué)定理證明方面表現(xiàn)卓越。

　　在IMO-AG-30基準(zhǔn)測(cè)試中，該系統(tǒng)在30個(gè)經(jīng)典幾何問(wèn)題中獲得了25個(gè)問(wèn)題的成功率，超過(guò)了基線，展示了其解決復(fù)雜幾何問(wèn)題的能力。AlphaGeometry生成人類(lèi)可讀的證明，提高了答案的可解釋性，同時(shí)在解決國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽(IMO)中的問(wèn)題方面取得了與金牌得主相媲美的水平。

　　AlphaGeometry的發(fā)布標(biāo)志著在計(jì)算機(jī)程序領(lǐng)域中首次實(shí)現(xiàn)了比IMO平均候選程序更有效地證明歐幾里得平面幾何定理的突破，推動(dòng)了數(shù)學(xué)競(jìng)賽頂峰推理的自動(dòng)化。