當(dāng) Alpha Go 又一次出招，三連勝中國(guó)圍棋天才柯潔之后，或許人們擔(dān)心的可能是，人工智能下一步又要在哪個(gè)領(lǐng)域干掉人類。

不過(guò)，在考試這件事兒上，經(jīng)過(guò)了大量“學(xué)習(xí)”的機(jī)器人，也還是沒(méi)能超越人類。不得不說(shuō)，中國(guó)學(xué)霸實(shí)在威武。

昨天是2017年全國(guó)高考第一天，在當(dāng)天的數(shù)學(xué)考試結(jié)束之后，一場(chǎng)人機(jī)高考大戰(zhàn)的對(duì)決上演了：在線教育公司“學(xué)霸君”自主研發(fā)的智能教育機(jī)器人“Aidam”首次公開(kāi)表態(tài)，通過(guò)現(xiàn)場(chǎng)直播的方式，與六名高考狀元同臺(tái)競(jìng)技本年全國(guó)卷文科數(shù)學(xué)試題，完成包孕客不雅觀題和主不雅觀題在內(nèi)的整張?jiān)嚲?，并根?jù)評(píng)分尺度得出最終成績(jī)。

不過(guò)，出人意料的是，這一次AI并沒(méi)有全面碾壓人類。閱卷結(jié)果顯示，三組高考狀元?jiǎng)e離得分為146分,140分,119分，而Aidam為134分。

在考試結(jié)束后的對(duì)話環(huán)節(jié)中，小組得分為119的2015年新疆理科狀元多力崗體現(xiàn)，對(duì)Aidam的成績(jī)有點(diǎn)不測(cè)，稱“這個(gè)角逐結(jié)果和我們的預(yù)期還是有必然的差距，我們?cè)诮侵鹬蠓治隽艘幌?，本身在一些?xì)節(jié)或者在一些計(jì)算方面出了一些問(wèn)題”。

當(dāng)然，從接近的分?jǐn)?shù)來(lái)看，這次Aidam雖然沒(méi)有完勝，然而其在10分鐘解題，獲得了134分的成績(jī)，也足夠超越一大批考生。

學(xué)霸君首席科學(xué)家陳銳鋒在考試角逐的現(xiàn)場(chǎng)解釋說(shuō)，Aidam解題主要分為三大步驟：

第一，把試卷標(biāo)題問(wèn)題釀成機(jī)器可以理解的形式語(yǔ)言。

第二，在用形式語(yǔ)言完整描述了一系列環(huán)境之后，計(jì)算機(jī)就會(huì)在知識(shí)網(wǎng)絡(luò)里啟動(dòng)搜索，確認(rèn)標(biāo)題問(wèn)題觸發(fā)了哪些知識(shí)點(diǎn)，然后進(jìn)行一系列的推理，找出最佳解題路徑。

第三，把解題的過(guò)程和答案，從形式語(yǔ)言轉(zhuǎn)化為自然語(yǔ)言，完成解題過(guò)程。

而要實(shí)現(xiàn)這些，基礎(chǔ)是龐大的數(shù)據(jù)庫(kù)和人工智能領(lǐng)域多年技術(shù)的積累。從學(xué)霸君官方披露的數(shù)據(jù)來(lái)看，截至2017年5月，“學(xué)霸君”App已經(jīng)積累超過(guò)7000萬(wàn)學(xué)生用戶，累計(jì)已經(jīng)解決問(wèn)題100億道，答疑命中率為93%。

那么，為何PK高考狀元選擇的是數(shù)學(xué)學(xué)科？

學(xué)霸君創(chuàng)始人兼CEO張凱磊說(shuō)，“一千個(gè)人有一千個(gè)哈姆雷特，但是世界上只有一個(gè)勾股定理”。

