长兴郴障科技有限公司

澎湃Logo
下載客戶端

登錄

  • +1

中國又拿了國際數(shù)學(xué)奧賽金牌,不過下一次的對手就不只是人類了

2020-09-30 17:16
來源:澎湃新聞·澎湃號·湃客
字號

 

圖片來源:quanta magazine

9月27日,第61屆國際奧林匹克數(shù)學(xué)競賽(IMO)最終比賽成績公布,中國隊以215分獲得總成績第一名。但本屆比賽也非常特殊,可能會載入史冊:由于新冠大流行,大賽首次遠(yuǎn)程舉辦,并且是最后一次沒有人工智能(AI)參加的比賽。

撰文丨Kevin Hartnett

翻譯丨樊亦非

編輯丨楊心舟

新的參與者

實際上,研究者們已經(jīng)把IMO看作是研發(fā)智能機器的理想試驗場,AI若能在這里脫穎而出,就變相證明了AI能與人類認(rèn)知能力的一個重要方面相匹敵。

微軟研究院的Daniel Selsam表示:“對我來說,IMO代表著一種終極難題,我們能通過教授聰明人方法來解決這類難題。”Selsam是IMO大挑戰(zhàn)(IMO Grand Challenge)的創(chuàng)始人,該挑戰(zhàn)賽的目標(biāo)是訓(xùn)練AI系統(tǒng),使其在世界頂級數(shù)學(xué)競賽中奪得金牌。

自1959年以來,IMO就開始每年匯集全世界最優(yōu)秀的大學(xué)預(yù)科數(shù)學(xué)學(xué)生。在賽程的前兩天,參與者有四個半小時的時間來解答三個難度遞增的問題,其中每個問題最多可得7分。像奧運會一樣,得分最高的選手也能獲得獎牌。比賽的最大贏家會成為數(shù)學(xué)界的傳奇人物,其中有些人后來還成為了頂尖的數(shù)學(xué)家。

IMO的題目不涉及任何高等數(shù)學(xué)知識,就連微積分也被認(rèn)為是超綱內(nèi)容,僅從這個意義上來說,IMO并不算很難。但是,即使難度不大,這些題目會極為復(fù)雜,比如下面這道出自1987年古巴大賽的問題:

假設(shè)n為大于或等于3的整數(shù)。證明平面中存在n個點,使得任意兩個點之間的距離都是無理數(shù),并且每三個點就能確定一個面積為有理數(shù)的非退化三角形。

像許多IMO的題目一樣,這道題乍一看似乎無解。

“你讀了題目,然后就會默念'我解不出來',”倫敦帝國理工學(xué)院的Kevin Buzzard如是說,他是IMO大挑戰(zhàn)團(tuán)隊的一員,也是1987年IMO的金牌得主。“這些是特別棘手的問題,但同時它們也是可解的。即使對于中小學(xué)生,只要他們把自己的所知巧妙地結(jié)合起來,就能找到答案。”解決IMO問題通常需要靈光一現(xiàn),而這正是如今AI難以跨越的第一個障礙。

圖片來源:pixabay

例如,公元前300年,歐幾里得證明了有無限多個質(zhì)數(shù)存在,這是數(shù)學(xué)界最古老的成果之一。我們也能意識到,總是可以通過將所有已知的質(zhì)數(shù)相乘并加1來找到一個新的質(zhì)數(shù)。雖然接下來的證明簡單,但想出證明方法這個過程本身就可以稱得上是一項藝術(shù)行為。

Buzzard說:“你不能利用計算機來實現(xiàn)這一想法。” 至少,目前還不能。

如何訓(xùn)練AI?

IMO 大挑戰(zhàn)團(tuán)隊正在使用一個名為Lean的軟件程序,該程序由微軟的研究員Leonardo de Moura于2013年首次啟動。Lean作為“證明助手”,可以檢查數(shù)學(xué)家的證明過程,并自動完成證明中乏味的部分。

更多地,De Moura和他的同事們希望將Lean當(dāng)做一種能夠自行證明IMO問題的“解題器”來使用。但是目前,它甚至還無法理解某些題目所涉及的概念。如果想要讓Lean表現(xiàn)得更好,有兩件事需要改變。

首先,Lean需要補習(xí)數(shù)學(xué)知識。Lean使用了一個內(nèi)容不斷在豐富的數(shù)學(xué)庫mathlib。如今,mathlib幾乎包含了數(shù)學(xué)專業(yè)的大二學(xué)生可能知道的所有內(nèi)容,但是對于IMO來說還些還不夠。

第二個更大的挑戰(zhàn)是教會Lean該如何利用其所擁有的知識。IMO大挑戰(zhàn)團(tuán)隊希望利用遵循決策樹直到找到最佳方案的方法,來訓(xùn)練Lean得出一項數(shù)學(xué)證明。通過這種方式,其他AI系統(tǒng)已經(jīng)成功進(jìn)行了象棋和圍棋那樣的復(fù)雜游戲。

圖片來源:pixabay

Buzzard表示:“如果我們能讓計算機先擁有成千上萬個想法,再一一否決所有的想法,直到碰巧找到那個正確答案,那么AI也許就可以參與IMO大挑戰(zhàn)。”

