幾天前人類頂級圍棋高手柯潔迎戰(zhàn)AlphaGo的熱度還沒有完全消退，人工智能又搭上了高考的順風(fēng)車出來搞事情了。6月7日晚，學(xué)霸君推出的智能教育機器人 Aidam和成都準(zhǔn)星云學(xué)科技有限公司開發(fā)的人工智能系統(tǒng) AI-Maths，分別挑戰(zhàn)了17年高考的數(shù)學(xué)試題。Aidam用時9分47秒，成績是134分；AI-Maths用時22分鐘，成績是105分。

AI-Maths的答題試卷

高考數(shù)學(xué)題的滿分是150分，90分及格，120分優(yōu)秀。也就是說AI-Maths剛剛過及格分15分，而Aidam也比和它同臺競爭的高考狀元低了一分。此時你是不是心里犯嘀咕AlphaGo都把人類頂級智商等等柯潔打得沒脾氣了，為啥做個數(shù)學(xué)題卻不盡如人意呢？

Aidam機器人答題發(fā)布會現(xiàn)場

高考機器人如何解數(shù)學(xué)題

這其中涉及最關(guān)鍵的問題可能就是語義理解了。因為機器人需要將自然語言翻譯成機器能夠理解的語言才能進一步答題。這款機器人究竟是如何運作的呢？

AI-MATHS是國家科技部863計劃（又稱“超腦計劃”）牽頭研制的機器人，已研究4年多。清華大學(xué)蘇州研究院大數(shù)據(jù)中心主任林輝擔(dān)任該科技公司的CEO。Aidam是國內(nèi)領(lǐng)先的中小學(xué)智能化教育品牌--學(xué)霸君自主研發(fā)的智能教育機器人。兩個系統(tǒng)都是以深度學(xué)習(xí)、專家系統(tǒng)和自然語言理解為核心的復(fù)雜系統(tǒng)。這個系統(tǒng)的核心在于通過學(xué)習(xí)人類的編程邏輯，熟悉人類思考和學(xué)習(xí)的方式，進而掌握解題方法。

AI-Maths機器人，是不是和你想象的不一樣？

具體的解題步驟為：

1、自然語言翻譯成形式語言，把題目翻譯成以“主謂賓”為單位最小描述單位讓計算機能夠理解。

2、自動證明推理。這是一個多層網(wǎng)絡(luò)，把知識的基礎(chǔ)運算連接成網(wǎng)絡(luò)。

3、形式語言翻譯成自然語言。解題引擎預(yù)測出解題步驟之后，輸出的是一些形式語言，這時候可以對其進行一個翻譯，再轉(zhuǎn)換成人可以理解的自然語言。

和AlphaGo一樣，兩款機器人也需要每天“喂食”大量的高考試題，以幫助其在深度學(xué)習(xí)的基礎(chǔ)上，達到有“智商”的水平。更加值得一提的是高考機器人參加高考是在完全斷網(wǎng)斷庫的條件下進行的。能夠考出一個滿意的成績完全是它日常加緊“學(xué)習(xí)”的結(jié)果。

“我們有400臺至強十二核 64G 內(nèi)存的服務(wù)器加上1000臺左右的輔助服務(wù)器，這400臺基本都是 Tesla，容量很大。一個Aidam 的背后大概有7個引擎，代數(shù)和幾何使用的是完全不同的引擎，從算法、邏輯到推理全都不一樣，技術(shù)上難度很大。數(shù)學(xué)公式非常重要的是需要翻譯成 LaTex  ，通過LaTex  進行閱讀理解和輸出。Aidam 每天訓(xùn)練30萬道到50萬道題目， 訓(xùn)練時間基本是全天的。但是因為白天有大量的中斷性測試，所以晚上訓(xùn)練的時間更長?！睂W(xué)霸君的創(chuàng)始人張磊這樣說。

超過高考生之后呢？

機器人參加高考的目的是什么？單純的證明他們在人工智能的強大還是為了碾壓高考考生的智商？顯然這些都不是問題的答案，高考機器人的本質(zhì)目的還是在國家863“類人智能”項目的基礎(chǔ)下，做到促使中國教育行業(yè)的改革。

新智元在評價高考機器人時以“干掉天價學(xué)區(qū)房”為小標(biāo)題做了完美的解釋。我國優(yōu)質(zhì)教育資源稀缺已經(jīng)是一個不爭的事實，家長為了讓學(xué)生上到更好的學(xué)?？梢哉f是不惜一切代價，天價學(xué)區(qū)房也成為我們這個時代可笑的產(chǎn)物。而人工智能可以像經(jīng)驗豐富的特級教師一樣，從學(xué)生的答卷迅速分析出背后的失分原因，找到改進辦法；能輔助老師快速掌握全班學(xué)習(xí)進度、對癥下藥，讓更多普通老師也能教出優(yōu)秀的學(xué)生，每個孩子將有機會突破時空界限，接觸到“私人名師”級別的輔導(dǎo)，從而解決資源不均的困境。

學(xué)霸君的創(chuàng)始人張磊還表示，這種教育機器人能實現(xiàn)個性化學(xué)習(xí)，大幅度提升學(xué)習(xí)效率和成果。中學(xué)期間大概有3529個考點、平均每個做3-4道題就夠了，寫1萬道題目可以做完，但目前絕大部分學(xué)生面對的練習(xí)題有3萬—4萬，其中3/4的題目是不需要寫的，75%的寶貴時間都被浪費掉了。學(xué)霸君智能教育機器人通過所收集的海量大數(shù)據(jù)，在系統(tǒng)不斷地自我深度學(xué)習(xí)中，理解一道題目是如何通過人類思維一步一步推理出來，分析出學(xué)生的答題思路、做題心理、結(jié)果與問題點等，從而實現(xiàn)智能教育機器人的類人思維，并通過智能系統(tǒng)為使用者提供個性化的學(xué)習(xí)解決方案，用更少量的題目得到更高效的學(xué)習(xí)結(jié)果。

作為人工智能的成果，實現(xiàn)了高考的目標(biāo)，便意味著相關(guān)技術(shù)和算法的突破。所以高考僅僅是各項科技的一種自我檢驗方法，更重要的目標(biāo)是減少學(xué)生的盲目學(xué)習(xí)，實現(xiàn)個性化學(xué)習(xí)，并均衡我國現(xiàn)有的教育資源。

以下是澎湃新聞發(fā)布的一段采訪清華大學(xué)蘇州研究院大數(shù)據(jù)中心主任林輝的視頻，他以專家的視角為我們解讀了高考機器人。