數(shù)學(xué)、物理等理科類科目是強(qiáng)邏輯鏈路的，考點(diǎn)基本不變，容易判定對(duì)錯(cuò)。同時(shí)，數(shù)學(xué)試卷中包孕簡(jiǎn)單的選擇題，也有復(fù)雜的需要解題過(guò)程的大題，非常適合測(cè)試AI。

學(xué)霸君創(chuàng)始人兼 CEO 張凱磊，他本人以高考和物理滿分成績(jī)考入南開(kāi)大學(xué)數(shù)學(xué)基地班

對(duì)于機(jī)器人來(lái)說(shuō)，形式化語(yǔ)言是自動(dòng)解題的一大挑戰(zhàn)，而目前數(shù)學(xué)學(xué)科最大的難點(diǎn)在于應(yīng)用題的解題上，期間涉及到一些社會(huì)常識(shí)和文字性表述等。

在業(yè)內(nèi)人士看來(lái)，讓機(jī)器人參加高考，并不是項(xiàng)目的根本目標(biāo)，只是其對(duì)于人類智能的一種模擬、擴(kuò)展和延伸。目前來(lái)說(shuō)，高考是一種衡量人的知識(shí)水平、理解能力、推理能力等相關(guān)智力水平的測(cè)試工具，其包羅了對(duì)標(biāo)題問(wèn)題的理解、知識(shí)表示、邏輯推理等方式獲得知識(shí)。

在接受鈦媒體等多家媒體采訪時(shí)，張凱磊體現(xiàn)，“實(shí)現(xiàn)個(gè)性化學(xué)習(xí)，大幅度提升學(xué)習(xí)效率和成果是學(xué)霸君研發(fā)智能教育機(jī)器人的初衷”。

張凱磊告訴鈦媒體，中學(xué)期間大概有3529個(gè)考點(diǎn)、平均每個(gè)做3-4道題就夠了，寫1萬(wàn)道標(biāo)題問(wèn)題可以做完，但目前絕大部分學(xué)生面對(duì)的練習(xí)題有3萬(wàn)—4萬(wàn)，其中3/4的標(biāo)題問(wèn)題是不需要寫的，75%的名貴時(shí)間都被浪費(fèi)掉了。

學(xué)霸君構(gòu)建于深度神經(jīng)網(wǎng)絡(luò)的句法和語(yǔ)義分析器，在海量題庫(kù)中不停強(qiáng)化和擴(kuò)充訓(xùn)練。在K12中，有大部分的數(shù)學(xué)應(yīng)用題，需要知識(shí)圖譜和常識(shí)才能解決，學(xué)霸君構(gòu)建的是一個(gè)真實(shí)標(biāo)題問(wèn)題海洋的模擬器，逐步提升其對(duì)于真實(shí)世界的接近程度。

基于人工智能的專家系統(tǒng)成就了精準(zhǔn)推理。學(xué)霸君推進(jìn)圖像識(shí)別、自然語(yǔ)言理解、深度學(xué)習(xí)等人工智能領(lǐng)域的研究，并整合成為智能教育機(jī)器人。其在現(xiàn)有教育環(huán)境下，使機(jī)器判卷、個(gè)性化指導(dǎo)、個(gè)性化作業(yè)、教案改進(jìn)等釀成可能。

盡管如此，陳銳鋒認(rèn)為，即即是刷題，AI也并不能代替老師。因?yàn)?，任何時(shí)候機(jī)器人都沒(méi)有措施代替老師講解。好比說(shuō)，這道題為什么對(duì)，為什么錯(cuò)，解題思路為什么這么想分歧錯(cuò)誤，為什么那樣想又是對(duì)的。但是，AI可以告訴老師說(shuō)，這個(gè)學(xué)生的哪些知識(shí)點(diǎn)有問(wèn)題，應(yīng)該花更多時(shí)間在哪些知識(shí)點(diǎn)訓(xùn)練，而不是浪費(fèi)在其他已經(jīng)掌握的知識(shí)上。