然而,什么是數(shù)學(xué)想法呢?這個問題出乎意料地難以回答。對高層次來說,許多數(shù)學(xué)家在解決一個新問題時所做的事是無法理解的。

Selsam說:“許多IMO問題的關(guān)鍵步驟,就是學(xué)會從基礎(chǔ)上與這些問題“玩耍”,同時尋找其中的規(guī)律和模式。”當(dāng)然,我們并不清楚該如何讓計算機和問題“玩耍”。

而在較低層次上,數(shù)學(xué)證明只是一系列非常具體的邏輯步驟。IMO研究人員可以通過展示IMO先前證明的全部細(xì)節(jié)來訓(xùn)練Lean。但是在這樣的水平上,對于某個特定問題,就只會有專用的單個證明。“這樣沒法解決下一個問題,” Selsam說道。

數(shù)學(xué)家?guī)椭鶤I成長

為了走出這一困境,IMO大挑戰(zhàn)團(tuán)隊需要數(shù)學(xué)家們?yōu)橐郧暗腎MO問題撰寫詳細(xì)而正式的證明。隨后,團(tuán)隊將試圖從這些證明中提煉出它們得以起作用的技巧或策略。接下來,他們將訓(xùn)練一個AI系統(tǒng),在這些策略中進(jìn)行搜索,以找到一種能夠“成功”的策略組合,以解決新出現(xiàn)的IMO問題。據(jù)Selsam觀察,比起在最復(fù)雜的棋盤游戲中取勝,在數(shù)學(xué)競賽中奪冠要困難得多。畢竟,AI起碼能提前知道棋盤游戲的規(guī)則。

他說:“也許在圍棋游戲中,目標(biāo)是找到最好的下棋子策略;而在數(shù)學(xué)中,目標(biāo)是先找到最好的“游戲”,再找到該游戲中最好的策略。”

IMO大挑戰(zhàn)目前還是個瘋狂的計劃。de Moura在賽前表示,如果Lean參加了今年的比賽,那么“我們可能會得到零分”。

但是,研究人員想要在明年比賽舉辦之前實現(xiàn)一些目標(biāo)。他們計劃填補mathlib中的漏洞,以便Lean能理解所有的題目。他們還希望獲得數(shù)十個IMO歷史問題詳細(xì)而正式的證明,這將成為Lean的第一本基礎(chǔ)參考手冊。

等到那時,Lean便能夠參加比賽,盡管它想要獲得金牌可能仍然遙不可及。

“目前我們做了很多事,但還沒有什么實質(zhì)性的進(jìn)展,”Selsam說道,“明年,Lean將再接再厲。”

本文經(jīng)授權(quán)轉(zhuǎn)載自微信公眾號“環(huán)球科學(xué)”。原文請戳文末“閱讀原文”查閱。

原標(biāo)題:《中國又拿了國際數(shù)學(xué)奧賽金牌,不過下一次的對手就不只是人類了》

閱讀原文

    本文為澎湃號作者或機構(gòu)在澎湃新聞上傳并發(fā)布,僅代表該作者或機構(gòu)觀點,不代表澎湃新聞的觀點或立場,澎湃新聞僅提供信息發(fā)布平臺。申請澎湃號請用電腦訪問http://renzheng.thepaper.cn。

    +1
    收藏
    我要舉報
            查看更多

            掃碼下載澎湃新聞客戶端

            滬ICP備14003370號

            滬公網(wǎng)安備31010602000299號

            互聯(lián)網(wǎng)新聞信息服務(wù)許可證:31120170006

            增值電信業(yè)務(wù)經(jīng)營許可證:滬B2-2017116

            ? 2014-2025 上海東方報業(yè)有限公司

            反饋
            打百家乐纯打庄的方法| 扑克百家乐麻将筹码防伪| 百家乐官网真人百家乐官网赌博| 线上kk娱乐城| 太阳城雨伞| 百家乐平台在线| 免费百家乐官网过滤| 百家乐官网注册18元体验金| 德州扑克网页游戏| 武汉百家乐赌具| 百家乐官网娱乐城怎么样| 大发888真人网址| 百家乐科学打法| 网络百家乐可信吗| 欧洲百家乐官网的玩法技巧和规则 | 哪里有百家乐赌博网站| 百家乐官网博彩免费体验金3| 网上玩百家乐官网游戏有人挣到钱了吗 | 百家乐视频游戏大厅| 百家乐官网平一直压庄| 鸟巢百家乐官网的玩法技巧和规则| 新手百家乐官网指点迷津| 姚记娱乐城官网| 威尼斯娱乐| 亲朋棋牌刷金币| 威尼斯人娱乐城导航网| 神娱乐百家乐的玩法技巧和规则| 澳门百家乐文章| 91百家乐的玩法技巧和规则| 百家乐任你博娱乐场开户注册| 百家乐怎么赢对子| 百家乐15人桌子| 太阳百家乐官网开户| 恒利百家乐官网的玩法技巧和规则| 百博百家乐官网的玩法技巧和规则| 新锦江百家乐官网娱乐场开户注册| 百家乐官网网络娱乐场开户注册| 财神百家乐官网的玩法技巧和规则| 摩纳哥百家乐官网的玩法技巧和规则| 真人百家乐官网视频赌博| 澳门百家乐官网规律星期娱乐城博彩|