據(jù)美國(guó)《紐約時(shí)報(bào)》網(wǎng)站1月17日?qǐng)?bào)道，在4年時(shí)間里，計(jì)算機(jī)科學(xué)家鄭潮（音）一直被某件類似于元數(shù)學(xué)問(wèn)題的任務(wù)弄得心神不寧：如何構(gòu)建一個(gè)可以解答國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽中的幾何題的人工智能模型。國(guó)際奧數(shù)競(jìng)賽是一年一度全世界最有數(shù)學(xué)才能的高中生的比賽。
上周，鄭潮在紐約大學(xué)成功地進(jìn)行了自己有關(guān)該課題的博士學(xué)位論文答辯。他在學(xué)術(shù)期刊《自然》雜志上介紹了自己辛苦研究的成果。這個(gè)名為“阿爾法幾何”（AlphaGeometry）的系統(tǒng)能夠以接近于人類金牌得主的水準(zhǔn)解答奧數(shù)競(jìng)賽中的幾何題。
在開(kāi)發(fā)該項(xiàng)目的過(guò)程中，鄭潮向谷歌公司的兩位研究科學(xué)家進(jìn)行了推介，他們舉薦他在2021年至2023年間擔(dān)任了谷歌公司常駐科學(xué)家。“阿爾法幾何”系統(tǒng)加入了谷歌旗下“深層思維”公司的人工智能系統(tǒng)群體，該群體已經(jīng)因?yàn)榻鉀Q重大挑戰(zhàn)而被人熟知。其中最著名的也許是2017年征服了國(guó)際象棋的深度學(xué)習(xí)算法“阿爾法零”。數(shù)學(xué)是一類更加困難的問(wèn)題，因?yàn)橥ㄍ鸢傅目赡苈窂降臄?shù)目有時(shí)是無(wú)限的，而國(guó)際象棋的套路總是有限的。
論文第一作者、該項(xiàng)目的主要推手鄭潮說(shuō)：“走在錯(cuò)誤的道路上，我曾不斷地進(jìn)入死胡同。”
論文的聯(lián)合作者包括：鄭潮在紐約大學(xué)的博士生導(dǎo)師何河、被稱為“托尼”的xAI公司聯(lián)合創(chuàng)始人吳宇懷,以及來(lái)自谷歌的主要研究者梁勝（音）和同樣來(lái)自谷歌的黎國(guó)（音）。吳宇懷以前也在谷歌工作，他曾在2019年獨(dú)立地開(kāi)始探索一種類似的設(shè)想。
鄭潮的堅(jiān)持有了收獲。他說(shuō)：“我們談不上是循序漸進(jìn)。我們是在一步登天，即在結(jié)果方面取得了重大突破。”“只是不要過(guò)分夸大這一點(diǎn)。”
鄭潮從2000年至2022年的國(guó)際奧數(shù)競(jìng)賽試卷中抽取30道幾何題組成一套試卷，對(duì)“阿爾法幾何”系統(tǒng)進(jìn)行測(cè)試。該系統(tǒng)解出了25道題；在奧數(shù)競(jìng)賽史上，同時(shí)期的人類金牌得主平均解出25.9道題。鄭潮還把這些題目交給上世紀(jì)70年代開(kāi)發(fā)出的一個(gè)曾被認(rèn)為是最強(qiáng)幾何定理證明器的系統(tǒng)；它解出了10道題。
在過(guò)去幾年里，谷歌“深層思維”公司開(kāi)展了若干探索人工智能的數(shù)學(xué)應(yīng)用的項(xiàng)目。而在這個(gè)研究領(lǐng)域中，更為普遍的做法是把奧數(shù)競(jìng)賽題作為一種基準(zhǔn)：OpenAI和元宇宙AI公司已經(jīng)取得了一些成果。作為額外要求，還有“國(guó)際奧數(shù)大挑戰(zhàn)題”以及去年11月宣布的一項(xiàng)新挑戰(zhàn)——“人工智能數(shù)學(xué)奧林匹克獎(jiǎng)”，該獎(jiǎng)項(xiàng)懸賞500萬(wàn)美元以征集第一個(gè)可以贏得奧數(shù)競(jìng)賽金牌的人工智能系統(tǒng)。
介紹“阿爾法幾何”系統(tǒng)的論文開(kāi)門見(jiàn)山提出了證明奧數(shù)定理“代表人類級(jí)自動(dòng)推理技術(shù)的一個(gè)重要里程碑”的論點(diǎn)。
愛(ài)丁堡大學(xué)數(shù)學(xué)和科學(xué)史學(xué)家邁克爾·巴拉尼說(shuō)，他想知道這是不是一個(gè)有意義的數(shù)學(xué)里程碑。他說(shuō)：“國(guó)際奧數(shù)競(jìng)賽所考察的東西，與絕大多數(shù)數(shù)學(xué)家心目中的創(chuàng)造性數(shù)學(xué)是截然不同的。”
加利福尼亞大學(xué)洛杉磯分校數(shù)學(xué)家、12歲時(shí)成為史上最年少奧數(shù)金牌得主的陶哲軒說(shuō)，他認(rèn)為“阿爾法幾何”系統(tǒng)“干得不錯(cuò)”，取得了“令人意想不到的厲害結(jié)果”。
他說(shuō)，對(duì)某個(gè)人工智能系統(tǒng)進(jìn)行微調(diào)以解答奧數(shù)題或許不會(huì)提升其深度研究技能，但在這個(gè)案例中，過(guò)程或許被證明比目標(biāo)更有價(jià)值。
正如鄭潮認(rèn)為的，數(shù)學(xué)推理只是推理的一種類型，但它具有易驗(yàn)證的優(yōu)勢(shì)。他說(shuō)，“數(shù)學(xué)是真理的語(yǔ)言。如果你想構(gòu)建某種人工智能，重要的是構(gòu)建你可以信賴的求真、可靠的人工智能”，尤其是對(duì)于“安全性至關(guān)重要的應(yīng)用”。（編譯/曹衛(wèi)國(guó)）
據(jù)美國(guó)《紐約時(shí)報(bào)》網(wǎng)站1月17日?qǐng)?bào)道，在4年時(shí)間里，計(jì)算機(jī)科學(xué)家鄭潮（音）一直被某件類似于元數(shù)學(xué)問(wèn)題的任務(wù)弄得心神不寧：如何構(gòu)建一個(gè)可以解答國(guó)際數(shù)學(xué)奧林匹克競(jìng)賽中的幾何題的人工智能模型。國(guó)際奧數(shù)競(jìng)賽是一年一度全世界最有數(shù)學(xué)才能的高中生的比賽。
上周，鄭潮在紐約大學(xué)成功地進(jìn)行了自己有關(guān)該課題的博士學(xué)位論文答辯。他在學(xué)術(shù)期刊《自然》雜志上介紹了自己辛苦研究的成果。這個(gè)名為“阿爾法幾何”（AlphaGeometry）的系統(tǒng)能夠以接近于人類金牌得主的水準(zhǔn)解答奧數(shù)競(jìng)賽中的幾何題。
在開(kāi)發(fā)該項(xiàng)目的過(guò)程中，鄭潮向谷歌公司的兩位研究科學(xué)家進(jìn)行了推介，他們舉薦他在2021年至2023年間擔(dān)任了谷歌公司常駐科學(xué)家。“阿爾法幾何”系統(tǒng)加入了谷歌旗下“深層思維”公司的人工智能系統(tǒng)群體，該群體已經(jīng)因?yàn)榻鉀Q重大挑戰(zhàn)而被人熟知。其中最著名的也許是2017年征服了國(guó)際象棋的深度學(xué)習(xí)算法“阿爾法零”。數(shù)學(xué)是一類更加困難的問(wèn)題，因?yàn)橥ㄍ鸢傅目赡苈窂降臄?shù)目有時(shí)是無(wú)限的，而國(guó)際象棋的套路總是有限的。
論文第一作者、該項(xiàng)目的主要推手鄭潮說(shuō)：“走在錯(cuò)誤的道路上，我曾不斷地進(jìn)入死胡同。”
論文的聯(lián)合作者包括：鄭潮在紐約大學(xué)的博士生導(dǎo)師何河、被稱為“托尼”的xAI公司聯(lián)合創(chuàng)始人吳宇懷,以及來(lái)自谷歌的主要研究者梁勝（音）和同樣來(lái)自谷歌的黎國(guó)（音）。吳宇懷以前也在谷歌工作，他曾在2019年獨(dú)立地開(kāi)始探索一種類似的設(shè)想。
鄭潮的堅(jiān)持有了收獲。他說(shuō)：“我們談不上是循序漸進(jìn)。我們是在一步登天，即在結(jié)果方面取得了重大突破。”“只是不要過(guò)分夸大這一點(diǎn)。”
鄭潮從2000年至2022年的國(guó)際奧數(shù)競(jìng)賽試卷中抽取30道幾何題組成一套試卷，對(duì)“阿爾法幾何”系統(tǒng)進(jìn)行測(cè)試。該系統(tǒng)解出了25道題；在奧數(shù)競(jìng)賽史上，同時(shí)期的人類金牌得主平均解出25.9道題。鄭潮還把這些題目交給上世紀(jì)70年代開(kāi)發(fā)出的一個(gè)曾被認(rèn)為是最強(qiáng)幾何定理證明器的系統(tǒng)；它解出了10道題。
在過(guò)去幾年里，谷歌“深層思維”公司開(kāi)展了若干探索人工智能的數(shù)學(xué)應(yīng)用的項(xiàng)目。而在這個(gè)研究領(lǐng)域中，更為普遍的做法是把奧數(shù)競(jìng)賽題作為一種基準(zhǔn)：OpenAI和元宇宙AI公司已經(jīng)取得了一些成果。作為額外要求，還有“國(guó)際奧數(shù)大挑戰(zhàn)題”以及去年11月宣布的一項(xiàng)新挑戰(zhàn)——“人工智能數(shù)學(xué)奧林匹克獎(jiǎng)”，該獎(jiǎng)項(xiàng)懸賞500萬(wàn)美元以征集第一個(gè)可以贏得奧數(shù)競(jìng)賽金牌的人工智能系統(tǒng)。
介紹“阿爾法幾何”系統(tǒng)的論文開(kāi)門見(jiàn)山提出了證明奧數(shù)定理“代表人類級(jí)自動(dòng)推理技術(shù)的一個(gè)重要里程碑”的論點(diǎn)。
愛(ài)丁堡大學(xué)數(shù)學(xué)和科學(xué)史學(xué)家邁克爾·巴拉尼說(shuō)，他想知道這是不是一個(gè)有意義的數(shù)學(xué)里程碑。他說(shuō)：“國(guó)際奧數(shù)競(jìng)賽所考察的東西，與絕大多數(shù)數(shù)學(xué)家心目中的創(chuàng)造性數(shù)學(xué)是截然不同的。”
加利福尼亞大學(xué)洛杉磯分校數(shù)學(xué)家、12歲時(shí)成為史上最年少奧數(shù)金牌得主的陶哲軒說(shuō)，他認(rèn)為“阿爾法幾何”系統(tǒng)“干得不錯(cuò)”，取得了“令人意想不到的厲害結(jié)果”。
他說(shuō)，對(duì)某個(gè)人工智能系統(tǒng)進(jìn)行微調(diào)以解答奧數(shù)題或許不會(huì)提升其深度研究技能，但在這個(gè)案例中，過(guò)程或許被證明比目標(biāo)更有價(jià)值。
正如鄭潮認(rèn)為的，數(shù)學(xué)推理只是推理的一種類型，但它具有易驗(yàn)證的優(yōu)勢(shì)。他說(shuō)，“數(shù)學(xué)是真理的語(yǔ)言。如果你想構(gòu)建某種人工智能，重要的是構(gòu)建你可以信賴的求真、可靠的人工智能”，尤其是對(duì)于“安全性至關(guān)重要的應(yīng)用”。（編譯/曹衛(wèi)國(guó)）
本文鏈接：人工智能成功挑戰(zhàn)奧數(shù)難題http://www.sq15.cn/show-2-3561-0.html
聲明：本網(wǎng)站為非營(yíng)利性網(wǎng)站，本網(wǎng)頁(yè)內(nèi)容由互聯(lián)網(wǎng)博主自發(fā)貢獻(xiàn)，不代表本站觀點(diǎn)，本站不承擔(dān)任何法律責(zé)任。天上不會(huì)到餡餅，請(qǐng)大家謹(jǐn)防詐騙！若有侵權(quán)等問(wèn)題請(qǐng)及時(shí)與本網(wǎng)聯(lián)系，我們將在第一時(shí)間刪除處理。
上一篇： AGI/通用人工智能
下一篇： 是什么讓橙子具有橙子味